M
Matthew Horridge
Researcher at University of Manchester
Publications - 58
Citations - 4590
Matthew Horridge is an academic researcher from University of Manchester. The author has contributed to research in topics: Ontology (information science) & Web Ontology Language. The author has an hindex of 27, co-authored 58 publications receiving 4385 citations. Previous affiliations of Matthew Horridge include Stanford University.
Papers
More filters
Journal ArticleDOI
The OWL API: A Java API for OWL ontologies
Matthew Horridge,Sean Bechhofer +1 more
TL;DR: The OWL API is a high level Application Programming Interface (API) for working with OWL ontologies that supports parsing and rendering in the syntaxes defined in the W3C specification; manipulation of ontological structures; and the use of reasoning engines.
OWL 2 Web Ontology Language
TL;DR: TheManchester Syntax is used in the OWL 2 Primer, and this document provides the language used there; it is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language.
Proceedings Article
The manchester OWL syntax
TL;DR: The Manchester OWL Syntax is derived from the OWL Abstract Syntax, but is less verbose and minimises the use of brackets, which means that it is quick and easy to read and write.
Book ChapterDOI
OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns
Alan L. Rector,Nick Drummond,Matthew Horridge,Jeremy Rogers,Holger Knublauch,Robert Stevens,Hai H. Wang,Chris Wroe +7 more
TL;DR: This paper presents the most common difficulties encountered by newcomers to the language, that have been observed during the course of more than a dozen workshops, tutorials and modules about OWL-DL and it’s predecessor languages.
Book ChapterDOI
Finding all justifications of OWL DL entailments
TL;DR: This paper presents several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and shows, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.