Computer Science

Description Logics

Research in the field of knowledge representation and reasoning is usually focused on methods for providing high-level descriptions of the world that can be efectively used to build intelligent applications. In this context, "intelligent" refers to the ability of a system to find implicit consequences of its explicitly represented knowledge. Such systems are therefore characterized as knowledge-based systems.
The main effort of the research in knowledge representation is providing theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way.
Description Logics (DL) is an important powerful class of logic-based knowledge representation languages. The emphasis will be on a rigorous approach to knowledge representation and building ontologies. After an original review of the relevant concepts on computational logics, there is an introduction to Object-Oriented representations in Information Systems and Artificial Intelligence, which serve as the main motivations for studying DL.
DL is introduced with its simplest formalization; the computational properties and algorithms of the so called structural DL. Then propositional DLs are studying the computational properties and the reasoning with tableaux calculus. Advanced topics such as the representation of knowledge bases and ontologies, and the connections of DL with Modal Logics and First Order Logic are analyzing the connections of DL with database theory.
• see My article on reserved area

[see www.dl.kr.org]

» Press room

xhtml   css   508     Site Map

Web Design by  dott. ing Massimiliano Dal Mas