Reasoning Support for Ontology Design

Carsten LutzCarsten Lutz, Franz BaaderFranz Baader, Enrico FranconiEnrico Franconi, Domenico LemboDomenico Lembo, Ralf MöllerRalf Möller, Riccardo RosatiRiccardo Rosati, Ulrike SattlerUlrike Sattler, Boontawee SuntisrivarapornBoontawee Suntisrivaraporn, Sergio TessarisSergio Tessaris

Download

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear

Details
Bibtex

KurzfassungAbstract
The design of comprehensive ontologies is a serious challenge. Therefore, it is necessary to support the ontology designer by providing him with design methodologies, ontology editors, and automated reasoning tools that explicate the consequences of his design decisions. Currently, reasoning tools are largely limited to the reasoning services (i) computing the subsumption hierarchy of the classes in an ontology and (ii) determining the consistency of these classes. In this paper, we survey the most important tasks that arise in ontology design and discuss how they can be supported by automated reasoning tools. In particular, we show that it is beneficial to go beyond the usual reasoning services (i) and (ii).
Bemerkung: Note: To appear
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ LutzEtAl-OWLED06,
  author = {Carsten {Lutz} and Franz {Baader} and Enrico {Franconi} and Domenico {Lembo} and Ralf {M{\"o}ller} and Riccardo {Rosati} and Ulrike {Sattler} and Boontawee {Suntisrivaraporn} and Sergio {Tessaris}},
  booktitle = {In Proceedings of the second international workshop OWL: Experiences and Directions},
  editor = {Bernardo Cuenca {Grau} and Pascal {Hitzler} and Connor {Shankey} and Evan {Wallace}},
  month = {November},
  note = {To appear},
  title = {Reasoning Support for Ontology Design},
  year = {2006},
}