| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact | |
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.actors |
| Constructor and Description |
|---|
ClassExpressionTranslator(ExpressionCache em,
org.semanticweb.owlapi.model.OWLDataFactory df,
TranslationMachinery tr) |
ComplexObjectPropertyTranslator(ExpressionCache em,
org.semanticweb.owlapi.model.OWLDataFactory df,
TranslationMachinery tr) |
DataPropertyTranslator(ExpressionCache em,
org.semanticweb.owlapi.model.OWLDataFactory df,
TranslationMachinery tr) |
DataRangeTranslator(ExpressionCache em,
org.semanticweb.owlapi.model.OWLDataFactory df,
TranslationMachinery tr,
DatatypeFactory f) |
IndividualTranslator(ExpressionCache em,
org.semanticweb.owlapi.model.OWLDataFactory df,
TranslationMachinery tr) |
KnowledgeExplorer(TBox box,
ExpressionCache pEM) |
ObjectPropertyTranslator(ExpressionCache em,
org.semanticweb.owlapi.model.OWLDataFactory df,
TranslationMachinery tr) |
| Modifier and Type | Method and Description |
|---|---|
ExpressionCache |
ReasoningKernel.getExpressionManager() |
ExpressionCache |
Ontology.getExpressionManager() |
| Constructor and Description |
|---|
TDag2Interface(DLDag dag,
ExpressionCache manager)
init c'tor
|
| Modifier and Type | Method and Description |
|---|---|
Expression |
Policy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
ObjectPropertyPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
IndividualPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
DataPropertyPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
ClassPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
| Constructor and Description |
|---|
TaxonomyActor(ExpressionCache em,
Policy p) |
Copyright © 2016 The University of Manchester. All rights reserved.