{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:06:15Z","timestamp":1725491175006},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Motivated by the colloquial language term of a \u201cglass gummy bear\u201d, 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 \u0308del 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.<\/jats:p>","DOI":"10.29007\/9cxg","type":"proceedings-article","created":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T13:11:58Z","timestamp":1559740318000},"page":"43-37","source":"Crossref","is-referenced-by-count":0,"title":["Concepts as Modalities in Description Logics"],"prefix":"10.29007","volume":"10","author":[{"given":"Lukas","family":"Gr\u00e4tz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"Selected Student Contributions and Workshop Papers of LuxLogAI 2018"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T13:11:58Z","timestamp":1559740318000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/NwsF"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/9cxg","relation":{},"ISSN":["2515-1762"],"issn-type":[{"type":"print","value":"2515-1762"}],"subject":[]}}