uk.ac.man.cs.img.owl.inference
Class NonInferencingTaxonomyReasoner

java.lang.Object
  |
  +--uk.ac.man.cs.img.owl.inference.NonInferencingTaxonomyReasoner

All Implemented Interfaces:

OntologyChangeListener, OWLReasoner, OWLTaxonomyReasoner

public class NonInferencingTaxonomyReasoner

extends Object

implements OWLTaxonomyReasoner, OntologyChangeListener

A simple taxonomy reasoner. This implementation doesn't actually make use of a reasoner, but instead tries to determine the hierarchy through a structural examination of the class definitions. As a result it will be incomplete.

Version:

$Id: NonInferencingTaxonomyReasoner.java,v 1.1.1.1 2003/10/14 17:10:15 sean_bechhofer Exp $

Constructor Summary

NonInferencingTaxonomyReasoner()

Method Summary

Set	ancestorClassesOf(OWLClass d) Returns the collection of all superclasses of the given class.
Set	descendantClassesOf(OWLClass d) Returns the collection of all subclasses of the given class.
void	dumpHierarchy(PrintWriter pw)
void	dumpHierarchy(PrintWriter pw, OWLClass clazz, int level)
Set	equivalentClassesOf(OWLClass d) Returns the collection of (named) classes which are equivalent to the given class.
OWLOntology	getOntology() Get the ontology that this reasoner reasons over
static void	main(String[] args)
void	ontologyChanged(OntologyChange event)
void	setOntology(OWLOntology onto) Set the ontology that the reasoner knows about.
Set	subClassesOf(OWLClass clazz) Returns the collection of (named) most general subclasses of the given class.
Set	superClassesOf(OWLClass clazz) Returns the collection of (named) most specific superclasses of the given class.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NonInferencingTaxonomyReasoner

public NonInferencingTaxonomyReasoner()

Method Detail

setOntology

public void setOntology(OWLOntology onto)
                 throws OWLException

Set the ontology that the reasoner knows about. The reasoner will then transmit the converted ontology to the DIG reasoner.

Specified by:

setOntology in interface OWLReasoner

OWLException

getOntology

public OWLOntology getOntology()

Description copied from interface: OWLReasoner

Get the ontology that this reasoner reasons over

Specified by:

getOntology in interface OWLReasoner

superClassesOf

public Set superClassesOf(OWLClass clazz)
                   throws OWLException

Description copied from interface: OWLTaxonomyReasoner

Returns the collection of (named) most specific superclasses of the given class. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Specified by:

superClassesOf in interface OWLTaxonomyReasoner

OWLException

subClassesOf

public Set subClassesOf(OWLClass clazz)
                 throws OWLException

Description copied from interface: OWLTaxonomyReasoner

Returns the collection of (named) most general subclasses of the given class. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Specified by:

subClassesOf in interface OWLTaxonomyReasoner

OWLException

ancestorClassesOf

public Set ancestorClassesOf(OWLClass d)
                      throws OWLException

Description copied from interface: OWLTaxonomyReasoner

Returns the collection of all superclasses of the given class. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Specified by:

ancestorClassesOf in interface OWLTaxonomyReasoner

OWLException

descendantClassesOf

public Set descendantClassesOf(OWLClass d)
                        throws OWLException

Description copied from interface: OWLTaxonomyReasoner

Returns the collection of all subclasses of the given class. The result of this will be a set of sets, where each set in the collection represents an equivalence class.

Specified by:

descendantClassesOf in interface OWLTaxonomyReasoner

OWLException

equivalentClassesOf

public Set equivalentClassesOf(OWLClass d)
                        throws OWLException

Description copied from interface: OWLTaxonomyReasoner

Returns the collection of (named) classes which are equivalent to the given class.

Specified by:

equivalentClassesOf in interface OWLTaxonomyReasoner

OWLException

ontologyChanged

public void ontologyChanged(OntologyChange event)
                     throws OWLException

Specified by:

ontologyChanged in interface OntologyChangeListener

OWLException

dumpHierarchy

public void dumpHierarchy(PrintWriter pw,
                          OWLClass clazz,
                          int level)
                   throws OWLException

OWLException

dumpHierarchy

public void dumpHierarchy(PrintWriter pw)
                   throws OWLException

OWLException

main

public static void main(String[] args)