com.clarkparsia.modularity

Class EntailmentChecker

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

com.clarkparsia.modularity.EntailmentChecker

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

public class EntailmentChecker
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
implements org.semanticweb.owlapi.model.OWLAxiomVisitor

Title:

Description:

Copyright: Copyright (c) 2006

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
EntailmentChecker(IncrementalReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
boolean	isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
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.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 rule)

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

handleDefault, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

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

visit, visit, visit, visit

Field Detail

log

public static Logger log

Constructor Detail

EntailmentChecker

public EntailmentChecker(IncrementalReasoner reasoner)

Method Detail

isEntailed

public boolean isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

isEntailed

public boolean isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)

visit

public void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.SWRLRule rule)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter