ch.uzh.ifi.attempto.acewiki.core
Interface AceWikiReasoner

All Known Implementing Classes:

AceWikiOWLReasoner, CachingReasoner, DummyReasoner

public interface AceWikiReasoner

This is the reasoner interface for AceWiki.

Author:

Tobias Kuhn

Method Summary

void	flushElements() This method can finalize the loading or unloading of elements.
java.util.List<AnswerElement>	getAnswer(Question question) Should return a list of ontology elements that answer the given question.
java.util.List<Concept>	getConcepts(Individual ind) Should return all concepts the given individual belongs to.
java.util.List<Individual>	getIndividuals(Concept concept) Should return all individuals that belong to the given concept.
java.util.Map<java.lang.String,java.lang.String>	getInfo() This method can return a map of name/value pairs with information about the reasoner.
java.lang.String	getReasonerName() Should return the name of the reasoner.
java.lang.String	getReasonerType() Should return the type of the reasoner.
java.lang.String	getReasonerVersion() Should return the version of the reasoner.
java.util.List<Concept>	getSubConcepts(Concept concept) Should return all the sub-concepts of the given concept.
java.util.List<Concept>	getSuperConcepts(Concept concept) Should return all super-concepts of the given concept.
void	init(Ontology ontology) This is the first method to be called and provides the ontology object.
boolean	isConsistent() Should return true if the ontology is consistent.
boolean	isSatisfiable(Concept concept) Should check if the given concept is satisfiable.
void	load() Loads the reasoner or reasoner interface.
void	loadElement(OntologyElement element) Loads the given ontology element.
void	loadSentence(Sentence sentence) Loads the given sentence.
void	unloadElement(OntologyElement element) Unloads the given ontology element.
void	unloadSentence(Sentence sentence) Unloads the given sentence.

Method Detail

init

void init(Ontology ontology)

This is the first method to be called and provides the ontology object.

Parameters:

ontology - The ontology object.

getReasonerName

java.lang.String getReasonerName()

Should return the name of the reasoner.

Returns:

The name of the reasoner.

getReasonerVersion

java.lang.String getReasonerVersion()

Should return the version of the reasoner.

Returns:

The version of the reasoner.

getReasonerType

java.lang.String getReasonerType()

Should return the type of the reasoner.

Returns:

The reasoner type.

getInfo

java.util.Map<java.lang.String,java.lang.String> getInfo()

This method can return a map of name/value pairs with information about the reasoner. To retain the insertion order, a map implementation like LinkedHashMap should be used. It is allowed to return null for no information.

Returns:

A map of name/value pairs with reasoner information.

load

void load()

Loads the reasoner or reasoner interface.

loadElement

void loadElement(OntologyElement element)

Loads the given ontology element. The method flushElements is called after each sequence of one or more loadElement-calls.

Parameters:

element - The ontology element.

unloadElement

void unloadElement(OntologyElement element)

Unloads the given ontology element. The method flushElements is called after each sequence of one or more unloadElement-calls.

Parameters:

element - The ontology element.

flushElements

void flushElements()

This method can finalize the loading or unloading of elements. It is always called after a sequence of one or more loadElement- or unloadElement-calls.

getConcepts

java.util.List<Concept> getConcepts(Individual ind)

Should return all concepts the given individual belongs to.

Parameters:

ind - The individual.

Returns:

A list of all concepts of the individual.

getIndividuals

java.util.List<Individual> getIndividuals(Concept concept)

Should return all individuals that belong to the given concept.

Parameters:

concept - The concept.

Returns:

A list of all individuals of the concept.

getSuperConcepts

java.util.List<Concept> getSuperConcepts(Concept concept)

Should return all super-concepts of the given concept.

Parameters:

concept - The concept for which all super-concepts should be returned.

Returns:

A list of all super-concepts.

getSubConcepts

java.util.List<Concept> getSubConcepts(Concept concept)

Should return all the sub-concepts of the given concept.

Parameters:

concept - The concept for which all sub-concepts should be returned.

Returns:

A list of all sub-concepts.

getAnswer

java.util.List<AnswerElement> getAnswer(Question question)

Should return a list of ontology elements that answer the given question.

Parameters:

question - The question to be answered.

Returns:

A list of ontology elements that are the answer to the question.

isConsistent

boolean isConsistent()

Should return true if the ontology is consistent.

Returns:

true if the ontology is consistent.

isSatisfiable

boolean isSatisfiable(Concept concept)

Should check if the given concept is satisfiable.

Parameters:

concept - The concept.

Returns:

true if the concept is satisfiable.

loadSentence

void loadSentence(Sentence sentence)

Loads the given sentence.

Parameters:

sentence - The sentence.

unloadSentence

void unloadSentence(Sentence sentence)

Unloads the given sentence.

Parameters:

sentence - The sentence.