|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.structural.OWLClausification
public class OWLClausification
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 |
---|
protected static final Variable X
protected static final Variable Y
protected static final Variable Z
protected final Configuration m_configuration
Constructor Detail |
---|
public OWLClausification(Configuration configuration)
Method Detail |
---|
public java.lang.Object[] preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology, java.util.Collection<DescriptionGraph> descriptionGraphs)
public 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 LiteralConcept getLiteralConcept(org.semanticweb.owlapi.model.OWLClassExpression description)
protected static Role getRole(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
protected static AtomicRole getAtomicRole(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression)
protected static Atom getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
protected static Atom getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
protected static Individual getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |