2026
Extending Description Logics with Generic Concepts – the Case of Terminologies
AAAI 2026technical
We propose an extension of Description Logics (DLs) with generic concepts and conditional axioms. Inspired by object-oriented languages, generic concepts allow a compact definition of concepts with similar structures. For example, one can define a generic concept Owner[X] to describe objects that ow