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 and Description
SatisfiabilityReducer(OWLDataFactory dataFactory)

Method Summary

Modifier and Type	Method and 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.OWLAxiomVisitorEx

visit, visit

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

visit, visit, 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 Detail

SatisfiabilityReducer

public SatisfiabilityReducer(OWLDataFactory dataFactory)

Parameters:

dataFactory - data factory to use

Method Detail

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>>