org.semanticweb.HermiT

Class EntailmentChecker

java.lang.Object

org.semanticweb.HermiT.EntailmentChecker

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

public class EntailmentChecker
extends Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>

Entailment checker.

Constructor Summary

Constructors

Constructor and Description
EntailmentChecker(Reasoner reasoner, org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Summary

Modifier and Type	Method and Description
boolean	entails(org.semanticweb.owlapi.model.OWLAxiom axiom) Use this method only if you really want to check just one axiom or if the axioms you want to check do not contain blind nodes/anonymous individuals.
boolean	entails(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms) Checks entailment of a set of axioms (an ontology) against the loaded ontology.
Boolean	visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
Boolean	visit(org.semanticweb.owlapi.model.SWRLRule rule)

Methods inherited from class java.lang.Object

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

Constructor Detail

EntailmentChecker

public EntailmentChecker(Reasoner reasoner,
                         org.semanticweb.owlapi.model.OWLDataFactory factory)

Parameters:

reasoner - reasoner

factory - factory

Method Detail

entails

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

Checks entailment of a set of axioms (an ontology) against the loaded ontology.

Parameters:

axioms - the axioms that should be checked for enailment

Returns:

true if all axioms follow from the loaded ontology and false otherwise.

entails

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

Use this method only if you really want to check just one axiom or if the axioms you want to check do not contain blind nodes/anonymous individuals. Otherwise use entails(Set<OWLAxiom> axioms) because only then concepts for the anonymous individuals can be obtained by rolling-up as required.

Parameters:

axiom - an axiom for which entailment is to be checked

Returns:

true if the loaded ontology entails the axiom and false otherwise

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<Boolean>