public class NNF extends java.lang.Object implements OWLClassExpressionVisitorEx<OWLClassExpression>, OWLDataVisitorEx<OWLDataRange>, OWLAxiomVisitorEx<OWLAxiom>
Constructor and Description |
---|
NNF(OWLDataFactory dataFactory) |
public NNF(OWLDataFactory dataFactory)
dataFactory
- datafactory to usepublic void reset()
public OWLClassExpression visit(OWLClass desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectIntersectionOf desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectUnionOf desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectComplementOf desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectSomeValuesFrom desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectAllValuesFrom desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectHasValue desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectMinCardinality desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectExactCardinality desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectMaxCardinality desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectHasSelf desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectOneOf desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataSomeValuesFrom desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataAllValuesFrom desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataHasValue desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataExactCardinality desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataMaxCardinality desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataMinCardinality desc)
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
public OWLDataRange visit(OWLDatatype node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLDataRange visit(OWLDataComplementOf node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLDataRange visit(OWLDataOneOf node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLDataRange visit(OWLDataIntersectionOf node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLDataRange visit(OWLDataUnionOf node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLAxiom visit(OWLHasKeyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLDataRange visit(OWLDatatypeRestriction node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLDataRange visit(OWLLiteral node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLDataRange visit(OWLFacetRestriction node)
visit
in interface OWLDataVisitorEx<OWLDataRange>
public OWLAxiom visit(OWLSubClassOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDisjointClassesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDifferentIndividualsAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDisjointDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLSubObjectPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDisjointUnionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDeclarationAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLAnnotationAssertionAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLFunctionalDataPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLClassAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLEquivalentClassesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLTransitiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLSubDataPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLSameIndividualAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLSubPropertyChainOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLInverseObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(SWRLRule rule)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLAnnotationPropertyDomainAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLAnnotationPropertyRangeAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
public OWLAxiom visit(OWLDatatypeDefinitionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLAxiom>