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 23 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 …
-
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.
-
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. …
-
Framework for analysis of the logical vulnerability of authentication procedures
… level, where we model the static domain using Description Logics serialised as Ontology Web Language, providing a foundational representation of classes and relationships. The second is the logical level, where action rules, capturing system dynamics, are formalised using Horn Clause and …
-
Explanation for defeasible entailment
… of an exception. Explanations for classical logics such as description logics which are well-known formalisms for reasoning about information in a given domain are provided through the notion of justifications. Simply providing or listing the statements that are responsible for an entailment …
-
OWL-Miner: Concept Induction in OWL Knowledge Bases
The Resource Description Framework (RDF) and Web Ontology Language (OWL) have been widely used in recent years, and automated methods for the analysis of data and knowledge directly within these formalisms are of current interest. Concept induction is a technique for discovering descriptions of …
-
OWL-Miner: Concept Induction in OWL Knowledge Bases
The Resource Description Framework (RDF) and Web Ontology Language (OWL) have been widely used in recent years, and automated methods for the analysis of data and knowledge directly within these formalisms are of current interest. Concept induction is a technique for discovering descriptions of …
-
Justifications for KLM-style defeasible reasoning
… with a focus on propositional and description logics, for both the classical and defeasible case, with a particular emphasis on the latter. We achieve this by first introducing classical propositional and description logic at a high level. We then delve into the history and current …
Page 1 of 2