Reasoning about Ontology Mappings


Stuckenschmidt, Heiner ; Serafini, Luciano ; Wache, Holger


[img]
Vorschau
PDF
kr06.pdf - Veröffentlichte Version

Download (183kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1140
URN: urn:nbn:de:bsz:180-madoc-11400
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 2005
Titel einer Zeitschrift oder einer Reihe: Technical reports
Band: 05-011
Ort der Veröffentlichung: Mannheim
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Wissensrepräsentation , Ontologie <Wissensverarbeitung> , Semantische Konsistenz
Freie Schlagwörter (Deutsch): Wissensrepraesentation , Ontologien , Semantische Integration
Freie Schlagwörter (Englisch): Knowledge Representation , Ontologies , Semantic Integration
Abstract: The use of logic-based representations in distributed environments such as the semantic web has lead to work on the representation of and reasoning with mappings between distributed ontologies. Up to now the investigation of reasoning methods in this area was restricted to the use of mapping for query answering or subsumption reasoning. In this paper, we investigate the task of reasoning about the mappings themselves. We identify a number of properties such as consistency and entailment of mappings that are important for validating and comparing mappings. We provide formal definitions for these properties and show how the properties can be checked using existing reasoning methods by reducing them to local and global satisfiability testing in distributed description logics.
Zusätzliche Informationen:

Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Stuckenschmidt, Heiner und Serafini, Luciano und Wache, Holger (2005) Reasoning about Ontology Mappings. Mannheim [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen