uk.ac.manchester.cs.jfact

Class TranslationMachinery.EntailmentChecker

java.lang.Object

uk.ac.manchester.cs.jfact.TranslationMachinery.EntailmentChecker

All Implemented Interfaces:

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

Enclosing class:

TranslationMachinery

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

Constructor Summary

Constructors

Constructor and Description
TranslationMachinery.EntailmentChecker()

Method Summary

Methods

Modifier and Type	Method and Description
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

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

Constructor Detail

TranslationMachinery.EntailmentChecker

public TranslationMachinery.EntailmentChecker()

Method Detail

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom 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.OWLAxiomVisitorEx<Boolean>

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<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.OWLAnnotationAssertionAxiom axiom)

Specified by:

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<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.OWLAxiomVisitorEx<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>