The Web Ontology Language (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant reasoning with description logic knowledge bases is especially important for the Semantic Web since knowledge is not always perfect within it. An important challenge is streng...

Representing the Foundational Model of Anatomy (FMA) in OWL 2 W3C standard, is essential for its interoperability with other biomedical ontologies, its design, maintenance, and quality insurance. The paper describes the method and ‘FMA-OWLizer’ tool that moves the FMA to OWL 2. One main strength of the approach is to leverage OWL expressiveness to explicit some implicit semantics and naming con...

This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express “variable nominal classes” within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering th...

Abstract. It has been shown, both theoretically and empirically, that performing core reasoning tasks on large and expressive ontologies in OWL 1 and OWL 2 is time-consuming and resource-intensive. Moreover, due to the different reasoning algorithms and optimisation techniques employed, each reasoner may be efficient for ontologies with different characteristics. In this paper, we present R2O2,...

An OWL-DL implementation of the General Ontology for Linguistic Description (GOLD) is presented with relevant examples of axioms given throughout. As background, an introduction to Description Logic is presented using examples from linguistics and with particular attention to SHOIN (D), the logic which most closely relates to OWL-DL. The types of axioms used to develop an ontology in OWL-DL are...

Existing approaches for querying OWL DL do either only operate on syntactic constructs without taking into account the semantics of OWL or do only have a restricted access to the T-Box. We present SAIQL, the novel Schema And Instance Query Language for OWL DL, that is well suited for ontology extraction. We describe its syntax and explain a basic evaluation strategy. We illustrate the use of SA...

With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss them with the OWL user community. They encompass expressive extensions on polynomial OWL 2 profiles, a suggestion for an OWL Rules language, and expressive extensions for OWL DL.

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present SWRL (the Semantic Web Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. SWRL extends OWL in a syntactically and semantically coherent manner: th...

Both ISO's Topic Map Standards and the W3C's Semantic Web Recommendations provide the means to construct meta-level semantic maps describing relationships between information resources. Developed independently, attempts at interoperability between the original Topic Map standard and RDF have proved challenging. However, ISO 13250's drafting of an explicit Topic Map Data Model (TMDM) early in 20...

The Manchester OWL syntax is a user-friendly syntax for OWL DL, fundamentally based on collecting all information about a particular class, property, or individual into a single construct, called a frame. The Manchester OWL syntax has been revised to be a syntax for OWL 1.1, involving adding the new OWL 1.1 description constructs and the new axioms allowed in OWL 1.1 ontologies.