com.clarkparsia.owlapi.explanation

Class SatisfiabilityConverter

java.lang.Object

com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

public class SatisfiabilityConverter
extends Object

Satisfiability converter.

Field Summary

Fields

Modifier and Type	Field and Description
protected OWLDataFactory	factory The factory.
protected static Logger	logger The Constant logger.

Constructor Summary

Constructors

Constructor and Description
SatisfiabilityConverter(OWLDataFactory factory) Instantiates a new satisfiability converter.

Method Summary

Modifier and Type	Method and Description
OWLClassExpression	convert(OWLAxiom axiom) Convert.

Methods inherited from class java.lang.Object

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

Field Detail

logger

protected static final Logger logger

The Constant logger.

factory

protected final OWLDataFactory factory

The factory.

Constructor Detail

SatisfiabilityConverter

public SatisfiabilityConverter(OWLDataFactory factory)

Instantiates a new satisfiability converter.

Parameters:

factory - the factory to use

Method Detail

convert

public OWLClassExpression convert(OWLAxiom axiom)

Convert.

Parameters:

axiom - axiom to convert

Returns:

converted class expression