org.semanticweb.owlapi.reasoner.impl
Class SatisfiabilityReducer

java.lang.Object
  org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

All Implemented Interfaces:

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

public class SatisfiabilityReducer
extends Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-Aug-2009

Constructor Summary

SatisfiabilityReducer(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Summary

org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	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

SatisfiabilityReducer

public SatisfiabilityReducer(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Detail

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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