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...
Autore principale: | Armas Romero, A |
---|---|
Altri autori: | Horrocks, I |
Natura: | Tesi |
Lingua: | English |
Pubblicazione: |
2015
|
Soggetti: |
Documenti analoghi
-
Consequence-based reasoning for SRIQ ontologies
di: Bate, A
Pubblicazione: (2016) -
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
di: Kaminski, M, et al.
Pubblicazione: (2014) -
Datalog rewriting techniques for non-Horn ontologies
di: Kaminski, M, et al.
Pubblicazione: (2014) -
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
di: Kaminski, M, et al.
Pubblicazione: (2014) -
A survey on applications of ontology knowledge representation in robotics
di: Yueguang GE, et al.
Pubblicazione: (2022-06-01)