TY - GEN
T1 - Syntactic vs. Semantic locality: How good is a cheap approximation?
AU - Del Vescovo, Chiara
AU - Klinov, Pavel
AU - Parsia, Bijan
AU - Sattler, Uli
AU - Schneider, Thomas
AU - Tsarkov, Dmitry
PY - 2012
Y1 - 2012
N2 - Extracting a subset of a given OWL ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instance, on locality-based modules (LBMs). These come in two flavours, syntactic and semantic, and a syntactic LBM is known to contain the corresponding semantic LBM. For syntactic LBMs, polynomial extraction algorithms are known, implemented in the OWL API, and being used. In contrast, extracting semantic LBMs involves reasoning, which is intractable for OWL 2 DL, and these algorithms had not been implemented yet for expressive ontology languages. We present the first implementation of semantic LBMs and report on experiments that compare them with syntactic LBMs extracted from real-life ontologies. Our study reveals whether semantic LBMs are worth the additional extraction effort, compared with syntactic LBMs.
AB - Extracting a subset of a given OWL ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instance, on locality-based modules (LBMs). These come in two flavours, syntactic and semantic, and a syntactic LBM is known to contain the corresponding semantic LBM. For syntactic LBMs, polynomial extraction algorithms are known, implemented in the OWL API, and being used. In contrast, extracting semantic LBMs involves reasoning, which is intractable for OWL 2 DL, and these algorithms had not been implemented yet for expressive ontology languages. We present the first implementation of semantic LBMs and report on experiments that compare them with syntactic LBMs extracted from real-life ontologies. Our study reveals whether semantic LBMs are worth the additional extraction effort, compared with syntactic LBMs.
M3 - Conference contribution
VL - 875
T3 - CEUR Workshop Proceedings
SP - 40
EP - 50
BT - CEUR Workshop Proceedings|CEUR Workshop Proc.
PB - RWTH Aachen University
T2 - 6th International Workshop on Modular Ontologies, WoMO 2012
Y2 - 1 July 2012
ER -