ObdalibOwlFile

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.