Safe and Economic re-use of ontologies: a logic-based methodology and tool support
A paper written by Ulrike Sattler, Bernardo Cuenca Grau, Rafael Berlanga-Llavori, Thomas Schneider and Ernesto Jimenez-Ruiz. It was presented at the ESWC2008. It is about Safety, Locality, Conservative Extensions, Ontology Reuse and Modularity
See on Revyu.com.
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.
This data has been imported from the ESWC2008 data