| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.hierarchy |
| Modifier and Type | Method and Description |
|---|---|
void |
ModifiableOntologyIndex.remove(IndexedClassExpression target,
ChainableRule<Context> oldRule)
Removes an existing context rule for the given
IndexedClassExpression |
void |
ModifiableOntologyIndex.remove(IndexedObject oldObject)
Removes the given
IndexedObject from this OntologyIndex |
void |
ModifiableOntologyIndex.removeClass(ElkClass oldClass)
Removes the given
ElkClass from the signature of this
OntologyIndex |
void |
ModifiableOntologyIndex.removeContextInitRule(ChainableRule<Context> oldRule)
Removes an existing context initialization for this
OntologyIndex |
void |
ModifiableOntologyIndex.removeNamedIndividual(ElkNamedIndividual oldIndividual)
Removes the given
ElkNamedIndividual from the signature of this
OntologyIndex |
void |
ModifiableOntologyIndex.removeReflexiveProperty(IndexedObjectProperty property)
Retracts reflexivity of the given
IndexedObjectProperty |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.