org.semanticweb.owlapi.reasoner.impl

Class SatisfiabilityReducer

java.lang.Object

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

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

org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLClassExpression>, OWLAxiomVisitorEx<OWLClassExpression>, OWLLogicalAxiomVisitorEx<OWLClassExpression>

public class SatisfiabilityReducer
extends OWLAxiomVisitorExAdapter<OWLClassExpression>

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
SatisfiabilityReducer(OWLDataFactory dataFactory)

Method Summary

Modifier and Type	Method and Description
OWLClassExpression	visit(OWLClassAssertionAxiom axiom)
OWLClassExpression	visit(OWLDataPropertyAssertionAxiom axiom)
OWLClassExpression	visit(OWLDataPropertyDomainAxiom axiom)
OWLClassExpression	visit(OWLDataPropertyRangeAxiom axiom)
OWLClassExpression	visit(OWLFunctionalDataPropertyAxiom axiom)
OWLClassExpression	visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLClassExpression	visit(OWLInverseFunctionalObjectPropertyAxiom 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(OWLSubClassOfAxiom axiom)

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SatisfiabilityReducer

public SatisfiabilityReducer(@Nonnull
                             OWLDataFactory dataFactory)

Parameters:

dataFactory - data factory to use

Method Detail

visit

public OWLClassExpression visit(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>

visit

public OWLClassExpression visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>

Overrides:

visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>