Published March 30, 2008
by Cambridge Univ Pr (Sd) .
Written in English
|The Physical Object|
Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI), pages – AAAI Press/The MIT Press, Cited by: 1 An Introduction to Description Logics D. Nardi, R. J. Brach-man 5 Introduction 5 From networks to Description Logics 8 Knowledge representation in Description Logics 16 From theory to practice: Description Logics systems 20 Applications developed with Description Logics systems 24 Extensions of Description Logics 34File Size: 4MB. Description logics typically separate domain knowledge into two components, a terminological part called the TBox and an assertional part called the ABox, with the combination of a TBox and an ABox being called a knowledge base (KB). The TBox represents knowledge about the structure of the domain (similar to a database schema), while the ABox. A secondary aim is to provide hands-on experience in ontology development that illustrate the theory. The book is divided into three blocks: Block I: logic foundations for ontologies both regarding the languages (mainly First Order predicate Logic, Description Logics, Author: Maria Keet.
ABOUT THE BOOK. Description Logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in. Description Logics and Logics material: A. Borgida, ` On the relative expressive power of Description Logics and Predicate Calculus ', Artificial Intelligence 82 () just a single description logic: the best balance between expressivity of the language and complexity of reasoning depends on the intended application. In this paper we provide a self-contained ﬁrst introduction to description logics. We start by explaining the basic way in which knowledge is modelled in DLs in Section 1. To provide a thorough, concise introduction to Description Logics, covering the central topics and techniques of the ﬁeld, namely theory and implementation, whilst sketching their use in applications. Target Audience The book will be suitable as a basis for a graduate (or advanced undergraduate).
Introduction. A description logic (DL) models concepts, roles and individuals, and their relationships.. The fundamental modeling concept of a DL is the axiom—a logical statement relating roles and/or concepts. This is a key difference from the frames paradigm where a frame specification declares and completely defines a class.. Nomenclature Terminology compared to FOL and OWL. This book is meant to provide a thorough introduction to Description Logics, covering all the above-mentioned aspects of DL research – namely theory, implementation, and applications. Consequently, the book is divided into three parts: Part I introduces the theoretical foundations of Description Logics. This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition. In addition, we provide the reader with an overview of the entire book and some guidelines for reading first address the relationship between. Book Description. This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.