Package org.semanticweb.owlapi.reasoner.impl

Class SatisfiabilityReducer

java.lang.Object

org.semanticweb.owlapi.util.OWLBaseVisitorExAdapter<O,org.semanticweb.owlapi.model.OWLAxiom>

org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<org.semanticweb.owlapi.model.OWLClassExpression>

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>, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

public class SatisfiabilityReducer
extends org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<org.semanticweb.owlapi.model.OWLClassExpression>

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
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.OWLFunctionalDataPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
org.semanticweb.owlapi.model.OWLClassExpression	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom 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.OWLSubClassOfAxiom axiom)

Methods inherited from class java.lang.Object

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

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Constructor Detail

SatisfiabilityReducer

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

Parameters:

dataFactory - data factory to use

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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<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.OWLLogicalAxiomVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<org.semanticweb.owlapi.model.OWLClassExpression>