public class NNF extends Object implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>, org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
Constructor and Description |
---|
NNF(org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
void |
reset()
reset the negation.
|
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLClass desc) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLDataComplementOf node) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataHasValue desc) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLDataOneOf node) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLDatatype node) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLDataUnionOf node) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLFacetRestriction node) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLDataRange |
visit(org.semanticweb.owlapi.model.OWLLiteral node) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc) |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom) |
org.semanticweb.owlapi.model.OWLAxiom |
visit(org.semanticweb.owlapi.model.SWRLRule rule) |
public NNF(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)
dataFactory
- datafactory to usepublic void reset()
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLClass desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatype node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataOneOf node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLLiteral node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.SWRLRule rule)
visit
in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
public org.semanticweb.owlapi.model.OWLAxiom visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<org.semanticweb.owlapi.model.OWLAxiom>
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann