| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.entries | |
| org.semanticweb.elk.reasoner.indexing.hierarchy |
| Modifier and Type | Class and Description |
|---|---|
class |
IndexedObjectEntry<T,K extends IndexedObject>
The wrapper class to define custom equality and hash functions for
IndexedObjects to be used in KeyEntryHashSet. |
| Modifier and Type | Class and Description |
|---|---|
class |
IndexedAxiom |
class |
IndexedBinaryPropertyChain
Represents a complex
ElkSubObjectPropertyExpressions. |
class |
IndexedClass
Represents all occurrences of an
ElkClass in an ontology. |
class |
IndexedClassEntity
Represents all occurrences of an
ElkClass or ElkIndividual in
an ontology. |
class |
IndexedClassExpression
Represents all occurrences of an
ElkClassExpression in an ontology. |
class |
IndexedDataHasValue
Represents all occurrences of an
ElkObjectHasValue in an ontology. |
class |
IndexedDisjointnessAxiom
Defines the disjointness inference rule for indexed class expressions
|
class |
IndexedIndividual
Represents all occurrences of an
ElkIndividual in an ontology. |
class |
IndexedObjectComplementOf
Represents all occurrences of an
ElkObjectComplementOf in an
ontology. |
class |
IndexedObjectIntersectionOf
Represents all occurrences of an
ElkObjectIntersectionOf in an
ontology. |
class |
IndexedObjectProperty
Represents all occurrences of an ElkObjectProperty in an ontology.
|
class |
IndexedObjectSomeValuesFrom
Represents all occurrences of an
ElkObjectSomeValuesFrom in an
ontology. |
class |
IndexedObjectUnionOf
Represents all occurrences of an
ElkObjectUnionOf in an ontology. |
class |
IndexedPropertyChain
Represents all occurrences of an
ElkSubObjectPropertyExpression in an
ontology. |
class |
IndexedSubClassOfAxiom |
| Modifier and Type | Method and Description |
|---|---|
void |
ModifiableOntologyIndex.add(IndexedObject newObject)
Adds the given
IndexedObject to this OntologyIndex |
void |
DirectIndex.add(IndexedObject newObject) |
void |
DifferentialIndex.add(IndexedObject newObject) |
void |
ModifiableOntologyIndex.remove(IndexedObject oldObject)
Removes the given
IndexedObject from this OntologyIndex |
void |
DirectIndex.remove(IndexedObject oldObject) |
void |
DifferentialIndex.remove(IndexedObject oldObject) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.