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...
Main Author: | Armas Romero, A |
---|---|
Other Authors: | Horrocks, I |
Format: | Thesis |
Language: | English |
Published: |
2015
|
Subjects: |
Similar Items
-
Consequence-based reasoning for SRIQ ontologies
by: Bate, A
Published: (2016) -
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
by: Kaminski, M, et al.
Published: (2014) -
Datalog rewriting techniques for non-Horn ontologies
by: Kaminski, M, et al.
Published: (2014) -
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
by: Kaminski, M, et al.
Published: (2014) -
Consequence-based reasoning for the Description Logic SROIQ
by: Tena Cucala, DJ
Published: (2019)