org.semanticweb.elk.reasoner.indexing.hierarchy

Interface ModifiableOntologyIndex

All Superinterfaces:

OntologyIndex

All Known Implementing Classes:

DifferentialIndex, DirectIndex

public interface ModifiableOntologyIndex
extends OntologyIndex

Common methods for constructing an OntologyIndex. They allow addition and removal of IndexedObjects, as well as assigning and removing rules for such expressions.

Author:

"Yevgeny Kazakov"

See Also:

OntologyIndex

Method Summary

Methods

Modifier and Type	Method and Description
void	add(IndexedClassExpression target, ChainableRule<Context> newRule) Adds a new context rule for the given IndexedClassExpression
void	add(IndexedObject newObject) Adds the given IndexedObject to this OntologyIndex
void	addClass(ElkClass newClass) Add the given ElkClass to the signature of this OntologyIndex
void	addContextInitRule(ChainableRule<Context> newRule) Adds a new context initialization for this OntologyIndex.
void	addNamedIndividual(ElkNamedIndividual newIndividual) Add the given ElkNamedIndividual to the signature of this OntologyIndex
void	addReflexiveProperty(IndexedObjectProperty property) Assert reflexivity of the given IndexedObjectProperty
IndexedObjectCache	getIndexedObjectCache()
void	remove(IndexedClassExpression target, ChainableRule<Context> oldRule) Removes an existing context rule for the given IndexedClassExpression
void	remove(IndexedObject oldObject) Removes the given IndexedObject from this OntologyIndex
void	removeClass(ElkClass oldClass) Removes the given ElkClass from the signature of this OntologyIndex
void	removeContextInitRule(ChainableRule<Context> oldRule) Removes an existing context initialization for this OntologyIndex
void	removeNamedIndividual(ElkNamedIndividual oldIndividual) Removes the given ElkNamedIndividual from the signature of this OntologyIndex
void	removeReflexiveProperty(IndexedObjectProperty property) Retracts reflexivity of the given IndexedObjectProperty

Methods inherited from interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getContextInitRuleHead, getIndexedClasses, getIndexedClassExpressions, getIndexedIndividuals, getIndexedObjectProperties, getIndexedOwlNothing, getIndexedOwlThing, getIndexedPropertyChains, getReflexiveObjectProperties

Method Detail

getIndexedObjectCache

IndexedObjectCache getIndexedObjectCache()

Returns:

the IndexedObjectCache associated with this index; this is where all IndexedObjects of this OntologyIndex are stored

add

void add(IndexedObject newObject)

Adds the given IndexedObject to this OntologyIndex

Parameters:

newObject - the object to be added

remove

void remove(IndexedObject oldObject)
            throws ElkUnexpectedIndexingException

Removes the given IndexedObject from this OntologyIndex

Parameters:

oldObject - the object to be removed

Throws:

ElkUnexpectedIndexingException - if the given object does not occur in this OntologyIndex

addClass

void addClass(ElkClass newClass)

Add the given ElkClass to the signature of this OntologyIndex

Parameters:

newClass - the ElkClass to be added

removeClass

void removeClass(ElkClass oldClass)
                 throws ElkUnexpectedIndexingException

Removes the given ElkClass from the signature of this OntologyIndex

Parameters:

oldClass - the ElkClass to be removed

Throws:

ElkUnexpectedIndexingException

addNamedIndividual

void addNamedIndividual(ElkNamedIndividual newIndividual)

Add the given ElkNamedIndividual to the signature of this OntologyIndex

Parameters:

newIndividual - the ElkNamedIndividual to be added

removeNamedIndividual

void removeNamedIndividual(ElkNamedIndividual oldIndividual)
                           throws ElkUnexpectedIndexingException

Removes the given ElkNamedIndividual from the signature of this OntologyIndex

Parameters:

oldIndividual - the ElkNamedIndividual to be removed

Throws:

ElkUnexpectedIndexingException

addReflexiveProperty

void addReflexiveProperty(IndexedObjectProperty property)

Assert reflexivity of the given IndexedObjectProperty

Parameters:

property - the IndexedObjectProperty which should be asserted reflexive

removeReflexiveProperty

void removeReflexiveProperty(IndexedObjectProperty property)
                             throws ElkUnexpectedIndexingException

Retracts reflexivity of the given IndexedObjectProperty

Parameters:

property - the IndexedObjectProperty which should not be reflexive anymore

Throws:

ElkUnexpectedIndexingException

addContextInitRule

void addContextInitRule(ChainableRule<Context> newRule)

Adds a new context initialization for this OntologyIndex.

Parameters:

newRule - the context initialization rule to be added

See Also:

OntologyIndex.getContextInitRuleHead()

removeContextInitRule

void removeContextInitRule(ChainableRule<Context> oldRule)
                           throws ElkUnexpectedIndexingException

Removes an existing context initialization for this OntologyIndex

Parameters:

oldRule - the context initialization rule to be removed

Throws:

ElkUnexpectedIndexingException - if the given rule was not registered with this OntologyIndex

See Also:

OntologyIndex.getContextInitRuleHead()

add

void add(IndexedClassExpression target,
       ChainableRule<Context> newRule)

Adds a new context rule for the given IndexedClassExpression

Parameters:

target - the IndexedClassExpression for which to add the rule

newRule - the context rule to be added

remove

void remove(IndexedClassExpression target,
          ChainableRule<Context> oldRule)
            throws ElkUnexpectedIndexingException

Removes an existing context rule for the given IndexedClassExpression

Parameters:

target - the IndexedClassExpression for which to remove the rule

oldRule - the context rule to be removed

Throws:

ElkUnexpectedIndexingException - if the given rule was not registered with this IndexedClassExpression