uk.ac.manchester.owl.owlapi.tutorial
Class ClosureAxioms
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ClosureAxioms
public ClosureAxioms(OWLOntologyManager manager,
OWLOntology ontology)
throws OWLException
- Throws:
OWLException
addClosureAxioms
public void addClosureAxioms(OWLClass clazz)
throws OWLException
- Throws:
OWLException