ObdalibOwlFile

Jump to bottom Edit New page

Guohui Xiao edited this page Sep 18, 2013 · 2 revisions

Current language

Quest supports OWL 2 QL with some restrictions. We allow all OWL2QL subclass assertions except those involving negation.

In general we disallow for:

OWL 2 QL supports the following axioms, constrained so as to be compliant with the mentioned restrictions on class expressions:

class expression disjointness (DisjointClasses)
disjoint properties (DisjointObjectProperties and DisjointDataProperties)
symmetric properties (SymmetricObjectProperty)
DifferentIndividuals

Most of these restrictions are relatively easy to lift and we will remove them very soon.