|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
org.semanticweb.* |
---|
org.semanticweb.more.MOReReasoner | ||
---|---|---|
protected static final int |
ELKFRAGMENT |
1 |
protected final String |
iri_compmodule_ontology |
"http://www.cs.ox.ac.uk/isg/tools/MORe/ontologies/compmodule_copy.owl" |
protected final String |
iri_lmodule_ontology |
"http://www.cs.ox.ac.uk/isg/tools/MORe/ontologies/lmodule_copy.owl" |
protected final String |
iri_str_working_ontology |
"http://www.cs.ox.ac.uk/isg/tools/MORe/ontologies/working_copy.owl" |
protected final int |
notYetClassified |
2 |
protected static final int |
OWL2EL |
2 |
org.semanticweb.more.MOReRLrew | ||
---|---|---|
protected final int |
classifiedWithRLrew |
3 |
protected final String |
iri_merged_class_ontology |
"http://www.cs.ox.ac.uk/isg/tools/MORe/ontologies/merged_class_ontology.owl" |
org.semanticweb.more.OWL2ReasonerManager | ||
---|---|---|
public static final int |
HERMIT |
0 |
public static final int |
JFACT |
2 |
public static final int |
PELLET |
1 |
org.semanticweb.more.RLrewriting.Utility | ||
---|---|---|
public static final int |
AEO |
3 |
public static final int |
FLY |
0 |
public static final int |
LUBM |
2 |
public static final int |
UOBM |
1 |
public static final int |
WINE |
4 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |