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...
Prif Awdur: | Armas Romero, A |
---|---|
Awduron Eraill: | Horrocks, I |
Fformat: | Traethawd Ymchwil |
Iaith: | English |
Cyhoeddwyd: |
2015
|
Pynciau: |
Eitemau Tebyg
-
Consequence-based reasoning for SRIQ ontologies
gan: Bate, A
Cyhoeddwyd: (2016) -
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014) -
Datalog rewriting techniques for non-Horn ontologies
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014) -
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014) -
A survey on applications of ontology knowledge representation in robotics
gan: Yueguang GE, et al.
Cyhoeddwyd: (2022-06-01)