| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact | |
| uk.ac.manchester.cs.jfact.datatypes | |
| uk.ac.manchester.cs.jfact.kernel |
| Modifier and Type | Method and Description |
|---|---|
DatatypeFactory |
JFactReasoner.getDatatypeFactory() |
| Constructor and Description |
|---|
TranslationMachinery(ReasoningKernel kernel,
org.semanticweb.owlapi.model.OWLDataFactory df,
DatatypeFactory factory) |
| Modifier and Type | Method and Description |
|---|---|
static DatatypeFactory |
DatatypeFactory.getInstance() |
| Modifier and Type | Field and Description |
|---|---|
protected DatatypeFactory |
DlSatTester.datatypeFactory |
| Constructor and Description |
|---|
DlSatTester(TBox tbox,
JFactReasonerConfiguration Options,
DatatypeFactory datatypeFactory) |
NominalReasoner(TBox tbox,
JFactReasonerConfiguration Options,
DatatypeFactory datatypeFactory) |
ReasoningKernel(JFactReasonerConfiguration conf,
DatatypeFactory factory) |
TBox(DatatypeFactory datatypeFactory,
JFactReasonerConfiguration configuration,
String topObjectRoleName,
String botObjectRoleName,
String topDataRoleName,
String botDataRoleName,
AtomicBoolean interrupted) |
Copyright © 2013 The University of Manchester. All Rights Reserved.