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 org.semanticweb.owlapi.model.OWLDataFactory	factory
protected static Logger	logger

Constructor Summary

Constructors

Constructor and Description
SatisfiabilityConverter(org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Summary

Methods

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLClassExpression	convert(org.semanticweb.owlapi.model.OWLAxiom axiom)

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

factory

protected final org.semanticweb.owlapi.model.OWLDataFactory factory

Constructor Detail

SatisfiabilityConverter

public SatisfiabilityConverter(org.semanticweb.owlapi.model.OWLDataFactory factory)

Parameters:

factory - the factory to use

Method Detail

convert

public org.semanticweb.owlapi.model.OWLClassExpression convert(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - axiom to convert

Returns:

converted class expression