public abstract class AbstractMacroExpansionVisitor extends Object implements OWLAxiomVisitorEx<OWLAxiom>
Modifier and Type | Class and Description |
---|---|
class |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx
class expression visitor
|
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 OWLAnnotation getExpansionMarkerAnnotation()
public OWLAxiom doDefault(Object o)
OWLVisitorExBase
null
doDefault
in interface OWLVisitorExBase<OWLAxiom>
o
- The object that was visited.public OWLAnnotationProperty getOIO_ISEXPANSION()
public void rebuild(OWLOntology input)
input
- ontologypublic ManchesterSyntaxTool getTool()
public OWLAxiom visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic Set<OWLAnnotation> getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom)
axiom
- annotation sourcepublic OWLAxiom visit(OWLDisjointClassesAxiom 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(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(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.