com.clarkparsia.owlapi.explanation

Class SatisfiabilityConverter

java.lang.Object

com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

public class SatisfiabilityConverter
extends Object

Satisfiability converter.

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

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

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