Wiaoa: Created page with "== Description Logic == Description logic is a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an applic..."

2019-11-11T03:37:21Z

Created page with "== Description Logic == Description logic is a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an applic..."

New page

== Description Logic ==
Description logic is a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an application domain in a structured way.

The name comes from:

* the notion of describing the domain by using '''concept descriptions''', i.e., expressions that are built from atomic concepts (unary predicates) and atomic roles (binary predicates) using the concept and role constructors provided by the particular DL
* DLS are equipped with a '''formal logic-based semantics'''.

Each description logic describes a language, and each language differ in
expressibility vs. reasoning complexity, defined by allowing or disallowing different
constructs (e.g. conjunction, disjunction, negation, quantifiers, etc.) in their
language.

(Source: F. Bader, I. Horrocks, and U. Satler (2008) ''Description Logics''. Handbook of Knowledge Representation Edited by F. van Harmele
n, V. Lifschitz and B. Porter. Elsevier B.V)

[[Category:Term|Term]]

Edu:Description Logic - DL - Revision history

Wiaoa: Created page with "== Description Logic == Description logic is a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an applic..."