org.semanticweb.HermiT.structural
Class OWLClausification

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLClausification

public class OWLClausification
extends java.lang.Object


Nested Class Summary
protected static class OWLClausification.DataRangeConverter
           
protected static class OWLClausification.FactClausifier
           
protected static class OWLClausification.NormalizedAxiomClausifier
           
protected static class OWLClausification.NormalizedDataRangeAxiomClausifier
           
protected  class OWLClausification.NormalizedRuleClausifier
           
 
Field Summary
protected  Configuration m_configuration
           
protected static Variable X
           
protected static Variable Y
           
protected static Variable Z
           
 
Constructor Summary
OWLClausification(Configuration configuration)
           
 
Method Summary
 DLOntology clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, java.lang.String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, java.util.Collection<DescriptionGraph> descriptionGraphs)
           
protected  DLClause clausifyKey(org.semanticweb.owlapi.model.OWLHasKeyAxiom object)
           
protected static AtomicRole getAtomicRole(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression)
           
protected static Individual getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)
           
protected static LiteralConcept getLiteralConcept(org.semanticweb.owlapi.model.OWLClassExpression description)
           
protected static Role getRole(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
           
protected static Atom getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected static Atom getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
 java.lang.Object[] preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology, java.util.Collection<DescriptionGraph> descriptionGraphs)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

X

protected static final Variable X

Y

protected static final Variable Y

Z

protected static final Variable Z

m_configuration

protected final Configuration m_configuration
Constructor Detail

OWLClausification

public OWLClausification(Configuration configuration)
Method Detail

preprocessAndClausify

public java.lang.Object[] preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology,
                                                java.util.Collection<DescriptionGraph> descriptionGraphs)

clausify

public DLOntology clausify(org.semanticweb.owlapi.model.OWLDataFactory factory,
                           java.lang.String ontologyIRI,
                           OWLAxioms axioms,
                           OWLAxiomsExpressivity axiomsExpressivity,
                           java.util.Collection<DescriptionGraph> descriptionGraphs)

clausifyKey

protected DLClause clausifyKey(org.semanticweb.owlapi.model.OWLHasKeyAxiom object)

getLiteralConcept

protected static LiteralConcept getLiteralConcept(org.semanticweb.owlapi.model.OWLClassExpression description)

getRole

protected static Role getRole(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)

getAtomicRole

protected static AtomicRole getAtomicRole(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression)

getRoleAtom

protected static Atom getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty,
                                  Term first,
                                  Term second)

getRoleAtom

protected static Atom getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty,
                                  Term first,
                                  Term second)

getIndividual

protected static Individual getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)