Concepts as Modalities in Description Logics

5 pages•Published: May 25, 2019

Abstract

Motivated by the colloquial language term of a “glass gummy bear”, an additional type of concept composition for description logics is suggested. This composition type is then axiomatically formalized and called concept generalization. Consistency of the formalization is checked. By proving axiom K and Go ̈del rule, it is shown that this logic is in fact a multi-modal logic. Concepts could be both modal operators and predicate symbols. A Kripke semantics is presented (the adequacy is future work). In this semantics, the TBox axioms hold for any view, assertions in the ABox hold for the natural view (a selected world in the Kripke structure) only. The relationship to other formalisms is outlined. Further examples are discussed at the end.

Keyphrases: concept composition, description logics, multi modal logic

In: Christoph Benzmüller, Xavier Parent and Alexander Steen (editors). Selected Student Contributions and Workshop Papers of LuxLogAI 2018, vol 10, pages 43-47.

Links:	https://easychair.org/publications/paper/NwsF
	https://doi.org/10.29007/9cxg

BibTeX entry

@inproceedings{LuxLogAI2018:Concepts_as_Modalities_Description,
  author    = {Lukas Grätz},
  title     = {Concepts as Modalities in Description Logics},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/NwsF},
  doi       = {10.29007/9cxg},
  pages     = {43-47},
  year      = {2019}}

Download PDF Open PDF in browser