Package org.semanticweb.owlapi.util

Class NNF

java.lang.Object

org.semanticweb.owlapi.util.NNF

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLAxiom>, OWLAxiomVisitorEx<OWLAxiom>, OWLLogicalAxiomVisitorEx<OWLAxiom>, OWLVisitorExBase<OWLAxiom>, SWRLRuleVisitorExBase<OWLAxiom>

public class NNF
extends Object
implements OWLAxiomVisitorEx<OWLAxiom>

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor	Description
NNF(OWLDataFactory datafactory)

Method Summary

Modifier and Type	Method	Description
<T> OWLAxiom	doDefault(T object)	Gets the default return value for this visitor.
OWLClassExpressionVisitorEx<OWLClassExpression>	getClassVisitor()
void	reset()	reset the negation.
OWLAxiom	visit(OWLClassAssertionAxiom axiom)	visit OWLClassAssertionAxiom type
OWLAxiom	visit(OWLDataPropertyDomainAxiom axiom)	visit OWLDataPropertyDomainAxiom type
OWLAxiom	visit(OWLDataPropertyRangeAxiom axiom)	visit OWLDataPropertyRangeAxiom type
OWLAxiom	visit(OWLDisjointClassesAxiom axiom)	visit OWLDisjointClassesAxiom type
OWLAxiom	visit(OWLDisjointUnionAxiom axiom)	visit OWLDisjointUnionAxiom type
OWLAxiom	visit(OWLEquivalentClassesAxiom axiom)	visit OWLEquivalentClassesAxiom type
OWLAxiom	visit(OWLObjectPropertyDomainAxiom axiom)	visit OWLObjectPropertyDomainAxiom type
OWLAxiom	visit(OWLObjectPropertyRangeAxiom axiom)	visit OWLObjectPropertyRangeAxiom type
OWLAxiom	visit(OWLSubClassOfAxiom axiom)	visit OWLSubClassOfAxiom type

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx

visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx

visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.SWRLRuleVisitorExBase

visit

Constructor Details

NNF

public NNF(OWLDataFactory datafactory)

Parameters:

datafactory - datafactory to use

Method Details

getClassVisitor

public OWLClassExpressionVisitorEx<OWLClassExpression> getClassVisitor()

Returns:

class visitor

reset

public void reset()

reset the negation.

doDefault

public <T> OWLAxiom doDefault(T object)

Description copied from interface: OWLVisitorExBase

Gets the default return value for this visitor. By default, the default is null

Specified by:

doDefault in interface OWLVisitorExBase<OWLAxiom>

Type Parameters:

T - type visited

Parameters:

object - The object that was visited.

Returns:

The default return value

visit

public OWLAxiom visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLDisjointClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLDisjointClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLDisjointUnionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLDisjointUnionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLDataPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value

visit

public OWLAxiom visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLAxiom>

Parameters:

axiom - axiom to visit

Returns:

visitor value