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 20 of 28 for “"Description logics"”.
-
Document Verification with Temporal Description Logics
… thesis is to combine the temporal logic CTL and description logic ALC for the representation of consistency criteria. The resulting new temporal description logics ALCCTL can - in contrast to existing specification formalisms - compactly represent coherence criteria on documents. Verification of …
-
Human Reasoning and Description Logics: Applying Psychological Theory to Understand and Improve the Usability of Description Logics
Description Logics (DLs) are now the most commonly used ontology languages, in part because of the development of the Web Ontology Language (OWL) standards. Yet it is accepted that DLs are difficult to comprehend and work with, particularly for ontology users who are not computer scientists. The …
-
Axiom-Pinpointing in Description Logics and Beyond
Building and mantaining large-scale ontologies is an error-prone task. It is thus not uncommon to find unwanted or unexpected consequences that follow implicitely from the restrictions in the ontology. To understand and correct these consequences, it is helpful to find the specific portions of the …
-
Action, Time and Space in Description Logics
Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed …
-
Formal Concept Analysis Methods for Description Logics
This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of …
-
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 …
-
Standard and Non-standard reasoning in Description Logics
The present work deals with Description Logics (DLs), a class of knowledge representation formalisms used to represent and reason about classes of individuals and relations between such classes in a formally well-defined way. We provide novel results in three main directions. (1) Tractable …
-
Drug repositioning and indication discovery using description logics
… drugs, using a mathematical framework called description logics. In this regard, I first specify how living organisms can be compared to complex black box machines and how this analogy can help to capture biomedical knowledge using description logics (Chapter 2). Secondly, the theory is …
-
On the Computation of Common Subsumers in Description Logics
Description logics (DL) knowledge bases are often build by users with expertise in the application domain, but little expertise in logic. To support this kind of users when building their knowledge bases a number of extension methods have been proposed to provide the user with concept descriptions …
-
To and Fro Between Tableaus and Automata for Description Logics
Beschreibungslogiken (Description logics, DLs) sind eine Klasse von Wissensrepraesentationsformalismen mit wohldefinierter, logik-basierter Semantik und entscheidbaren Schlussfolgerungsproblemen, wie z.B. dem Erfuellbarkeitsproblem. Zwei wichtige Entscheidungsverfahren fuer das …
-
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics
Description Logics (DLs) are a family of logic-based knowledge representation formalisms aimed at representing the knowledge of an application domain in a structured way one of whose main characteristic is the emphasis on reasoning. Since the last two decades Description logics have been widely …
-
An e-librarian service : supporting explorative learning by a description logics based semantic retrieval tool
Although educational content in electronic form is increasing dramatically, its usage in an educational environment is poor, mainly due to the fact that there is too much of (unreliable) redundant, and not relevant information. Finding appropriate answers is a rather difficult task being reliant on …
-
Razonamiento y evolución ontológica con tolerancia a inconsistencias : un enfoque argumentativo a revisión de description logics
… Seguidamente, los resultados serán extendidos a description logics, para manejar el razonamiento y evolución ontológicos con tolerancia a inconsistencias.
-
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
… knowledge representation systems based on description logics can be used for that purpose. Such systems are based on description logics, a highly expressive formalism with well-defined semantics, and provide powerful inference services like computing subconcept-/superconcept relationships. …
-
DevelopinThe Bayesian Description Logic BALC
Description Logics (DLs) that support uncertainty are not as well studied as their crisp alternatives. This limits their application in many real world domains, which often require reasoning about uncertain or contradictory information. In this thesis we present the Bayesian Description Logic BALC, …
-
Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies
Description Logics (DLs) belong to a successful family of knowledge representation formalisms with two key assets: formally well-defined semantics which allows to represent knowledge in an unambiguous way and automated reasoning which allows to infer implicit knowledge from the one given …
-
Relational Exploration
… scientific area of Knowledge Representation are Description Logics (DL) and Formal Concept Analysis (FCA). While DL concentrates on characterizing domains via logical statements and inferring knowledge from these characterizations, FCA builds conceptual hierarchies on the basis of present data. …
-
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 …
-
Guarded logics : algorithms and bisimulation
… tractability properties of modal, temporal, and description logics to a larger fragment of predicate logic. Besides decidability, guarded logics inherit the finite model property, invariance under an appropriate variant of bisimulation, and other nice model theoretic properties including a …
Page 1 of 2