org.semanticweb.owl.util
Class NNF

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

All Implemented Interfaces:

OWLDataVisitorEx<OWLDataRange>, OWLDescriptionVisitorEx<OWLDescription>

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

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

Constructor Summary

NNF(OWLDataFactory dataFactory)

Method Summary

void	reset()
OWLDescription	visit(OWLClass desc)
OWLDescription	visit(OWLDataAllRestriction desc)
OWLDataRange	visit(OWLDataComplementOf node)
OWLDescription	visit(OWLDataExactCardinalityRestriction desc)
OWLDescription	visit(OWLDataMaxCardinalityRestriction desc)
OWLDescription	visit(OWLDataMinCardinalityRestriction desc)
OWLDataRange	visit(OWLDataOneOf node)
OWLDataRange	visit(OWLDataRangeFacetRestriction node)
OWLDataRange	visit(OWLDataRangeRestriction node)
OWLDescription	visit(OWLDataSomeRestriction desc)
OWLDataRange	visit(OWLDataType node)
OWLDescription	visit(OWLDataValueRestriction desc)
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)
OWLDescription	visit(OWLObjectSelfRestriction desc)
OWLDescription	visit(OWLObjectSomeRestriction desc)
OWLDescription	visit(OWLObjectUnionOf desc)
OWLDescription	visit(OWLObjectValueRestriction desc)
OWLDataRange	visit(OWLTypedConstant node)
OWLDataRange	visit(OWLUntypedConstant node)

Methods inherited from class java.lang.Object

equals, 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>