com.clarkparsia.pellet.owlapiv3

Class EntailmentChecker

java.lang.Object

com.clarkparsia.pellet.owlapiv3.EntailmentChecker

All Implemented Interfaces:

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

public class EntailmentChecker
extends Object
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
static Set<org.semanticweb.owlapi.model.AxiomType<?>>	UNSUPPORTED_ENTAILMENT

Constructor Summary

Constructors

Constructor and Description
EntailmentChecker(PelletReasoner reasoner)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

log

public static Logger log

UNSUPPORTED_ENTAILMENT

public static final Set<org.semanticweb.owlapi.model.AxiomType<?>> UNSUPPORTED_ENTAILMENT

Constructor Detail

EntailmentChecker

public EntailmentChecker(PelletReasoner reasoner)

Method Detail

isEntailed

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

findNonEntailments

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

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.OWLDeclarationAxiom 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.OWLLogicalAxiomVisitor

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

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.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

visit

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

Specified by:

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