- All Known Implementing Classes:
- BinaryAxiomImpl
public interface BinaryAxiom<T>
Represents the following from OWL 2 QL Specification:
for T = ClassExpression:
SubClassOf, EquivalentClasses,
ObjectPropertyDomain, ObjectPropertyRange,
DataPropertyDomain
for T = DataRangeExpression:
DataPropertyRange
(sub is DataPropertyRangeExpression; super is Datatype)
for T = ObjectPropertyExpression:
SubObjectPropertyOf, EquivalentObjectProperties, SymmetricObjectProperties
for T = DataPropertyExpression:
SubDataPropertyOf, EquivalentDataProperties
- Author:
- roman