querying ontological expressions

Ontological expressions corresponding to DL queries must be supported. We will assume the ontology to be EL++ at first.

Allowed Ontological Constructs:

existential quantification to a class (ObjectSomeValuesFrom)
existential quantification to a nominal (ObjectHasValue) or a constant (DataHasValue)
intersection of classes (ObjectIntersectionOf)
class inclusion (SubClassOf)
class equivalence (EquivalentClasses)
class disjointness (DisjointClasses)
object property inclusion (SubObjectPropertyOf) possibly involving property chains
property equivalence (EquivalentObjectProperties)
transitive object properties (TransitiveObjectProperty)
reflexive object properties (ReflexiveObjectProperty)
domain restrictions (ObjectPropertyDomain and DataPropertyDomain )
range restrictions (ObjectPropertyRange and DataPropertyRange)
facts (SameIndividual, DifferentIndividuals, ClassAssertion, ObjectPropertyAssertion, DataPropertyAssertion, NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion)
negation (ObjectComplementOf)
limited forms of generalized class axioms (specifically, a new class will be created to represent the LHS, and RHS concepts. Then the LHS and RHS will be declared equivalent to this new concept. The LHS and RHS will be conjuctive with atomic negations and no recursion.