org.semanticweb.HermiT.examples
Class HierarchyPrettyPrinting

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

public class HierarchyPrettyPrinting
extends java.lang.Object

This examples demonstrates how HermiT can be used to print the inferred class (object/data property) hierarchy in function-style syntax. The resulting file will contain an axiom SubClassOf(:A :B) if the given ontology entails that :A is a strict and direct subclass of :B for :A and :B classes (similarly for object and data properties). Equivalent classes are printed with an EquivalentClasses axiom. Printing can be done with either the pretty printer or just as writing out the axioms. With the pretty printer, the axioms are printed with indentations so that the inferred hierarchy is kind of visible in the produced ontology file and classes on the same level are ordered alphabetically. Declarations are printed behind the axioms whenever a class occured for the first time in an axioms. Furthermore, the output is a complete ontology including an ontology header. When just writing out the axioms, they are not indented and in no particular order. The IRIs are not abbreviated and only within equivalent classes (properties) axioms the IRIs are ordered alphabetically. Furthermore, the output is not a complete ontology (no ontology header and no declarations), but just a set of axioms in FSS.


Constructor Summary
HierarchyPrettyPrinting()
           
 
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

HierarchyPrettyPrinting

public HierarchyPrettyPrinting()
Method Detail

main

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