Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

E Jimenez-Ruiz; B Cuenca Grau; U Sattler; T Schneider; R Berlanga Llavori

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

E Jimenez-Ruiz
, B Cuenca Grau
, U Sattler
, T Schneider
, R Berlanga Llavori

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

157 Downloads (Pure)

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 or importing the relevant part.

Original language	English
Title of host publication	host publication
Volume	353
Publication status	Published - 2008
Event	4th Int. Workshop on OWL: Experiences and Directions (OWLED) - Duration: 1 Jan 1824 → …

Conference

Conference	4th Int. Workshop on OWL: Experiences and Directions (OWLED)
Period	1/01/24 → …

Access to Document

Cite this

@inproceedings{adf696435f3d4b5995aec23073c8c9b3,

title = "Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support",

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 or importing the relevant part.",

author = "E Jimenez-Ruiz and \{Cuenca Grau\}, B and U Sattler and T Schneider and \{Berlanga Llavori\}, R",

year = "2008",

language = "English",

volume = "353",

booktitle = "host publication",

note = "4th Int. Workshop on OWL: Experiences and Directions (OWLED) ; Conference date: 01-01-1824",

}

TY - GEN

T1 - Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

AU - Jimenez-Ruiz, E

AU - Cuenca Grau, B

AU - Sattler, U

AU - Schneider, T

AU - Berlanga Llavori, R

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 or importing the relevant part.

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 or importing the relevant part.

M3 - Conference contribution

VL - 353

BT - host publication

T2 - 4th Int. Workshop on OWL: Experiences and Directions (OWLED)

Y2 - 1 January 1824

ER -

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this