OWL W3C WORKING GROUP F2F MEETING M. Vacura

OWL 2  OWL 2 extends the OWL 1.0 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.

OWL 2 The new features include:  extra syntactic sugar  additional property and qualified cardinality constructors  extended datatype support  simple metamodelling  extended annotations

Additional constructors PropertyAssertion( a:hasPet a:Peter a:Brian ) ClassAssertion( MaxCardinality(1 a:hasPet ) a:Peter) a:Peter has at most one pet. The maximum cardinality expression MaxCardinality(2 a:hasPet) contains those individuals that are connected by a:hasPet to at most two individuals. a:Peter is classified as an instance of MaxCardinality(2 a:hasPet)

Data Property Restrictions  Class expressions in OWL 2 can be formed by placing restrictions on data property expressions.  Class expressions such as "individuals whose width is greater than their height"

Extended datatype support  Number types (rational numbers)  Date and time types  N-Ary

Simple metamodelling Punning:  In RDF (similary in OWL Full), all possible combinations of punning are allowed.  you can use the same URI for class and a datatype and a property. OWL 2 – some restrictions (??)  No punning between classes and datatypes.  No punning between object and data properties.

Extended annotations Alan's "Richer Annotations" proposal Bijan's "Rich Annotations" proposal  We can have "blobs" of annotations associated with an Entity or Axiom, rather than a single statement per annotation.  Annotations can live in multiple separate "annotation spaces". The easiest way to think about these is if you took the annotations in a space and put them in a separate document.  Annotations can be marked as affecting the content of the domain model.