Michał Sochański

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction

Definite descriptions are expressions of the form „the unique x satisfying property C,” which allow reference to objects through their distinguishing characteristics. They play a crucial role in ontology and query languages, offering an alternative to proper names (IDs), which lack semantic content