com.clarkparsia.explanation
Class SatisfiabilityConverter

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

public class SatisfiabilityConverter
extends java.lang.Object

Title: SatisfiabilityConverter

Description: Converts an axiom into a concept such that the axiom is entailed iff the concept is unsatisfiable. Designed as a helper function to generate explanations for arbitrary axioms.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

SatisfiabilityConverter(OWLDataFactory factory)

Method Summary

OWLDescription

convert(OWLAxiom axiom)

Methods inherited from class java.lang.Object

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

Constructor Detail

SatisfiabilityConverter

public SatisfiabilityConverter(OWLDataFactory factory)

Method Detail

convert

public OWLDescription convert(OWLAxiom axiom)