Type Members

1.  trait AnnotationAxioms extends AnyRef
2.  trait ClassAxioms extends AnyRef
3.  trait DataExpressions extends AnyRef
4.  trait DataPropertyAssertionAxiom[T <: OWLPropertyAssertionAxiom[OWLDataPropertyExpression, OWLLiteral]] extends AnyRef
5.  trait Entities extends AnyRef
6.  class FacetRestriction extends AnyRef
7.  trait IndividualAxioms extends AnyRef
8.  class NamedObjectConstructor[T <: OWLNamedObject] extends AnyRef
9.  trait NaryClassAxiom[T <: OWLNaryClassAxiom] extends AnyRef
10.  trait NaryIndividualsAxiom[T <: OWLNaryIndividualAxiom] extends AnyRef
11.  trait ObjectExpressions extends Vocab
12.  trait ObjectPropertyAssertionAxiom[T <: OWLPropertyAssertionAxiom[OWLObjectPropertyExpression, OWLIndividual]] extends AnyRef
13.  trait PropertyAxioms extends AnyRef
14.  trait SWRL extends AnyRef
15.  trait UnaryObjectPropertyAxiom[T <: OWLUnaryPropertyAxiom[P], P <: OWLPropertyExpression] extends AnyRef