org.semanticweb.owlapi.reasoner.impl
Class SatisfiabilityReducer

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

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLClassExpression>, OWLAxiomVisitorEx<OWLClassExpression>

public class SatisfiabilityReducer
extends java.lang.Object
implements OWLAxiomVisitorEx<OWLClassExpression>

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

Constructor Summary

SatisfiabilityReducer(OWLDataFactory dataFactory)

Method Summary

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

Method Detail

visit

public OWLClassExpression visit(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDeclarationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLHasKeyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>

Specified by:

visit in interface OWLAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLSubAnnotationPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLAnnotationPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLAnnotationPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>