Towards World Identification in Description Logics
Abstract
The logical analysis of the usability of nominals, that are introduced by Hybrid Logic, informal descriptions of the world (within modern knowledge representation systems and semantic systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in the description logic (DL) and a nominal can be related to each other?’. Based on my assumption that nominals can support more adequate identification of the world in DL, this paper will deal with the concept of ‘world identification’. Accordingly, based on a logical-terminological analysis of nominals, it will analyse hybridised fundamental world descriptions. Relying on the outcomes, this research will reach the idea that we can have a hybrid description logic with the analysed concepts.
Publisher
Institute of Philosophy, Russian Academy of Sciences
Reference42 articles.
1. Areces, 2000 – Areces, C.E. Logic Engineering. The Case of Description and Hybrid Logics, University of Amsterdam: ILLC dissertation series, 2000. 2. Artale & Franconi, 2000 – Artale, A. & Franconi, E. “A Survey of Temporal Extensions of Description Logics”, Ann. Math. Artif. Intell., 2000, Vol. 30, No. 1–4, pp. 171–210. 3. Artale et al., 2014 – Artale, A., Kontchakov, R., Ryzhikov, V. & Zakharyaschev, M.“A Cookbook for Temporal Conceptual Data Modelling with Description Logics”, ACM Transactions on Computational Logic, 2014, No. 25, pp. 1–50. 4. Baader & Hollunder, 1991 – Baader, F. & Hollunder, B. “KRIS: Knowledge Representation and Inference System”, ACM SIGART Bull, 1991, Vol. 2, No. 3, pp. 8–14. 5. Baader et al., 2003 – Baader, F., K¨usters, R. & Wolter, F. “Extensions to Description Logics”, in: F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi & P.F. PatelSchneider (eds.), Description Logic Handbook, Cambridge University Press, 2003, pp. 219–261.
|
|