BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Horridge:Matthew

Contributed to:

CHI 20152015
KR 20122012
KR 20102010

Wrote 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).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.