public class NNF extends Object implements OWLAxiomVisitorEx<OWLAxiom>
Constructor and Description |
---|
NNF(OWLDataFactory datafactory) |
Modifier and Type | Method and 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
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit, visit
visit, visit, visit, visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit
public NNF(OWLDataFactory datafactory)
datafactory
- datafactory to usepublic OWLClassExpressionVisitorEx<OWLClassExpression> getClassVisitor()
public void reset()
public <T> OWLAxiom doDefault(T object)
OWLVisitorExBase
null
doDefault
in interface OWLVisitorExBase<OWLAxiom>
T
- type visitedobject
- The object that was visited.public OWLAxiom visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDisjointUnionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDataPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.