Description Logics

Abstract

(Logic-Based) Semantics: A way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic ABox: A set of axioms constraining particular individuals Axiom: A statement in a DL that asserts certain constraints that have to be satisfied by some concepts, roles and individuals Class: Synonymous with concept; usually used (instead of concept) in the context of ontology engineering literature Classification: A reasoning problem that, given a collection of concepts, corresponds to find the subsumption relationship between any two concepts; the answer of this problem is a subsumption hierarchy among the concepts Concept: A logical expression in a DL corresponding to sets of individuals DLs: Description Logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals, and relationships….