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.
%0 Conference Paper
%1 jimenez-ruiz2008safe
%A Jimenez-Ruiz, Ernesto
%A Grau, Bernardo Cuenca
%A Sattler, Ulrike
%A Schneider, Thomas
%A Berlanga-Llavori, Rafael
%B Proceedings of the 5th European Semantic Web Conference
%C Berlin, Heidelberg
%D 2008
%E Hauswirth, Manfred
%E Koubarakis, Manolis
%E Bechhofer, Sean
%I Springer Verlag
%K safety reuse conservative ontology modularity locality extensions formal-languages-1
%T Safe and Economic re-use of ontologies: a logic-based methodology and tool support
%U http://data.semanticweb.org/conference/eswc/2008/papers/265
%X 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.
@inproceedings{jimenez-ruiz2008safe,
abstract = {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.},
added-at = {2008-05-28T14:50:02.000+0200},
address = {Berlin, Heidelberg},
author = {Jimenez-Ruiz, Ernesto and Grau, Bernardo Cuenca and Sattler, Ulrike and Schneider, Thomas and Berlanga-Llavori, Rafael},
biburl = {https://www.bibsonomy.org/bibtex/2a87c0da670998e2977d26a48b072870c/eswc2008},
booktitle = {Proceedings of the 5th European Semantic Web Conference},
editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean},
interhash = {6c2fe5fd8dd5ca0ed52e7158843e53af},
intrahash = {a87c0da670998e2977d26a48b072870c},
keywords = {safety reuse conservative ontology modularity locality extensions formal-languages-1},
month = {June},
publisher = {Springer Verlag},
series = {LNCS},
timestamp = {2008-05-28T14:50:02.000+0200},
title = {Safe and Economic re-use of ontologies: a logic-based methodology and tool support},
url = {http://data.semanticweb.org/conference/eswc/2008/papers/265},
year = 2008
}