|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.owlapi.PelletVisitor
public class PelletVisitor
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Field Summary | |
---|---|
static java.util.logging.Logger |
log
|
Constructor Summary | |
---|---|
PelletVisitor(KnowledgeBase kb)
|
Method Summary | |
---|---|
void |
clear()
Clear the visitor cache about simple properties. |
ProgressMonitor |
getMonitor()
|
java.util.Set<org.semanticweb.owl.model.OWLAxiom> |
getUnsupportedAxioms()
|
boolean |
isReloadRequired()
|
void |
reset()
Reset the visitor state about created terms. |
aterm.ATermAppl |
result()
|
void |
setAddAxiom(boolean addAxioms)
|
void |
setMonitor(ProgressMonitor monitor)
|
void |
visit(org.semanticweb.owl.model.OWLAntiSymmetricObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLAxiomAnnotationAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLClass c)
|
void |
visit(org.semanticweb.owl.model.OWLClassAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLConstantAnnotation a)
|
void |
visit(org.semanticweb.owl.model.OWLDataAllRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLDataComplementOf node)
|
void |
visit(org.semanticweb.owl.model.OWLDataExactCardinalityRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLDataMaxCardinalityRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLDataMinCardinalityRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLDataOneOf enumeration)
|
void |
visit(org.semanticweb.owl.model.OWLDataProperty prop)
|
void |
visit(org.semanticweb.owl.model.OWLDataPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDataPropertyDomainAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDataPropertyRangeAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDataRangeFacetRestriction node)
|
void |
visit(org.semanticweb.owl.model.OWLDataRangeRestriction node)
|
void |
visit(org.semanticweb.owl.model.OWLDataSomeRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLDataSubPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDataType ocdt)
|
void |
visit(org.semanticweb.owl.model.OWLDataValueRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLDeclarationAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDifferentIndividualsAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDisjointClassesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDisjointDataPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDisjointObjectPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLDisjointUnionAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLEntityAnnotationAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLEquivalentClassesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLEquivalentDataPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLEquivalentObjectPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLFunctionalDataPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLFunctionalObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLImportsDeclaration axiom)
|
void |
visit(org.semanticweb.owl.model.OWLIndividual ind)
|
void |
visit(org.semanticweb.owl.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLInverseObjectPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLIrreflexiveObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLNegativeDataPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLObjectAllRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLObjectAnnotation a)
|
void |
visit(org.semanticweb.owl.model.OWLObjectComplementOf not)
|
void |
visit(org.semanticweb.owl.model.OWLObjectExactCardinalityRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLObjectIntersectionOf and)
|
void |
visit(org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLObjectOneOf enumeration)
|
void |
visit(org.semanticweb.owl.model.OWLObjectProperty prop)
|
void |
visit(org.semanticweb.owl.model.OWLObjectPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLObjectPropertyChainSubPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLObjectPropertyDomainAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLObjectPropertyInverse propInv)
|
void |
visit(org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLObjectSelfRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLObjectSomeRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLObjectSubPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLObjectUnionOf or)
|
void |
visit(org.semanticweb.owl.model.OWLObjectValueRestriction restriction)
|
void |
visit(org.semanticweb.owl.model.OWLOntology ont)
|
void |
visit(org.semanticweb.owl.model.OWLOntologyAnnotationAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLReflexiveObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLSameIndividualsAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLSubClassAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLSymmetricObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLTransitiveObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owl.model.OWLTypedConstant constant)
|
void |
visit(org.semanticweb.owl.model.OWLUntypedConstant constant)
|
void |
visit(org.semanticweb.owl.model.SWRLAtomConstantObject cons)
|
void |
visit(org.semanticweb.owl.model.SWRLAtomDVariable dvar)
|
void |
visit(org.semanticweb.owl.model.SWRLAtomIndividualObject iobj)
|
void |
visit(org.semanticweb.owl.model.SWRLAtomIVariable ivar)
|
void |
visit(org.semanticweb.owl.model.SWRLBuiltInAtom atom)
|
void |
visit(org.semanticweb.owl.model.SWRLClassAtom atom)
|
void |
visit(org.semanticweb.owl.model.SWRLDataRangeAtom atom)
|
void |
visit(org.semanticweb.owl.model.SWRLDataValuedPropertyAtom atom)
|
void |
visit(org.semanticweb.owl.model.SWRLDifferentFromAtom atom)
|
void |
visit(org.semanticweb.owl.model.SWRLObjectPropertyAtom atom)
|
void |
visit(org.semanticweb.owl.model.SWRLRule rule)
|
void |
visit(org.semanticweb.owl.model.SWRLSameAsAtom atom)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static java.util.logging.Logger log
Constructor Detail |
---|
public PelletVisitor(KnowledgeBase kb)
Method Detail |
---|
public void clear()
public java.util.Set<org.semanticweb.owl.model.OWLAxiom> getUnsupportedAxioms()
public void setAddAxiom(boolean addAxioms)
public boolean isReloadRequired()
public aterm.ATermAppl result()
public void reset()
public void visit(org.semanticweb.owl.model.OWLClass c)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
visit
in interface org.semanticweb.owl.model.OWLEntityVisitor
public void visit(org.semanticweb.owl.model.OWLIndividual ind)
visit
in interface org.semanticweb.owl.model.OWLEntityVisitor
public void visit(org.semanticweb.owl.model.OWLObjectProperty prop)
visit
in interface org.semanticweb.owl.model.OWLEntityVisitor
visit
in interface org.semanticweb.owl.model.OWLPropertyExpressionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectPropertyInverse propInv)
visit
in interface org.semanticweb.owl.model.OWLPropertyExpressionVisitor
public void visit(org.semanticweb.owl.model.OWLDataProperty prop)
visit
in interface org.semanticweb.owl.model.OWLEntityVisitor
visit
in interface org.semanticweb.owl.model.OWLPropertyExpressionVisitor
public void visit(org.semanticweb.owl.model.OWLTypedConstant constant)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
public void visit(org.semanticweb.owl.model.OWLUntypedConstant constant)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
public void visit(org.semanticweb.owl.model.OWLDataType ocdt)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
visit
in interface org.semanticweb.owl.model.OWLEntityVisitor
public void visit(org.semanticweb.owl.model.OWLObjectIntersectionOf and)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectUnionOf or)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectComplementOf not)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectOneOf enumeration)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectSomeRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectAllRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectValueRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectExactCardinalityRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLDataExactCardinalityRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLDataMaxCardinalityRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLDataMinCardinalityRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLEquivalentClassesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDisjointClassesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLSubClassAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLEquivalentObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDifferentIndividualsAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLSameIndividualsAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataOneOf enumeration)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
public void visit(org.semanticweb.owl.model.OWLDataAllRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLDataSomeRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLDataValueRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLOntology ont)
visit
in interface org.semanticweb.owl.model.OWLObjectVisitor
public void visit(org.semanticweb.owl.model.OWLObjectSelfRestriction restriction)
visit
in interface org.semanticweb.owl.model.OWLDescriptionVisitor
public void visit(org.semanticweb.owl.model.OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDisjointDataPropertiesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLObjectPropertyChainSubPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDisjointUnionAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataComplementOf node)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
public void visit(org.semanticweb.owl.model.OWLDataRangeRestriction node)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
public void visit(org.semanticweb.owl.model.OWLAntiSymmetricObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLImportsDeclaration axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLAxiomAnnotationAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLObjectPropertyDomainAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLObjectPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLObjectSubPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDeclarationAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLEntityAnnotationAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLOntologyAnnotationAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataPropertyRangeAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLFunctionalDataPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLClassAssertionAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataPropertyAssertionAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLTransitiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataSubPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLInverseObjectPropertiesAxiom axiom)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
public void visit(org.semanticweb.owl.model.OWLDataRangeFacetRestriction node)
visit
in interface org.semanticweb.owl.model.OWLDataVisitor
public void visit(org.semanticweb.owl.model.OWLObjectAnnotation a)
visit
in interface org.semanticweb.owl.model.OWLAnnotationVisitor
public void visit(org.semanticweb.owl.model.OWLConstantAnnotation a)
visit
in interface org.semanticweb.owl.model.OWLAnnotationVisitor
public void visit(org.semanticweb.owl.model.SWRLRule rule)
visit
in interface org.semanticweb.owl.model.OWLAxiomVisitor
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLClassAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLDataRangeAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLObjectPropertyAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLDataValuedPropertyAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLSameAsAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLDifferentFromAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLBuiltInAtom atom)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLAtomDVariable dvar)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLAtomIVariable ivar)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLAtomIndividualObject iobj)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public void visit(org.semanticweb.owl.model.SWRLAtomConstantObject cons)
visit
in interface org.semanticweb.owl.model.SWRLObjectVisitor
public ProgressMonitor getMonitor()
public void setMonitor(ProgressMonitor monitor)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |