org.semanticweb.owl.util
Class NNF

java.lang.Object
  org.semanticweb.owl.util.NNF

All Implemented Interfaces:

OWLAxiomVisitorEx<OWLAxiom>, OWLDataVisitorEx<OWLDataRange>, OWLDescriptionVisitorEx<OWLDescription>

public class NNF
extends java.lang.Object
implements OWLDescriptionVisitorEx<OWLDescription>, OWLDataVisitorEx<OWLDataRange>, OWLAxiomVisitorEx<OWLAxiom>

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008

Constructor Summary

NNF(OWLDataFactory dataFactory)

Method Summary

void	reset()
OWLAxiom	visit(OWLAntiSymmetricObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLAxiomAnnotationAxiom axiom)
OWLDescription	visit(OWLClass desc)
OWLAxiom	visit(OWLClassAssertionAxiom axiom)
OWLDescription	visit(OWLDataAllRestriction desc)
OWLDataRange	visit(OWLDataComplementOf node)
OWLDescription	visit(OWLDataExactCardinalityRestriction desc)
OWLDescription	visit(OWLDataMaxCardinalityRestriction desc)
OWLDescription	visit(OWLDataMinCardinalityRestriction desc)
OWLDataRange	visit(OWLDataOneOf node)
OWLAxiom	visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLDataPropertyRangeAxiom axiom)
OWLDataRange	visit(OWLDataRangeFacetRestriction node)
OWLDataRange	visit(OWLDataRangeRestriction node)
OWLDescription	visit(OWLDataSomeRestriction desc)
OWLAxiom	visit(OWLDataSubPropertyAxiom axiom)
OWLDataRange	visit(OWLDataType node)
OWLDescription	visit(OWLDataValueRestriction desc)
OWLAxiom	visit(OWLDeclarationAxiom axiom)
OWLAxiom	visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiom	visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiom	visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	visit(OWLEntityAnnotationAxiom axiom)
OWLAxiom	visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiom	visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiom	visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiom	visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLImportsDeclaration axiom)
OWLAxiom	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiom	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLDescription	visit(OWLObjectAllRestriction desc)
OWLDescription	visit(OWLObjectComplementOf desc)
OWLDescription	visit(OWLObjectExactCardinalityRestriction desc)
OWLDescription	visit(OWLObjectIntersectionOf desc)
OWLDescription	visit(OWLObjectMaxCardinalityRestriction desc)
OWLDescription	visit(OWLObjectMinCardinalityRestriction desc)
OWLDescription	visit(OWLObjectOneOf desc)
OWLAxiom	visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyChainSubPropertyAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyRangeAxiom axiom)
OWLDescription	visit(OWLObjectSelfRestriction desc)
OWLDescription	visit(OWLObjectSomeRestriction desc)
OWLAxiom	visit(OWLObjectSubPropertyAxiom axiom)
OWLDescription	visit(OWLObjectUnionOf desc)
OWLDescription	visit(OWLObjectValueRestriction desc)
OWLAxiom	visit(OWLOntologyAnnotationAxiom axiom)
OWLAxiom	visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLSameIndividualsAxiom axiom)
OWLAxiom	visit(OWLSubClassAxiom axiom)
OWLAxiom	visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLDataRange	visit(OWLTypedConstant node)
OWLDataRange	visit(OWLUntypedConstant node)
OWLAxiom	visit(SWRLRule rule)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NNF

public NNF(OWLDataFactory dataFactory)

Method Detail

reset

public void reset()

visit

public OWLDescription visit(OWLClass desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectIntersectionOf desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectUnionOf desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectComplementOf desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectSomeRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectAllRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectValueRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectMinCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectExactCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectMaxCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectSelfRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLObjectOneOf desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLDataSomeRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLDataAllRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLDataValueRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLDataExactCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLDataMaxCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDescription visit(OWLDataMinCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitorEx<OWLDescription>

visit

public OWLDataRange visit(OWLDataType node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataRangeRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLTypedConstant node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLUntypedConstant node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataRangeFacetRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLAxiom visit(OWLSubClassAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAntiSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLImportsDeclaration axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAxiomAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDeclarationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEntityAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLOntologyAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSameIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyChainSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>