com.clarkparsia.pellet.owlapiv3
Class EntailmentChecker

java.lang.Object
  extended by com.clarkparsia.pellet.owlapiv3.EntailmentChecker
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor

public class EntailmentChecker
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitor

Title:

Description:

Copyright: Copyright (c) 2006

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.logging.Logger log
           
static java.util.Set<org.semanticweb.owlapi.model.AxiomType<?>> UNSUPPORTED_ENTAILMENT
           
 
Constructor Summary
EntailmentChecker(PelletReasoner reasoner)
           
 
Method Summary
 java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> findNonEntailments(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, boolean findAll)
           
 boolean isEntailed(java.util.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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static java.util.logging.Logger log

UNSUPPORTED_ENTAILMENT

public static final java.util.Set<org.semanticweb.owlapi.model.AxiomType<?>> UNSUPPORTED_ENTAILMENT
Constructor Detail

EntailmentChecker

public EntailmentChecker(PelletReasoner reasoner)
Method Detail

isEntailed

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

findNonEntailments

public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> findNonEntailments(java.util.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.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.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.OWLDisjointClassesAxiom 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.OWLObjectPropertyDomainAxiom 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.OWLNegativeDataPropertyAssertionAxiom 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.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.OWLObjectPropertyRangeAxiom 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.OWLFunctionalObjectPropertyAxiom 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.OWLDisjointUnionAxiom 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.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.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.OWLFunctionalDataPropertyAxiom 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.OWLClassAssertionAxiom 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.OWLDataPropertyAssertionAxiom 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.OWLIrreflexiveObjectPropertyAxiom 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.OWLInverseFunctionalObjectPropertyAxiom 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.OWLSameIndividualAxiom 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.OWLInverseObjectPropertiesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLRule rule)
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.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


Copyright © 2004 Evren Sirin. All Rights Reserved.