uk.ac.manchester.owl.owlapi.tutorial.examples
Class ClosureAxiomsExample

java.lang.Object
  extended by 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:

  1. The URI of an ontology
  2. The URI of destination
  3. 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


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

Constructor Detail

ClosureAxiomsExample

public ClosureAxiomsExample()
Method Detail

usage

public static void usage()

main

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