public class SatisfiabilityConverter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected OWLDataFactory |
factory |
protected static java.util.logging.Logger |
logger |
Constructor and Description |
---|
SatisfiabilityConverter(OWLDataFactory factory) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
convert(OWLAxiom axiom) |
protected static final java.util.logging.Logger logger
protected final OWLDataFactory factory
public SatisfiabilityConverter(OWLDataFactory factory)
factory
- the factory to usepublic OWLClassExpression convert(OWLAxiom axiom)
axiom
- axiom to convert