Travelled to:1 × Canada
1 × Italy
1 × South Korea
Collaborated with:B.Parsia U.Sattler Y.Zhang T.Tudorache M.A.Musen
Talks about:ontolog (3) justif (2) bootstrap (1) investig (1) toward (1) proof (1) engin (1) empir (1) user (1) mask (1)
Person: Matthew Horridge
DBLP: Horridge:Matthew
Contributed to:
2015
20122010Wrote 3 papers:
- CHI-2015-ZhangTHM #empirical #ontology
- Helping Users Bootstrap Ontologies: An Empirical Investigation (YZ, TT, MH, MAM), pp. 3395–3398.
- KR-2012-HorridgePS #ontology
- Justification Masking in Ontologies (MH, BP, US).
- KR-2010-HorridgeP #ontology #proving #towards
- From Justifications Towards Proofs for Ontology Engineering (MH, BP).