[−][src]Module horned_owl::ontology
A variety of Ontology Implementations
Overview
This module provides a variety of
MutableOntology
implementations.
The simplest of these is
SetOntology. This provides the
simplest, and probably least overhead implementation of
MutableOntology storing
all AnnotatedAxiom
instances as using an in-memory HashSet. While this should be
fast to add to, any searches are likely to run in linear time.
The indexed package provides a mechanism to
allow faster and composable searching strategies, at a cost to
insertion performance, through the
OntologyIndex trait.
Other than SetOntology all other implementations of
MutableOntology are backed by one or more of OntologyIndex
implementations. A SetIndex is also
provided that mirrors the functionality of SetOntology.
The axiom_mapped package provides an
OntologyIndex that allows rapid retrieval of all
AnnotatedAxiom instances of a given kind.
Other indexes are less general purpose. The
declaration_mapped indexes only
declaration axioms, allowing rapid look up of the declarated type
of an IRI. As it ignores most axioms passed to it, it does not
provide iteration.
Modules
| axiom_mapped | Access |
| declaration_mapped | An index that provides rapid look up via declaration kind |
| indexed | Indexes for ontologies to enable faster searching |
| logically_equal | |
| set | Rapid, simple, in-memory |