au.csiro.ontology.classification

Interface IReasoner

public interface IReasoner

This interface represents the functionality of a reasoner. It uses the internal ontology model. This interface is included in this package because it could have several implementations.

Author:

Alejandro Metke

Method Summary

Methods

Modifier and Type	Method and Description
IReasoner	classify() Classifies the current axioms.
Ontology	getClassifiedOntology() Returns an IOntology that represents the generated taxonomy.
Ontology	getClassifiedOntology(Ontology ont) Returns an IOntology that represents the generated taxonomy.
boolean	isClassified() Determines if the ontology has been classified.
void	loadAxioms(Iterator<Axiom> axioms) Loads and indexes the supplied axioms.
void	loadAxioms(Ontology ont) Loads and indexes the supplied axioms.
void	loadAxioms(Set<Axiom> axioms) Loads and indexes the supplied axioms.
void	prune() Removes all the state in the classifier except the taxonomy generated after classification.
void	save(OutputStream out) Saves this reasoner to the specified OutputStream.

Method Detail

loadAxioms

void loadAxioms(Set<Axiom> axioms)

Loads and indexes the supplied axioms.

Parameters:

axioms -

loadAxioms

void loadAxioms(Iterator<Axiom> axioms)

Loads and indexes the supplied axioms.

Parameters:

axioms -

loadAxioms

void loadAxioms(Ontology ont)

Loads and indexes the supplied axioms.

Parameters:

axioms -

classify

IReasoner classify()

Classifies the current axioms.

Returns:

prune

void prune()

Removes all the state in the classifier except the taxonomy generated after classification. If the classification process has not been run then this method has no effect. Once pruned, it is no longer possible to run an incremental classification. Doing so will generate a RuntimeException.

getClassifiedOntology

Ontology getClassifiedOntology()

Returns an IOntology that represents the generated taxonomy. If no axioms have yet been classified it throws a RuntimeException.

Returns:

The classified ontology.

getClassifiedOntology

Ontology getClassifiedOntology(Ontology ont)

Returns an IOntology that represents the generated taxonomy. If no axioms have yet been classified it throws a RuntimeException.

Returns:

The classified ontology.

save

void save(OutputStream out)

Saves this reasoner to the specified OutputStream.

Parameters:

out - The OutputStream.

isClassified

boolean isClassified()

Determines if the ontology has been classified.

Returns:

boolean True if the ontology has been classified or false if it hasn't.