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 22 for “"Description Logic"”.
-
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, …
-
A Lightweight Defeasible Description Logic in Depth
Description Logics (DLs) are increasingly successful knowledge representation formalisms, useful for any application requiring implicit derivation of knowledge from explicitly known facts. A prominent example domain benefiting from these formalisms since the 1990s is the biomedical field. This area …
-
A knowledge based reengineering approach via ontology and description logic.
… proposition, test and conclusion. Ontology and description logic are employed to model and represent the knowledge in different software systems, which is integrated with domain knowledge. Model transformation is used to support ontology development. Description logic is used to implement …
-
Ontology verbalization in agglutinating Bantu languages: a study of Runyankore and its generalizability
… verbalization patterns for the selected description logic constructors; (3) combining the pluralization, conjugation, and verbalization components to form a Runyankore grammar engine; and (4) generalizing the Runyankore and isiZulu approaches to ontology verbalization to other …
-
SET THEORY FOR KNOWLEDGE REPRESENTATION
… since they allow to express a large amount description logic constructs.
-
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 …
-
A multi-agent approach to adaptive learning using a structured ontology classification system
… and design. Knowledge representation using a description logic TBox and ABox for defining a domain of learning. As well as the formal modelling of classification rules using rule-based approach as a reasoning process for accurate categorisation of students’ skills and appropriate …
-
Document Verification with Temporal Description Logics
… idea of this 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. …
-
Certificação de composições de serviços web semânticos
… This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, …
-
Defeasible justification for the KLM Framework
… (AI) as they allow AI systems to conduct logical reasoning. Most classical logics, such as Propositional Logic (PL), are monotonic, which means that adding new knowledge to a knowledge base cannot cause the retraction of a previously drawn conclusion. These classical logics cannot easily …
-
Extensions of SNOMED taxonomy abstraction networks supporting auditing and complexity analysis
… complementary use of the abstraction network in description logic (DL) for quality assurance purposes pertaining to SNOMED is presented. Two complexity measures, a structural complexity measure and a hierarchical complexity measure, based on the abstraction network are introduced to quantify the …
-
Considerations for Automating Salmonella Serovar Identification within an Electronic Public Health Reporting Environment
… nodes in the hierarchy and these were given logic-based definitions. Prototype II added isolate classes as serovar subtypes. Only the isolate classes had complete logical definitions. Both prototypes were logically sound and functioned as expected. Prototype I paralleled existing SNOMED CT …
-
Ontology-based context-aware model for event processing in an IoT environment
… is used alongside a proposed syntax based on Description Logic to build an Event Processing Model. The aim of this model is to interconnect ontology-based reasoning with event processing. This model enables to perform event processing over high-level ontological concepts.The Ontology was …
-
The SUDO Framework: For Data Organization And Efficient Query Authorization For NoSQL Databases
… data. The pseudo-dynamic schema is based on Description Logic ontology. iv) SUDO provides the tools for validating database queries against that pseudo-dynamic schema and weaving queries and access control policies to simultaneously evaluate and authorize the query results.We present the SUDO …
-
Justifications for KLM-style defeasible reasoning
The notion of using formal logic for artificial intelligence was first suggested by McCarthy in the 1950s, and this has led to extensive research into a field known as knowledge representation and reasoning, wherein research is conducted into how best to represent knowledge and reason about said …
-
Representing and reasoning about concrete domains with inference fusion.
Description Logic (DL)-based concept modelling formalisms provide a powerful means to represent and reason about taxonomic knowledge. They benefit from unambiguous semantics which make possible the automatic classification of concept definitions. However, the inevitable "trade-off" between the …
-
Learning to Learn Concept Descriptions
… formalize the possibly complex semantics of ontological concepts. In this thesis, we address the problem of encoding a natural language sentence expressing the description of a concept into a corresponding Description Logic axiom. In our approach, the encoding happens through a syntactic …
-
The cyber-physical topology language: definition and operations
… from existing CPTL data models in terms of topological, semantic and property changes. We then show how to integrate heterogenous data sources and detect intrusions by incorporating this model into a feedback loop. Finally, we show the applicability of our approach in an enterprise setting.
-
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 …
Page 1 of 2