protected static class |
AbstractListBasedTranslator.WithListImpl<A extends org.semanticweb.owlapi.model.OWLAxiom,M extends OntObject> |
|
protected static class |
AbstractNaryTranslator.ClassNaryAxiomImpl<A extends org.semanticweb.owlapi.model.OWLNaryClassAxiom> |
An abstract OWLNaryClassAxiom implementation.
|
protected static class |
AbstractNaryTranslator.DataPropertyNaryAxiomImpl<A extends org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>> |
An abstract OWLNaryPropertyAxiom implementation for member-type OWLDataPropertyExpression .
|
protected static class |
AbstractNaryTranslator.IndividualNaryAxiomImpl<A extends org.semanticweb.owlapi.model.OWLNaryIndividualAxiom> |
An abstract OWLNaryIndividualAxiom implementation.
|
protected static class |
AbstractNaryTranslator.NaryAxiomImpl<A extends org.semanticweb.owlapi.model.OWLNaryAxiom<M>,M extends org.semanticweb.owlapi.model.OWLObject> |
A base for N-Ary axiom impls.
|
protected static class |
AbstractNaryTranslator.ObjectPropertyNaryAxiomImpl<A extends org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> |
An abstract OWLNaryPropertyAxiom implementation for member-type OWLObjectPropertyExpression .
|
protected static class |
AbstractNegativePropertyAssertionTranslator.NegativeAssertionImpl<R extends OntNegativeAssertion<?,?>,A extends org.semanticweb.owlapi.model.OWLPropertyAssertionAxiom<?,?>,P extends org.semanticweb.owlapi.model.OWLPropertyExpression,O extends org.semanticweb.owlapi.model.OWLObject> |
A base for data or object negative assertions
|
protected static class |
AbstractPropertyAssertionTranslator.AssertionImpl<A extends org.semanticweb.owlapi.model.OWLAxiom,S extends org.semanticweb.owlapi.model.OWLObject,P extends org.semanticweb.owlapi.model.OWLObject,O extends org.semanticweb.owlapi.model.OWLObject> |
A base for annotation and positive property assertion axioms.
|
protected static class |
AbstractPropertyDomainTranslator.ClassDomainAxiomImpl<A extends org.semanticweb.owlapi.model.OWLAxiom & org.semanticweb.owlapi.model.HasProperty<P> & org.semanticweb.owlapi.model.HasDomain<org.semanticweb.owlapi.model.OWLClassExpression>,P extends org.semanticweb.owlapi.model.OWLPropertyExpression> |
|
protected static class |
AbstractPropertyDomainTranslator.DomainAxiomImpl<A extends org.semanticweb.owlapi.model.OWLAxiom & org.semanticweb.owlapi.model.HasProperty<P> & org.semanticweb.owlapi.model.HasDomain<D>,P extends org.semanticweb.owlapi.model.OWLPropertyExpression,D extends org.semanticweb.owlapi.model.OWLObject> |
|
protected static class |
AbstractPropertyRangeTranslator.RangeAxiomImpl<A extends org.semanticweb.owlapi.model.OWLAxiom & org.semanticweb.owlapi.model.HasProperty<P> & org.semanticweb.owlapi.model.HasRange<R>,P extends org.semanticweb.owlapi.model.OWLPropertyExpression,R extends org.semanticweb.owlapi.model.OWLObject> |
|
protected static class |
AbstractPropertyTypeTranslator.ObjectAxiomImpl<A extends org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom> |
The base for ONTAxiom with one object property.
|
protected static class |
AbstractPropertyTypeTranslator.UnaryAxiomImpl<A extends org.semanticweb.owlapi.model.OWLUnaryPropertyAxiom<P>,P extends org.semanticweb.owlapi.model.OWLPropertyExpression> |
The base for ONTAxiom with one object or data property.
|
static class |
AbstractSubPropertyTranslator.SubPropertyAxiomImpl<A extends org.semanticweb.owlapi.model.OWLAxiom,P extends org.semanticweb.owlapi.model.OWLPropertyExpression> |
A base rdfs:subPropertyOf axiom.
|
static class |
AnnotationAssertionTranslator.AxiomImpl |
|
static class |
AnnotationAssertionTranslator.AxiomImpl.SimpleImpl |
An OWLAnnotationAssertionAxiom that has no sub-annotations.
|
static class |
AnnotationAssertionTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLAnnotationAssertionAxiom that has sub-annotations.
|
static class |
AnnotationPropertyDomainTranslator.AxiomImpl |
|
static class |
AnnotationPropertyDomainTranslator.AxiomImpl.SimpleImpl |
An OWLAnnotationPropertyDomainAxiom without annotations.
|
static class |
AnnotationPropertyDomainTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLAnnotationPropertyDomainAxiom with annotations.
|
static class |
AnnotationPropertyRangeTranslator.AxiomImpl |
|
static class |
AnnotationPropertyRangeTranslator.AxiomImpl.SimpleImpl |
An OWLAnnotationPropertyRangeAxiom without annotations.
|
static class |
AnnotationPropertyRangeTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLAnnotationPropertyRangeAxiom with annotations.
|
static class |
AsymmetricObjectPropertyTranslator.AxiomImpl |
|
static class |
AsymmetricObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLAsymmetricObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
AsymmetricObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLAsymmetricObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
ClassAssertionTranslator.AxiomImpl |
|
static class |
ClassAssertionTranslator.AxiomImpl.ComplexImpl |
An OWLClassAssertionAxiom that either has annotations
or contains anonymous class expressions in the main triple's object position.
|
static class |
ClassAssertionTranslator.AxiomImpl.SimpleImpl |
An OWLClassAssertionAxiom with named class expressions and without annotations.
|
static class |
DataPropertyAssertionTranslator.AxiomImpl |
|
static class |
DataPropertyAssertionTranslator.AxiomImpl.SimpleImpl |
An OWLDataPropertyAssertionAxiom that has no sub-annotations.
|
static class |
DataPropertyAssertionTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLDataPropertyAssertionAxiom that has sub-annotations.
|
static class |
DataPropertyDomainTranslator.AxiomImpl |
|
static class |
DataPropertyDomainTranslator.AxiomImpl.ComplexImpl |
An OWLDataPropertyDomainAxiom
that either has annotations or anonymous class expression as domain (in main triple's object position).
|
static class |
DataPropertyDomainTranslator.AxiomImpl.SimpleImpl |
An OWLDataPropertyDomainAxiom
that has named class expression (OWL Class ) as object and has no annotations.
|
static class |
DataPropertyRangeTranslator.AxiomImpl |
|
static class |
DataPropertyRangeTranslator.AxiomImpl.ComplexImpl |
An OWLDataPropertyRangeAxiom
that either has annotations or anonymous data range expression as domain (in main triple's object position).
|
static class |
DataPropertyRangeTranslator.AxiomImpl.SimpleImpl |
An OWLDataPropertyRangeAxiom
that has named data range expression (i.e.
|
static class |
DatatypeDefinitionTranslator.AxiomImpl |
|
static class |
DatatypeDefinitionTranslator.AxiomImpl.ComplexImpl |
An OWLDatatypeDefinitionAxiom
that either has annotations or anonymous data range expression in main triple's object position.
|
static class |
DatatypeDefinitionTranslator.AxiomImpl.SimpleImpl |
An OWLDatatypeDefinitionAxiom
that has named data range expressions (i.e.
|
static class |
DeclarationTranslator.AxiomImpl |
|
static class |
DeclarationTranslator.AxiomImpl.SimpleImpl |
An OWLDeclarationAxiom that has no annotations.
|
static class |
DeclarationTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLDeclarationAxiom that has annotations.
|
static class |
DifferentIndividualsTranslator.AxiomImpl |
|
static class |
DifferentIndividualsTranslator.AxiomImpl.ComplexImpl |
An OWLDifferentIndividualsAxiom
that either has annotations or anonymous class expressions in subject or object positions,
or it is based on OntDisjoint.Individuals resource.
|
protected static class |
DifferentIndividualsTranslator.AxiomImpl.SimpleImpl |
An OWLDifferentIndividualsAxiom
that is based on a single unannotated triple s owl:differentFrom o ,
where s and o are named classes (URI Resource s).
|
static class |
DisjointClassesTranslator.AxiomImpl |
|
static class |
DisjointClassesTranslator.AxiomImpl.ComplexImpl |
An OWLDisjointClassesAxiom
that either has annotations or anonymous class expressions in subject or object positions,
or it is based on OntDisjoint.Classes resource.
|
protected static class |
DisjointClassesTranslator.AxiomImpl.SimpleImpl |
An OWLDisjointClassesAxiom that is based on a single unannotated triple s owl:disjointWith o ,
where s and o are named classes (URI Resource s).
|
static class |
DisjointDataPropertiesTranslator.AxiomImpl |
|
static class |
DisjointDataPropertiesTranslator.AxiomImpl.ComplexImpl |
|
protected static class |
DisjointDataPropertiesTranslator.AxiomImpl.SimpleImpl |
An OWLDisjointDataPropertiesAxiom
that is based on a single unannotated triple s owl:propertyDisjointWith o ,
where s and o are data properties (URI Resource s).
|
static class |
DisjointObjectPropertiesTranslator.AxiomImpl |
|
static class |
DisjointObjectPropertiesTranslator.AxiomImpl.ComplexImpl |
An OWLDisjointObjectPropertiesAxiom
that either has annotations or anonymous object property expressions in the subject or the object positions,
or it is based on OntDisjoint.ObjectProperties resource.
|
protected static class |
DisjointObjectPropertiesTranslator.AxiomImpl.SimpleImpl |
An OWLDisjointObjectPropertiesAxiom
that is based on a single unannotated triple s owl:propertyDisjointWith o ,
where s and o are named object property expression (URI Resource s).
|
static class |
DisjointUnionTranslator.AxiomImpl |
|
static class |
EquivalentClassesTranslator.AxiomImpl |
Although the OWLNaryAxiom interface allows axioms with any arity,
an instance of this implementation has exactly 2 operands, no more, no less.
|
static class |
EquivalentClassesTranslator.AxiomImpl.ComplexImpl |
An OWLEquivalentClassesAxiom
that either has annotations or anonymous class expressions in subject or object positions.
|
protected static class |
EquivalentClassesTranslator.AxiomImpl.SimpleImpl |
An OWLEquivalentClassesAxiom that has named classes as subject and object and has no annotations.
|
static class |
EquivalentDataPropertiesTranslator.AxiomImpl |
|
protected static class |
EquivalentDataPropertiesTranslator.AxiomImpl.SimpleImpl |
An OWLEquivalentDataPropertiesAxiom that has no annotations.
|
static class |
EquivalentDataPropertiesTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLEquivalentDataPropertiesAxiom that has annotations.
|
static class |
EquivalentObjectPropertiesTranslator.AxiomImpl |
|
static class |
EquivalentObjectPropertiesTranslator.AxiomImpl.ComplexImpl |
An OWLEquivalentObjectPropertiesAxiom
that either has annotations or anonymous object property expressions in the subject or the object positions.
|
protected static class |
EquivalentObjectPropertiesTranslator.AxiomImpl.SimpleImpl |
An OWLEquivalentObjectPropertiesAxiom that has named object property expressions
as subject and object and has no annotations.
|
static class |
FunctionalDataPropertyTranslator.AxiomImpl |
|
static class |
FunctionalDataPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLFunctionalDataPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
FunctionalDataPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLFunctionalDataPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
FunctionalObjectPropertyTranslator.AxiomImpl |
|
static class |
FunctionalObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLFunctionalObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
FunctionalObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLFunctionalObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
HasKeyTranslator.AxiomImpl |
|
static class |
InverseFunctionalObjectPropertyTranslator.AxiomImpl |
|
static class |
InverseFunctionalObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLInverseFunctionalObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
InverseFunctionalObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLInverseFunctionalObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
InverseObjectPropertiesTranslator.AxiomImpl |
|
protected static class |
InverseObjectPropertiesTranslator.AxiomImpl.ComplexImpl |
An OWLInverseObjectPropertiesAxiom
that either has annotations or anonymous object expressions (OWLObjectInverseOf )
in subject or object positions.
|
protected static class |
InverseObjectPropertiesTranslator.AxiomImpl.SimpleImpl |
An OWLInverseObjectPropertiesAxiom
that has named object properties as subject and object and has no annotations.
|
static class |
IrreflexiveObjectPropertyTranslator.AxiomImpl |
|
static class |
IrreflexiveObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLIrreflexiveObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
IrreflexiveObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLIrreflexiveObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
NegativeDataPropertyAssertionTranslator.AxiomImpl |
|
static class |
NegativeObjectPropertyAssertionTranslator.AxiomImpl |
|
static class |
ObjectPropertyAssertionTranslator.AxiomImpl |
|
static class |
ObjectPropertyAssertionTranslator.AxiomImpl.SimpleImpl |
An OWLObjectPropertyAssertionAxiom that has no sub-annotations.
|
static class |
ObjectPropertyAssertionTranslator.AxiomImpl.WithAnnotationsImpl |
An OWLObjectPropertyAssertionAxiom that has sub-annotations.
|
static class |
ObjectPropertyDomainTranslator.AxiomImpl |
|
static class |
ObjectPropertyDomainTranslator.AxiomImpl.ComplexImpl |
An OWLObjectPropertyDomainAxiom
that either has annotations
or anonymous object/class expressions in main triple's subject/object positions respectively.
|
static class |
ObjectPropertyDomainTranslator.AxiomImpl.SimpleImpl |
An OWLObjectPropertyDomainAxiom
that has named object property and class expressions and has no annotations.
|
static class |
ObjectPropertyRangeTranslator.AxiomImpl |
|
static class |
ObjectPropertyRangeTranslator.AxiomImpl.ComplexImpl |
An OWLObjectPropertyRangeAxiom
that either has annotations
or anonymous object/class expressions in main triple's subject/object positions respectively.
|
static class |
ObjectPropertyRangeTranslator.AxiomImpl.SimpleImpl |
An OWLObjectPropertyRangeAxiom
that has named object property and class expressions and has no annotations.
|
static class |
ReflexiveObjectPropertyTranslator.AxiomImpl |
|
static class |
ReflexiveObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLReflexiveObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
ReflexiveObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLReflexiveObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
SameIndividualTranslator.AxiomImpl |
|
static class |
SameIndividualTranslator.AxiomImpl.ComplexImpl |
An OWLSameIndividualAxiom
that either has annotations or anonymous class expressions in subject or object positions.
|
protected static class |
SameIndividualTranslator.AxiomImpl.SimpleImpl |
An OWLSameIndividualAxiom that has named classes as subject and object and has no annotations.
|
static class |
SubAnnotationPropertyOfTranslator.AxiomImpl |
|
static class |
SubAnnotationPropertyOfTranslator.AxiomImpl.ComplexImpl |
An OWLSubAnnotationPropertyOfAxiom that has annotations.
|
protected static class |
SubAnnotationPropertyOfTranslator.AxiomImpl.SimpleImpl |
An OWLSubAnnotationPropertyOfAxiom
that has named object properties as subject and object and has no annotations.
|
static class |
SubClassOfTranslator.AxiomImpl |
|
static class |
SubClassOfTranslator.AxiomImpl.ComplexImpl |
An OWLSubClassOfAxiom
that either has annotations or anonymous class expressions in subject or object positions.
|
static class |
SubClassOfTranslator.AxiomImpl.SimpleImpl |
An OWLSubClassOfAxiom that has named classes as subject and object and has no annotations.
|
static class |
SubDataPropertyOfTranslator.AxiomImpl |
|
static class |
SubDataPropertyOfTranslator.AxiomImpl.ComplexImpl |
An OWLSubDataPropertyOfAxiom that has annotations.
|
protected static class |
SubDataPropertyOfTranslator.AxiomImpl.SimpleImpl |
An OWLSubDataPropertyOfAxiom that has no annotations.
|
static class |
SubObjectPropertyOfTranslator.AxiomImpl |
|
static class |
SubObjectPropertyOfTranslator.AxiomImpl.ComplexImpl |
An OWLSubObjectPropertyOfAxiom
that either has annotations or anonymous object property expressions (inverse object properties)
in its subject or object positions.
|
protected static class |
SubObjectPropertyOfTranslator.AxiomImpl.SimpleImpl |
An OWLSubObjectPropertyOfAxiom
that has named object properties as subject and object and has no annotations.
|
static class |
SubPropertyChainOfTranslator.AxiomImpl |
|
static class |
SWRLRuleTranslator.AxiomImpl |
|
static class |
SymmetricObjectPropertyTranslator.AxiomImpl |
|
static class |
SymmetricObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLSymmetricObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
SymmetricObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLSymmetricObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|
static class |
TransitiveObjectPropertyTranslator.AxiomImpl |
|
static class |
TransitiveObjectPropertyTranslator.AxiomImpl.ComplexImpl |
An OWLTransitiveObjectPropertyAxiom
that either has annotations or an anonymous object property expression (inverse object property)
in the main triple's subject position.
|
static class |
TransitiveObjectPropertyTranslator.AxiomImpl.SimpleImpl |
An OWLTransitiveObjectPropertyAxiom
that has a named object property as subject and has no annotations.
|