|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.examples.MaterialiseInferences
public class MaterialiseInferences
This example Shows how to use HermiT as an OWLReasoner for materialising inferences. The program loads the pizza ontology, computes implicit subclass relaionships and class assertion axioms and saves them into a new ontology in the same format as the input ontology. Further inferences can be added by adding more InferredAxiomGenerators.
Constructor Summary | |
---|---|
MaterialiseInferences()
|
Method Summary | |
---|---|
static void |
main(java.lang.String[] args)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MaterialiseInferences()
Method Detail |
---|
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |