Reasoner¶
The following functions are provided for convenience, as they abstract away the creation of
TmeAxiomProvider instances.
-
TmeReasoner *
tme_reasoner_alloc_ontology(CowlOntology *ontology)¶ Allocates a new reasoner instance backed by the specified Cowl ontology.
- Return
Reasoner instance.
- Parameters
ontology: Ontology instance.
-
void
tme_reasoner_load_individuals(TmeReasoner *reasoner, CowlOntology *ontology, TmeABoxEntryType type)¶ Loads individuals from the specified ontology into the reasoner.
- Parameters
reasoner: Reasoner instance.ontology: Ontology instance.type: Type of the loaded individuals.