|
||||||||||
| 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 | |||||||||