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) Gets the default return value for this visitor.
Optional<OWLClassExpression>	visit(OWLSubClassOfAxiom axiom) visit OWLSubClassOfAxiom type

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)

Description copied from interface: OWLVisitorExBase

Gets the default return value for this visitor. By default, the default is null

Specified by:

doDefault in interface OWLVisitorExBase<Optional<OWLClassExpression>>

Parameters:

o - The object that was visited.

Returns:

The default return value

visit

public Optional<OWLClassExpression> visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitorEx

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitorEx<Optional<OWLClassExpression>>

Parameters:

axiom - axiom to visit

Returns:

visitor value