OWL 1.1 extends the W3C OWL Web Ontology Language with a small but
useful set
of features that have been requested by users, for which effective
reasoning
algorithms are now available, and that OWL tool developers are willing
to support.
The new features include extra syntactic sugar, additional property and
qualified
cardinality constructors, extended datatype support, simple
metamodelling, and
extended annotations. This document provides a high-level overview of
these features.
1 Overview and Rationale
The initial design of the W3C OWL Web Ontology Language (OWL) was
conservative in
several ways. Constructs that did not have considerable support from
within the
W3C Web Ontology Working
Group
were not included. Constructs for which effective reasoning methods were
not
known or expected to be known in future were also not included.
Usage of OWL, particularly the OWL DL species of OWL, has identified
several constructs that are of considerable utility and that fit well
within the representation philosophy of OWL DL. Advances in the theory
of Description Logics have provided a basis for reasoning with
constructs
that are not part of OWL, or not part of OWL DL.
For both these reasons, it was decided at the first
OWL: Experiences and
Directions workshop
to design an extension to the OWL DL species of OWL. The extension
is designed to provide simple extensions to OWL DL that
- have been requested by major users of OWL DL;
- have effective reasoning methods, as evidenced by theoretical
results; and
- are expected to be implemented by the developers of OWL DL
reasoners.
This document provides a high-level overview of OWL 1.1. The OWL 1.1
syntax document
[OWL 1.1 Syntax]
defines the normal syntax for OWL 1.1 and give
some informal information on the semantics of
th[SROIQ].
with a simple datatype theory.
2 Features
The features added in OWL 1.1 fall into
The first syfrom the SHOIN Description Logic that underlies
OWL DL to the SROIQ
Description Logic. The additions are:
- qualified cardinality restrictions
- such as ObjectMinCardinality(2 friendOf
hacker);
- local
- for non-complex
- [Protege]
-
Protege web
page.
http://protege.stanford.edu/.
OWL
1.1 Web Ontology Language