I am trying to use GraphDB-SE triplestore to store Einstein Riddle and use ruleset to infer the answers. GraphDB has build in support for OWL2-RL and OWL2-QL. According to w3.org
OWL 2 RL supports all axioms of OWL 2 apart from disjoint unions of classes (DisjointUnion) and reflexive object property axioms (ReflexiveObjectProperty).
Q1: Why GraphDB is not able to infer it ?
Q2: If I'm using something out of OWL-RL, how can I transform my ontology (OWL file) to OWL-RL ? (I cannot find more information, about this profile. Practical information like "Use this, don't use this.")"
Q3: If GraphDB doesnt full-support OWL2-RL, what part is not supported? How can I transform my model to be able to infer expected results using GraphDB?
My model of owl is from this web and also altered model using exactly 1 QCR instead of functional and inverse functional properties with someValuesfrom.