Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Terminologische Logik"”.
-
The complexity of description logics with concrete domains
Concrete domains are an extension of Description Logics (DLs) that allows to integrate reasoning about conceptual knowledge with reasoning about "concrete qualities" of real world entities such as their age, weight, shape, and temporal extension. In this thesis, we perform an in-depth analysis of …
-
Complexity results and practical algorithms for logics in knowledge representation
Description Logics (DLs) are used in knowledge-based systems to represent and reason about terminological knowledge of the application domain in a semantically well-defined manner. In this thesis, we establish a number of novel complexity results and give practical algorithms for expressive DLs …
-
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
In chemical process engineering, as in many other application domains, one is interested in a structured representation and storage of domain specific knowledge. As shown in a cooperation between the Department for Process Engineering and the Teaching and Research Area for Theoreticel Computer …