org.semanticweb.HermiT.examples
Class MaterialiseInferences

java.lang.Object
  extended by org.semanticweb.HermiT.examples.MaterialiseInferences

public class MaterialiseInferences
extends java.lang.Object

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

MaterialiseInferences

public MaterialiseInferences()
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception