Tags:concept composition, description logics and multi-modal logic
Abstract:
Language phrases like "stone lion", "fake gun" and "glass gummy bear" inspire us to invent a new type of concept composition for description logics (DL). A set-theoretic approach by Klarman is considered but not adopted since his logic does not allowing conflicting possibilities as demonstrated by the "glass gummy bear". Constraints are presented that should hold for the extended logic. A new approach extends the FOL-embedding of DL and introduces a new dimension as a Kripke structure. In the end, further examples are discussed (the penguin does not fly and the veggi burger does not contain any meat).
Concepts as Modalities in Description Logics (poster teaser)