OWL-?? for OWL-RL for GraphDB (OWLIM)
I am trying to use triplestore GraphDB-SE to store Einstein Riddle and use a ruleset to output responses. GraphDB has OWL2-RL and OWL2-QL support. According to w3.org
OWL 2 RL supports all of the OWL 2 axioms besides the disjoint unions of classes (DisjointUnion) and the axioms of properties of the reflexive object (ReflexiveObjectProperty).
Q1: Why can't GraphDB do this?
Q2: If I am using something from OWL-RL, how can I convert my ontology (OWL file) to OWL-RL? (I can't find more information about this profile. Practical information such as "Use this, don't use this".) "
Q3: If GraphDB does not support OWL2-RL, which part is not supported? How can I transform my model to be able to output the expected results using GraphDB?
My owl model is this website and also modified model using exactly 1 QCR instead of functional and inverse functional properties with some values.
source to share
The best quote from the standard would be
Restricting the use of constructs allows you to implement reasoning systems using rule-based logic engines [...] [I] n SubClassOf axioms, constructs in subclasses and superclass expressions must follow the usage patterns shown in Table 2.
And table 2 prohibits, for example, the use of a construction OneOf
in the right axiom size SubClassOf
. And this design is critical to the Einstein Riddle problem.
Answer to Q2 : If you look at Table 2 above, you will find that OWL 2 RL is indeed a very restrictive profile. In particular, it prohibits existential restriction on the right side of the assumption. This means that it is usually not possible to convert an arbitrary OWL 2 DL ontology to RL.
source to share