Ontology module extraction and applications to ontology classification
<p>Module extraction is the task of computing a (preferably small) fragment <i>M</i> of an ontology <i>O</i> that preserves a class of entailments over a signature of interest ∑. Existing practical approaches ensure that <i>M</i> preserves all second-order e...
Auteur principal: | Armas Romero, A |
---|---|
Autres auteurs: | Horrocks, I |
Format: | Thèse |
Langue: | English |
Publié: |
2015
|
Sujets: |
Documents similaires
-
Consequence-based reasoning for SRIQ ontologies
par: Bate, A
Publié: (2016) -
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
par: Kaminski, M, et autres
Publié: (2014) -
Datalog rewriting techniques for non-Horn ontologies
par: Kaminski, M, et autres
Publié: (2014) -
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
par: Kaminski, M, et autres
Publié: (2014) -
A survey on applications of ontology knowledge representation in robotics
par: Yueguang GE, et autres
Publié: (2022-06-01)