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
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
|
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 |
log
public static java.util.logging.Logger log
UNSUPPORTED_ENTAILMENT
public static final java.util.Set<org.semanticweb.owlapi.model.AxiomType<?>> UNSUPPORTED_ENTAILMENT
EntailmentChecker
public EntailmentChecker(PelletReasoner reasoner)
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.