org.semanticweb.owlapi.util

Class NNF

java.lang.Object

org.semanticweb.owlapi.util.NNF

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLAxiom>, OWLAxiomVisitorEx<OWLAxiom>, OWLClassExpressionVisitorEx<OWLClassExpression>, OWLDataVisitorEx<OWLDataRange>

public class NNF
extends Object
implements OWLClassExpressionVisitorEx<OWLClassExpression>, OWLDataVisitorEx<OWLDataRange>, OWLAxiomVisitorEx<OWLAxiom>

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

Constructor Summary

Constructors

Constructor and Description
NNF(OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
void	reset() reset the negation
OWLAxiom	visit(OWLAnnotationAssertionAxiom axiom)
OWLAxiom	visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAxiom	visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLClassExpression	visit(OWLClass desc)
OWLAxiom	visit(OWLClassAssertionAxiom axiom)
OWLClassExpression	visit(OWLDataAllValuesFrom desc)
OWLDataRange	visit(OWLDataComplementOf node)
OWLClassExpression	visit(OWLDataExactCardinality desc)
OWLClassExpression	visit(OWLDataHasValue desc)
OWLDataRange	visit(OWLDataIntersectionOf node)
OWLClassExpression	visit(OWLDataMaxCardinality desc)
OWLClassExpression	visit(OWLDataMinCardinality desc)
OWLDataRange	visit(OWLDataOneOf node)
OWLAxiom	visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLDataPropertyRangeAxiom axiom)
OWLClassExpression	visit(OWLDataSomeValuesFrom desc)
OWLDataRange	visit(OWLDatatype node)
OWLAxiom	visit(OWLDatatypeDefinitionAxiom axiom)
OWLDataRange	visit(OWLDatatypeRestriction node)
OWLDataRange	visit(OWLDataUnionOf node)
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(OWLEquivalentClassesAxiom axiom)
OWLAxiom	visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiom	visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLDataRange	visit(OWLFacetRestriction node)
OWLAxiom	visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiom	visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLHasKeyAxiom axiom)
OWLAxiom	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiom	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLDataRange	visit(OWLLiteral node)
OWLAxiom	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLClassExpression	visit(OWLObjectAllValuesFrom desc)
OWLClassExpression	visit(OWLObjectComplementOf desc)
OWLClassExpression	visit(OWLObjectExactCardinality desc)
OWLClassExpression	visit(OWLObjectHasSelf desc)
OWLClassExpression	visit(OWLObjectHasValue desc)
OWLClassExpression	visit(OWLObjectIntersectionOf desc)
OWLClassExpression	visit(OWLObjectMaxCardinality desc)
OWLClassExpression	visit(OWLObjectMinCardinality desc)
OWLClassExpression	visit(OWLObjectOneOf desc)
OWLAxiom	visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyRangeAxiom axiom)
OWLClassExpression	visit(OWLObjectSomeValuesFrom desc)
OWLClassExpression	visit(OWLObjectUnionOf desc)
OWLAxiom	visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLSameIndividualAxiom axiom)
OWLAxiom	visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAxiom	visit(OWLSubClassOfAxiom axiom)
OWLAxiom	visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiom	visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiom	visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiom	visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLTransitiveObjectPropertyAxiom axiom)
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)

Parameters:

dataFactory - datafactory to use

Method Detail

reset

public void reset()

reset the negation

visit

public OWLClassExpression visit(OWLClass desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectIntersectionOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectUnionOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectComplementOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectAllValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectHasValue desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectMinCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectExactCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectMaxCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectHasSelf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectOneOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataSomeValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataAllValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataHasValue desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataExactCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataMaxCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataMinCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

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(OWLDataIntersectionOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataUnionOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLAxiom visit(OWLHasKeyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLDataRange visit(OWLDatatypeRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLLiteral node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLFacetRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLAxiom visit(OWLSubClassOfAxiom 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(OWLAsymmetricObjectPropertyAxiom 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(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(OWLSubObjectPropertyOfAxiom 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(OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

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(OWLSubDataPropertyOfAxiom 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(OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSubPropertyChainOfAxiom 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>

visit

public OWLAxiom visit(OWLAnnotationPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAnnotationPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSubAnnotationPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>