Safe and economic re-use of ontologies: a logic-based methodology and tool support

  • Authors:
  • Ernesto Jiménez-Ruiz;Bernardo Cuenca Grau;Ulrike Sattler;Thomas Schneider;Rafael Berlanga

  • Affiliations:
  • Universitat Jaume I, Spain;University of Oxford, UK;University of Manchester, UK;University of Manchester, UK;Universitat Jaume I, Spain

  • Venue:
  • ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.