Ein Ansatz für eine integrative Ontologie-Beschreibungssprache
| dc.contributor.advisor | Weber, Herbert | en |
| dc.contributor.author | Billig, Andreas | en |
| dc.contributor.grantor | Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik | en |
| dc.date.accepted | 2007-10-05 | |
| dc.date.accessioned | 2015-11-20T17:56:44Z | |
| dc.date.available | 2008-03-19T12:00:00Z | |
| dc.date.issued | 2008-03-19 | |
| dc.date.submitted | 2008-03-19 | |
| dc.description.abstract | Moderne Ontologie-Beschreibungssprachen basieren auf den klassischen Ansätzen F-Logic und Description Logic. Obwohl all diese Ansätze gemeinsame Charakteristika besitzen, verfügen sie jedoch über teilweise sehr unterschiedliche Konstruktmengen, welche bezüglich folgender Aspekte untersucht werden können: logische Höherstufigkeit, Konstrukte zur Kontextualisierung, Konstrukte zur Kategorisierung und Konstrukte für Regeln. Der erste Aspekt bezieht sich auf die Möglichkeit der Sprache, alle Basiselemente der Modellierung als eigenständige Objekte (first class citizens) zu behandeln. Erst eine derartige Gleichbehandlung läßt es zu, den gesamten Elementraum der Modellierung den Anfrage- und Inferenzkomponenten zur Verfügung zu stellen. Konstrukte zur Kontextualisierung gestatten es, Begriffe oder auch Beziehungssetzungen zwischen diesen in einen Kontext zu stellen. Eines der speziellen Konstrukte hierfür ist die sogenannte taxonomische Kontextualisierung, welches die Auflösung mehrfacher Generalisierung erlaubt. Der dritte Aspekt betrifft die Fähigkeit der Sprache, taxonomische Kontextualisierungen den Attributen von Instanzen zuzuordnen. Schließlich bezieht sich der letzte Aspekt auf die Angabe von Regeln über den gesamten Modellraum, welches sowohl die Definition einer maßgeschneiderten Semantik als auch die Definition von Anwendungsregeln vergleichbar mit denen der klassischen Wissensrepräsentation erlaubt. Die vorliegende Arbeit untersucht die relevanten Ontologie-Beschreibungssprachen bezüglich der aufgeführten Aspekte. Jede der untersuchten Sprachen unterstützt nicht vollständig die geforderte Konstruktmenge. Aufbauend auf diesen Untersuchungen wird hier ein Ansatz vorgestellt, der - eine Integration der bestehenden Ansätze zur Unterstützung der geforderten Konstruktmenge - eine Erweiterung um die taxonomische Kontextualisierung und Kategorisierung - eine Integration von höherstufigen Regeln sowie - eine Definition der axiomatischen Semantik der resultierenden Ontologie-Beschreibungssprache vornimmt. | de |
| dc.description.abstract | Modern ontology languages are based on the two classic main directions of F-Logic and description logics. Although these languages share common characteristics they partly contain very different construct sets which can be examined related to the following aspects: logical higher-orderness, constructs for contextualization, constructs for categorization, and constructs for rules. The first aspect concerns the facility of the language to treat all basic elements as so-called first class citizens. The equal treatment of these elements allows for querying and inferencing over the complete modelling space as a whole. Constructs for contextualization enable to set terms as well as relationships in a context. One of the special context constructs is the so-called taxonomic contextualization which allows for disambiguating taxonomies containing multiple inheritance. The third aspect concerns the facility of the ontology language to relate taxonomic contextualizations to attributes of artefact individuals. The last aspect deals with constructs for defining rules over the whole model element space which play an important role to define customizable semantics of ontology constructs as well as to specify application rules similarly to those of knowledge representation tasks. The thesis studies all relevant ontology languages concerning the aspects described above. Every studied language supports only parts of the whole required construct set. Based on these studies the thesis developed an approach which aimed at - integrating existing languages in order to support the required construct set - the extension by taxonomic contextualization and categorization - the integration of higher-order rules - the definition of the axiomatic semantics of the resulting language | en |
| dc.identifier.uri | urn:nbn:de:kobv:83-opus-17897 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/2106 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-1809 | |
| dc.language | German | en |
| dc.language.iso | de | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject.ddc | 004 Datenverarbeitung; Informatik | en |
| dc.subject.other | Contextualization | en |
| dc.subject.other | Formal Languages | en |
| dc.subject.other | Logic Programming | en |
| dc.subject.other | Ontologies | en |
| dc.title | Ein Ansatz für eine integrative Ontologie-Beschreibungssprache | de |
| dc.title.translated | An Approach to an integrative Ontology Language | en |
| dc.type | Doctoral Thesis | en |
| dc.type.version | publishedVersion | en |
| tub.accessrights.dnb | free | * |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik::Inst. Softwaretechnik und Theoretische Informatik | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.institute | Inst. Softwaretechnik und Theoretische Informatik | de |
| tub.identifier.opus3 | 1789 | |
| tub.identifier.opus4 | 1727 | |
| tub.publisher.universityorinstitution | Technische Universität Berlin | en |
Files
Original bundle
1 - 1 of 1