package ofn
Type Members
- trait AnnotationAxioms extends AnyRef
- trait ClassAxioms extends AnyRef
- trait DataExpressions extends AnyRef
- trait DataPropertyAssertionAxiom [T <: OWLPropertyAssertionAxiom[OWLDataPropertyExpression, OWLLiteral]] extends AnyRef
- trait Entities extends AnyRef
- class FacetRestriction extends AnyRef
- trait IndividualAxioms extends AnyRef
- trait NamedObjectConstructor [T <: OWLNamedObject] extends AnyRef
- trait NaryClassAxiom [T <: OWLNaryClassAxiom] extends AnyRef
- trait NaryIndividualsAxiom [T <: OWLNaryIndividualAxiom] extends AnyRef
- trait ObjectExpressions extends Vocab
- trait ObjectPropertyAssertionAxiom [T <: OWLPropertyAssertionAxiom[OWLObjectPropertyExpression, OWLIndividual]] extends AnyRef
- trait PropertyAxioms extends AnyRef
- trait UnaryObjectPropertyAxiom [T <: OWLUnaryPropertyAxiom[P], P <: OWLPropertyExpression] extends AnyRef