uk.ac.manchester.owl.owlapi.tutorial
Class ClosureAxioms

java.lang.Object
  extended by uk.ac.manchester.owl.owlapi.tutorial.ClosureAxioms

public class ClosureAxioms
extends java.lang.Object

This class demonstrates some aspects of the OWL API. Given a class in an ontology, it will determine the subclass axioms that define the 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
ClosureAxioms(OWLOntologyManager manager, OWLOntology ontology)
           
 
Method Summary
 void addClosureAxioms(OWLClass clazz)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ClosureAxioms

public ClosureAxioms(OWLOntologyManager manager,
                     OWLOntology ontology)
              throws OWLException
Throws:
OWLException
Method Detail

addClosureAxioms

public void addClosureAxioms(OWLClass clazz)
                      throws OWLException
Throws:
OWLException