org.semanticweb.more
Class BottomLocalityChecker
java.lang.Object
org.semanticweb.more.BottomLocalityChecker
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor
public class BottomLocalityChecker
- extends Object
- implements org.semanticweb.owlapi.model.OWLAxiomVisitor
Based on the codes from Ernesto Jiménez, this axiom visitor checks whether an axiom is bottom-local wrt
a given external signature and, if the answer is negative, provides several sets of symbols that could
be removed from this external signature in order to make it local (if such sets exist)
Method Summary |
protected LocalityInfo |
isBottomClass(org.semanticweb.owlapi.model.OWLClassExpression exp)
|
LocalityInfo |
isLocalAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom,
Set<org.semanticweb.owlapi.model.OWLEntity> extSignature)
|
protected LocalityInfo |
isTopClass(org.semanticweb.owlapi.model.OWLClassExpression exp)
|
void |
setExternalSignature(Set<org.semanticweb.owlapi.model.OWLEntity> signature)
|
void |
visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLRule axiom)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BottomLocalityChecker
public BottomLocalityChecker(boolean returnSolutions)
setExternalSignature
public void setExternalSignature(Set<org.semanticweb.owlapi.model.OWLEntity> signature)
isLocalAxiom
public LocalityInfo isLocalAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom,
Set<org.semanticweb.owlapi.model.OWLEntity> extSignature)
isBottomClass
protected LocalityInfo isBottomClass(org.semanticweb.owlapi.model.OWLClassExpression exp)
isTopClass
protected LocalityInfo isTopClass(org.semanticweb.owlapi.model.OWLClassExpression exp)
visit
public void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLRule axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor
Copyright © 2013. All Rights Reserved.