Volltextdatei(en) vorhanden
DC ElementWertSprache
dc.contributor.advisorHabel, Christopher (Prof. Dr.)
dc.contributor.authorÖzcep, Özgür Lütfü
dc.date.accessioned2020-10-19T12:25:32Z-
dc.date.available2020-10-19T12:25:32Z-
dc.date.issued2009
dc.identifier.urihttps://ediss.sub.uni-hamburg.de/handle/ediss/2865-
dc.description.abstractIn dieser Arbeit wird ein formales Modell für die semantische Integration von heterogenen Wissensquellen entwickelt, das auf dem Prinzip der Reinterpretation basiert. Während der Integration entstehende Konflikte werden durch eine konservative Neuinterpretation der im Konflikt enthaltenen Symbole aufgelöst; Hypothesen über semantische Beziehungen zwischen der alten und der neuen Lesart der Konfliktsymbole sind im Integrationsresultat enthalten. Das formale Modell fokussiert auf ein einfaches Integrationsszenario, in dem zwei Ontologien (Empfänger- und Senderontologie), die sich in der Praxis bewährt haben und verwandte Terminologien besitzen, integriert werden. Mögliche Konflikte zwischen den Ontologien sollen durch die Ambiguität in der öffentlichen Sprache erklärbar sein; dieser Konflikttyp entsteht durch unterschiedliche Lesarten für dasselbe Symbol in den unterschiedlichen Ontologien. Den Grundideen der Belief-Revision folgend lassen sich für das zu Grunde gelegte Integrationsszenario Adäquatheitskriterien angeben, die axiomatisch durch Postulate formalisiert werden können. Es wird gezeigt, dass es in Form von Reinterpretationsoperatoren konkrete Integrationsverfahren gibt, die (Unterklassen von) den Adäquatheitskriterien genügen. Für Reinterpretationsoperatoren erfolgt eine andere Konfliktdiagnose als für Belief-Revisionsfunktionen; dennoch können Reinterpretationsoperatoren als Belief-Revisionsfunktionen dargestellt werden, sofern nicht die zu integrierenden Ontologien als Gegenstand einer Veränderung angesehen werden, sondern die in der Reinterpretation gebildeten Hypothesen über die semantischen Beziehungen der verschiedenen Lesarten von ambigen Symbolen. Aus zwei inkompatiblen Postulatsklassen zum intendierten Integrationsszenario resultieren zwei Klassen von Reinterpretationsoperatoren, Typ-1- und Typ-2-Operatoren. Typ-1-Operatoren halten an der Terminologie der Empfängeron- tologie fest, Typ-2-Operatoren führen zu einer Adaption an die Terminologie der Senderontologie. Durch die Wahl von verschieden starken Hypothesen über die semantischen Beziehungen der disambiguierten Symbole in den Ontologien können für beide Typen verschieden starke Reinterpretationsoperatoren definiert werden; indem Aspekte zur Konservativität und minimalen Änderung betrachtet werden, können deren Unterschiede durch Postulate beschrieben werden. Die wiederholte Anwendung von Reinterpretationsoperatoren kann für eine sequenzielle Integration von Ontologien genutzt werden. Die sequenzielle und die einschrittige Integration einer Ontologie mittels Reinterpretationsoperatoren erweisen sich als zwei verschiedene nicht aufeinander reduzierbare Ansätze. Eine eingehendere Analyse der sequenziellen Integration mittels Stabilität fördert weitere Unterschiede zwischen starken und schwachen Operatoren (des Typs 2) hervor; schwache Operatoren sind stabil, können dafür zu einer vergesslichen Adaption an die Terminologie der Senderontologie führen, infolge der Bezüge zu ursprünglichen Konzepten der Empfängerontologie verloren gehen. Starke Operatoren führen zu einer weniger radikalen Adaption, sind dafür aber instabil.de
dc.description.abstractThis work presents a formal model for integrating heterogeneous knowledge sources which relies on the principle of reinterpretation. Conflicts occurring in the integration are resolved with a conservative strategy in which symbols involved in a conflict get a new interpretation; the result contains hypothesis on the semantical relatedness of the different readings of the conflict symbols. The formal model focusses on a simple integration scenario according to which two well proven ontologies (receiver’s and sender’s ontology) with similar terminologies have to be integrated. Conflicts can be explained by ambiguities in the public (common) language. This kind of conflict is caused by different readings of the same common symbol in different ontologies. Following the main ideas of belief revision, one can formalize adequacy criteria for the intended integration scenario by postulates. It can be shown that (subclas- ses of) the adequacy criteria are operationalizable by reinterpretation operators. Reinterpretation operators are based on a conflict diagnosis that is different from the conflict diagnosis for belief-revision functions. But reinterpretation ope- rators can be represented as belief-revision functions if one considers not the ontologies to be the object of revision but the set of hypothesis on the semantical relatedness of different readings of ambiguous symbols. Two incompatible subsets of the integration postulates are operationalized by two reinterpretation operators, type-1 and type-2 operators. Type-1 operators preserve the terminology of the receiver’s ontology, type-2 operators adapt to the terminology of the sender’s ontology. By choosing different sets of initial hypothesis on the semantical relatedness of ambiguous symbols operators of different strength can be defined. Differences between operators of different strength can be characterized by postulates that describe aspects of conservativity and minimality. Iterated applications of reinterpretation operators can be used for a sequentialized integration of ontologies. One-step integration and sequential integration by reinterpretation operators are not reducible to each other. Considering the stability of iterated reinterpretation operators results in additional differences in the set of reinterpretation operators (of type 2) with different strength. Weak operators are stable but may result in an amnesic adaption to the terminology — thereby loosing connections to concepts of the receiver’s ontology. Strong operators realize a less radical adaption but are instable.en
dc.language.isodede
dc.publisherStaats- und Universitätsbibliothek Hamburg Carl von Ossietzky
dc.relation.isbasedonEschenbach, C. & Özçep, Ö.L. (to appear 2009). Ontology-revision operators based on reinterpretation. Logic Journal of the IGPL. (preprint). Özçep, Ö. L. (2008): Towards Principles for Ontology Integration. In C. Eschenbach and M. Grüninger (Hrsg.) Proceedings of the Fifth International Conference on Formal Ontology in Information Systems (FOIS-2008), S. 137-150, 2008. Özçep, Ö. L., Eschenbach, C. (2007). On the conservativity and stability of ontology revision operators based on reinterpretation. In: Beierle, C. und Kern-Isberner, G. (eds): Dynamics of Knowledge and Belief. Proceedings of the Workshop at the 30th Annual German Conference on Artificial Intelligence, KI-2007, Osnabrück, Germany, September 10, 2007, S. 84-99. Özçep, Ö.L. (2006). Ontology revision through concept contraction. In: Artemov, S. und Parikh, R. (eds.): Proceedings of the Workshop on Rationality and Knowledge, 18th European Summerschool in Logic, Language, and Information (pp. 79-90)
dc.rightshttp://purl.org/coar/access_right/c_abf2
dc.subjectSemantische Integrationde
dc.subjectReinterpretationde
dc.subjectSemantic integrationen
dc.subjectreinterpretationen
dc.subject.ddc004 Informatik
dc.titleSemantische Integration durch Reinterpretation - ein formales Modellde
dc.title.alternativeSemantic integration through reinterpretation - a formal modelen
dc.typedoctoralThesis
dcterms.dateAccepted2009-12-16
dc.rights.ccNo license
dc.rights.rshttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.bcl54.10 Theoretische Informatik
dc.subject.bcl54.72 Künstliche Intelligenz
dc.subject.gndWissensrevision
dc.subject.gndKünstliche Intelligenz
dc.subject.gndOntologie <Wissensverarbeitung>
dc.subject.gndLogik
dc.subject.gndAmbiguität
dc.subject.gndTerminologische Logik
dc.subject.gndWissensrepräsentation
dc.subject.gndKonf
dc.type.casraiDissertation-
dc.type.dinidoctoralThesis-
dc.type.driverdoctoralThesis-
dc.type.statusinfo:eu-repo/semantics/publishedVersion
dc.type.thesisdoctoralThesis
tuhh.opus.id4428
tuhh.opus.datecreation2010-01-05
tuhh.type.opusDissertation-
thesis.grantor.departmentInformatik
thesis.grantor.placeHamburg
thesis.grantor.universityOrInstitutionUniversität Hamburg
dcterms.DCMITypeText-
tuhh.gvk.ppn625703464
dc.identifier.urnurn:nbn:de:gbv:18-44285
item.advisorGNDHabel, Christopher (Prof. Dr.)-
item.grantfulltextopen-
item.creatorGNDÖzcep, Özgür Lütfü-
item.fulltextWith Fulltext-
item.languageiso639-1other-
item.creatorOrcidÖzcep, Özgür Lütfü-
Enthalten in den Sammlungen:Elektronische Dissertationen und Habilitationen
Dateien zu dieser Ressource:
Datei Beschreibung Prüfsumme GrößeFormat  
oezcepDiss2009.pdfbc441cf3dbda3eddee75be0bb1a8d05a2.72 MBAdobe PDFÖffnen/Anzeigen
Zur Kurzanzeige

Diese Publikation steht in elektronischer Form im Internet bereit und kann gelesen werden. Über den freien Zugang hinaus wurden durch die Urheberin / den Urheber keine weiteren Rechte eingeräumt. Nutzungshandlungen (wie zum Beispiel der Download, das Bearbeiten, das Weiterverbreiten) sind daher nur im Rahmen der gesetzlichen Erlaubnisse des Urheberrechtsgesetzes (UrhG) erlaubt. Dies gilt für die Publikation sowie für ihre einzelnen Bestandteile, soweit nichts Anderes ausgewiesen ist.

Info

Seitenansichten

871
Letzte Woche
Letzten Monat
geprüft am 21.12.2024

Download(s)

186
Letzte Woche
Letzten Monat
geprüft am 21.12.2024
Werkzeuge

Google ScholarTM

Prüfe