Please use this identifier to cite or link to this item:
doi:10.22028/D291-25733
Title: | Querying knowledge and data bases by a universal description logic with recursion |
Author(s): | Schild, Klaus |
Language: | English |
Year of Publication: | 1996 |
SWD key words: | Terminologische Sprache |
DDC notations: | 004 Computer science, internet |
Publikation type: | Dissertation |
Abstract: | The main motivation of my work was to bring together three fields of Computer Science which are only apparently unrelated: Knowledge Representation, propositional logics of programs, and relational databases. Knowledge Representation as an important subfield of artificial intelligence, however, was definitely the focus of my attention: I did not consider the remaining two fields in their own right, but rather studied them from a Knowledge Representation point of view. Die vorliegende Arbeit beschäftigt sich damit, die Ausdrucksfähigkeit von Beschreibungslogiken so zu erhöhen, dass diese für praktische Zwecke einsetzbar werden. Gleichzeitig soll jedoch die Berechnungskomplexität, die selbst ausdrucksschwachen Beschreibungslogiken inhärent ist, vermieden werden. |
Link to this record: | urn:nbn:de:bsz:291-scidok-2260 hdl:20.500.11880/25789 http://dx.doi.org/10.22028/D291-25733 |
Advisor: | Jörg H. Siekmann |
Date of oral examination: | 31-May-1996 |
Date of registration: | 7-May-2004 |
Faculty: | MI - Fakultät für Mathematik und Informatik |
Department: | MI - Informatik |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
KlausSchild_ProfDrJoergHSiekmann.pdf | 1,91 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.