TY - GEN
T1 - Safe and economic re-use of ontologies: A logic-based methodology and tool support
AU - Jiménez-Ruiz, Ernesto
AU - Grau, Bernardo Cuenca
AU - Sattler, Ulrike
AU - Schneider, Thomas
AU - Berlanga, Rafael
N1 - Nominated for the Best Paper Award
PY - 2008
Y1 - 2008
N2 - Driven by application requirements and using well-understood theoretical results, we describe a novel methodology and a tool for modular ontology design. We support the user in the safe use of imported symbols and in the economic import of the relevant part of the imported ontology. Both features are supported in a well-understood way: safety guarantees that the semantics of imported concepts is not changed, and economic import guarantees that no difference can be observed between importing the whole ontology and importing the relevant part. © 2008 Springer-Verlag Berlin Heidelberg.
AB - Driven by application requirements and using well-understood theoretical results, we describe a novel methodology and a tool for modular ontology design. We support the user in the safe use of imported symbols and in the economic import of the relevant part of the imported ontology. Both features are supported in a well-understood way: safety guarantees that the semantics of imported concepts is not changed, and economic import guarantees that no difference can be observed between importing the whole ontology and importing the relevant part. © 2008 Springer-Verlag Berlin Heidelberg.
U2 - 10.1007/978-3-540-68234-9_16
DO - 10.1007/978-3-540-68234-9_16
M3 - Conference contribution
SN - 3540682333
SN - 9783540682332
VL - 5021
T3 - LNCS
SP - 185
EP - 199
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
T2 - 5th European Semantic Web Conference, ESWC 2008
Y2 - 1 July 2008
ER -