[−][src]Module horned_owl::ontology::axiom_mapped
Access AnnotatedAxiom by their kind.
Overview
This module provides an AxiomMappedIndex which provides rapid
access to all axioms of a given type.
As well as being iterable, it provides axiom and
annotated_axiom which iterate over a particular AxiomKind of
Axiom or AnnotatedAxiom, or methods such as sub_class_of, or
object_property_domain which iterate over SubClassOf or
ObjectPropertyDomain axioms respectively.
Structs
| AxiomMappedIndex | |
| AxiomMappedIter | An iterator over the annotated axioms of an |
Type Definitions
| AxiomMappedOntology |