org.coode.owlapi.examples
Class Example8

java.lang.Object
  extended by org.coode.owlapi.examples.Example8

public class Example8
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 20-Jun-2007

An example which shows how to interact with a reasoner. In this example Pellet is used as the reasoner. You must get hold of the pellet libraries from pellet.owldl.com.


Field Summary
static java.lang.String PHYSICAL_URI
           
 
Constructor Summary
Example8()
           
 
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
 

Field Detail

PHYSICAL_URI

public static final java.lang.String PHYSICAL_URI
See Also:
Constant Field Values
Constructor Detail

Example8

public Example8()
Method Detail

main

public static void main(java.lang.String[] args)