Foundations of Semantic Web Technologies

Ontologies in OWL 141

Let us first note that OWL 2 introduces a new syntax, called the functional

style syntax, which will replace the OWL 1 abstract syntax. However, OWL 2

also comes with an RDF syntax, and we use this for the introdu ction. There

will probably also be an XML syntax for OWL 2, which we do not discuss

here.

4.3.1 OWL 2 DL

We introduce OWL 2 DL, wh ich is backward compatible with OWL 1 DL,

but extends it with some additional features. We thus describe only the new

language features.

4.3.1.1 Type Separation, Punning and Declarations

OWL 1 DL imposes type separation, as discussed in Section 4.2.2, i.e. class

names, role names, and individual ...