Learn More
This paper describes a new syntax that can be used to write OWL ontologies, and fragments of OWL ontologies for presentation and editing purposes. The syntax, which is known as the Manchester OWL Syntax, was developed in response to a demand from a wide range of users, who do not have a Description Logic background, for a " less logician like " syntax. The(More)
This paper describes the design and implementation of an OWL 1.1 API, herein referred to as the OWL API. The API is designed to facilitate the manipulation of OWL 1.1 ontologies at a high level of abstraction for use by editors, reasoners and other tools. The API is based on the OWL 1.1 specification and influenced by the experience of designing and using(More)
Understanding the logical meaning of any description logic or similar formalism is difficult for most people, and OWL-DL is no exception. 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(More)
Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language (OWL). Justifications are essential for debugging unsatisfiable classes and contradictions. The availability of justifications as explanations of entailments improves(More)
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how the modelling requirements of different areas of interest are met by OWL-DL's underlying model of the world. In this paper we use the disciplines of biology and bioinformatics to(More)
After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies. On major difficulty is " debugging " the ontologies-discovering why a reasoners has inferred that a class is " unsatisfiable " (inconsistent). Even for people who do understand OWL and the(More)
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal , so, in this paper, we provide a clear specification for OBO syntax and semantics via a mapping to OWL. This mapping also allows us to apply existing Semantic Web tools and techniques to OBO. We show that Semantic Web(More)
Protégé is one of the most widely used development platforms for ontology-based systems. We report on our experiences with the development of OWL support for Protégé, and on the experiences of our user community with OWL. While the overall feedback from the community has been positive, our experience suggests that there are considerable gaps between the(More)