M. Horridge

Publications
Influence

The OWL API: A Java API for OWL ontologies

M. Horridge, S. Bechhofer
Computer Science
Semantic Web
2011

We present the OWL API, a high level Application Programming Interface (API) that supports the creation and manipulation of OWL Ontologies. Expand

Finding All Justifications of OWL DL Entailments

A. Kalyanpur, B. Parsia, M. Horridge, Evren Sirin
Computer Science
ISWC/ASWC
11 November 2007

We present several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and show, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies. Expand

OWL 2 Web Ontology Language

Manchester Syntax, M. Horridge, P. Patel-Schneider
Computer Science
2009

The OWL 2 Web Ontology Language, informally OWL2, is an ontology language for the Semantic Web with formally defined meaning. Expand

The OWL API: A Java API for Working with OWL 2 Ontologies

M. Horridge, S. Bechhofer
Computer Science, Biology
OWLED
23 October 2009

The latest version of the OWL API has been designed to meet the needs of people developing OWL based applications, OWL editors and OWL reasoners. Expand

The Manchester OWL Syntax

M. Horridge, N. Drummond, John Goodwin, A. Rector, R. Stevens, Hai Wang
Computer Science
OWLED
2006

This paper describes a new syntax that can be used to write OWL ontologies for presentation and editing purposes. Expand

OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns

A. Rector, N. Drummond, +5 authors C. Wroe
Computer Science
EKAW
5 October 2004

Understanding the logical meaning of any description logic or similar formalism is difficult for most people, and OWL-DL is no exception. Expand

Igniting the OWL 1.1 Touch Paper: The OWL API

M. Horridge, S. Bechhofer, Olaf Noppens
Computer Science
OWLED
2007

This paper describes the design and implementation of an OWL 1.1 API, herein referred to as the OWL API . Expand

Justification based explanation in ontologies

M. Horridge
Computer Science
12 January 2012

The Web Ontology Language, OWL, is the latest standard in logic based ontology languages. It is built upon the foundations of highly expressive Description Logics, which are fragments of First Order… Expand

OWL 2 Web Ontology Language Manchester Syntax (Second Edition)

M. Horridge, P. Patel-Schneider
Computer Science
2012

OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. Expand

Putting OWL in Order: Patterns for Sequences in OWL

N. Drummond, A. Rector, +4 authors Julian Seidenberg
Computer Science
OWLED
2006

This paper demonstrates a design pattern for modeling order within OWL-DL. Expand

Recommended Authors