uk.ac.manchester.owl.owlapi.tutorial.examples
Class ClosureAxiomsExample
java.lang.Object
uk.ac.manchester.owl.owlapi.tutorial.examples.ClosureAxiomsExample
public class ClosureAxiomsExample
- extends java.lang.Object
This class demonstrates some aspects of the OWL API. It expects three
arguments:
- The URI of an ontology
- The URI of destination
- The URI of a class
When executed, the class will find all subclass axioms that form part of the
definition of the given class. For each of these, if the superclass is a
conjunction of existential restrictions, then an additional subclass axiom
will be added to the ontology, "closing" the restrictions.
Author: Sean Bechhofer
The University Of Manchester
Information Management Group
Date: 24-April-2007
Method Summary |
static void |
main(java.lang.String[] args)
|
static void |
usage()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ClosureAxiomsExample
public ClosureAxiomsExample()
usage
public static void usage()
main
public static void main(java.lang.String[] args)