Package org.semanticweb.owlapi.reasoner.impl

Class SatisfiabilityReducer

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<Optional<OWLClassExpression>>, OWLAxiomVisitorEx<Optional<OWLClassExpression>>, OWLLogicalAxiomVisitorEx<Optional<OWLClassExpression>>, OWLVisitorExBase<Optional<OWLClassExpression>>, SWRLRuleVisitorExBase<Optional<OWLClassExpression>>

public class SatisfiabilityReducer
extends Object
implements OWLAxiomVisitorEx<Optional<OWLClassExpression>>

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor	Description
SatisfiabilityReducer(OWLDataFactory dataFactory)

Method Summary

Modifier and Type	Method	Description
Optional<OWLClassExpression>	doDefault(Object o)
Optional<OWLClassExpression>	visit(OWLSubClassOfAxiom axiom)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx

visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx

visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx

visit, visit, visit, visit, visit, visit, visit, 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 interface org.semanticweb.owlapi.model.SWRLRuleVisitorExBase

visit

Constructor Details

SatisfiabilityReducer

public SatisfiabilityReducer(OWLDataFactory dataFactory)

Parameters:

dataFactory - data factory to use

Method Details

doDefault

public Optional<OWLClassExpression> doDefault(Object o)

Specified by:

doDefault in interface OWLVisitorExBase<Optional<OWLClassExpression>>

visit

public Optional<OWLClassExpression> visit(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<Optional<OWLClassExpression>>