Reasoning about Ontology Mappings


Stuckenschmidt, Heiner ; Serafini, Luciano ; Wache, Holger


[img]
Preview
PDF
kr06.pdf - Published

Download (183kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1140
URN: urn:nbn:de:bsz:180-madoc-11400
Document Type: Working paper
Year of publication: 2005
The title of a journal, publication series: Technical Reports
Volume: 05-011
Place of publication: Mannheim
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Wissensrepräsentation , Ontologie <Wissensverarbeitung> , Semantische Konsistenz
Individual keywords (German): Wissensrepraesentation , Ontologien , Semantische Integration
Keywords (English): 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.
Additional information:

Dieser Eintrag ist Teil der Universitätsbibliographie.

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




+ Citation Example and Export

Stuckenschmidt, Heiner ORCID: 0000-0002-0209-3859 ; Serafini, Luciano ; Wache, Holger (2005) Reasoning about Ontology Mappings. Open Access Technical Reports Mannheim 05-011 [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item