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
Frames and OWL Side by Side
Hai H. Wang,Natasha Noy,Alan L. Rector,Mark A. Musen,Timothy Redmond,Daniel L. Rubin,Samson W. Tu,Tania Tudorache,Nick Drummond,Matthew Horridge,Julian Seidenberg +10 more
TL;DR: This paper focuses on the relationship between the Frames paradigm, as defined in the OKBC specification 1 and implemented in core Protege, and OWL and its implementation in Protesge-OWL, and uses OWL DL as the basis for comparison.
Proceedings Article
A syntax for rules in OWL 2
TL;DR: In this paper, an extension to OWL 2 for representing rules is proposed, which is directly inspired by (DL Safe) SWRL rules, but uses and extends the succinct and human-readable functional-style syntax of OWL2.
Manchester Syntax for OWL 1.1.
TL;DR: The Manchester OWL syntax has been revised to be a syntax for OWL 1.1, involving adding the new OWL1.1 description constructs and the new axioms allowed in OWL 2.1 ontologies.
Proceedings Article
Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++
TL;DR: The ProtegeOWL ontology editor as mentioned in this paper supports OWL 1.1 in the form of the FaCT++ Description Logic reasoner and ProteGEOWL editor.
Journal ArticleDOI
Engineering use cases for modular development of ontologies in OWL
Alan L. Rector,Sebastian Brandt,Nick Drummond,Matthew Horridge,Colin Pulestin,Robert Stevens +5 more
TL;DR: OWL's axiom-oriented import mechanism has many similarities with import mechanisms in object-oriented software but also important differences - in particular, the effects of OWL imports are global, and the order in which modules are imported is irrelevant.