Reference Work Entry

Encyclopedia of Social Network Analysis and Mining

pp 346-351

Date:

Description Logics

  • Adila KrisnadhiAffiliated withKno.e.sis Center, 377 Joshi Research Center, Wright State University
  • , Pascal HitzlerAffiliated withDepartment of Computer Science and Engineering, Wright State University

Glossary

KR

Knowledge representation

DLs

Description logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals, and relationships among them

(Logic-Based) Semantics

A way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic

Interpretation

A mathematical structure realizing the semantics of a language, typically consisting of an underlying set (domain of interest) and a mapping from the statements in the language to the set or mathematical operations on it

Model

An interpretation that interprets logical statements in a non-contradictory way

Individual

An element of the domain of interest. Individual names are atomic statements in a DL corresponding to such elements

Concept

A statement in a DL corresponding to sets of individuals

Role

A statement in a DL corresponding to a binary relation between individuals

Axiom

A statement in a DL that asserts certain constraints th ...

This is an excerpt from the content