com.clarkparsia.owlapi.explanation
Class SatisfiabilityConverter

java.lang.Object
  com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

public class SatisfiabilityConverter
extends Object

Satisfiability converter

Field Summary

protected org.semanticweb.owlapi.model.OWLDataFactory

factory

Constructor Summary

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

Method Summary

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

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