Rough Pragmatic Description Logic
In this chapter, a rough description logic is built on the basis of a pragmatic standpoint of representation of knowledge. The pragmatic standpoint has influenced the acceptance of a broader definition of the semantic network than that appearing in the literature. The definition of the semantic network is a motivation of the introduced semantics of the language of the descriptive logic. First, the theoretical framework of representation of knowledge that was proposed in the papers [24,25] is adjusted to the description of data processing. The pragmatic system of knowledge representation is determined, as well as situations of semantic adequacy and semantic inadequacy for represented knowledge are defined. Then, it is shown that general information systems (generalized information systems in Pawlak’s sense) presented in the paper  can be interpreted in pragmatic systems of knowledge representation. Rough sets in the set-theoretical framework proposed in papers [7,8] are defined for the general information systems. The pragmatic standpoint about objects is also a motivation to determine a model of semantic network. This model is considered as a general information system. It determines a formal language of the descriptive logic. The set-theoretical framework of rough sets, which was introduced for general information systems, makes it possible to describe the interpretation of this language in the theory of rough sets. Therefore this interpretation includes situations of semantic inadequacy. At the same time, for the class of all interpretations of this type, there exists a certain descriptive logic, which — in this chapter — is called rough pragmatic description logic.
KeywordsPragmatic knowledge representation semantically adequate knowledge vague knowledge pragmatic information system generalized pragmatic information system rough set semantic network description logic rough pragmatic descriptive logic
Unable to display preview. Download preview PDF.
- 1.Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic. HandbookTheory, Implementation and Application. Cambridge University Press, Cambridge (2003)Google Scholar
- 2.Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: Proc. IEEE Int. Conference on Fuzzy Systems FUZZ-IEEE 2008 (IEEE World Congress on Computational Intelligence), pp. 923–930 (2008)Google Scholar
- 3.Bonikowski, Z.: Algebraic structures of rough sets. In: Ziarko, W. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery, pp. 242–247. Springer (1994)Google Scholar
- 4.Bonikowski, Z.: Algebraic structures of rough sets in representative approximation spaces. Electr. Notes Theor. Comput. Sci. 82(4) (2003), doi:10.1016/S1571-0661(04)80705-9Google Scholar
- 10.Fanizzi, N., d’Amato, C., Esposito, F., Lukasiewicz, T.: Representing uncertain concepts in rough description logics via contextual indiscernibility relations. In: Bobillo, F., da Costa, P.C.G., d’Amato, C., et al. (eds.) Proc. 4th Int. Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008). CEUR-WS, 423. CEUR-WS.org (2008), http://ceur-ws.org/Vol-423/paper7.pdf (cited May 13, 2011)
- 17.Pawlak, Z.: Rough set elements. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 1. Methodology and Applications, pp. 10–30. Springer, Heidelberg (1998)Google Scholar
- 18.Polkowski, L.: Reasoning by Parts. An Outline of Rough Mereology. Warszawa (2011)Google Scholar
- 19.Skowron, A., Polkowski, L.: Rough mereology and analytical morphology. In: Orłowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 399–437. Springer, Heidelberg (1996)Google Scholar
- 21.Simou, N., Stoilos, G., Tzouvaras, V., Stamou, G., Kollias, S.: Storing and querying fuzzy knowledge in the semantic web. In: Bobillo, F., da Costa, P.C.G., d’Amato, C., et al. (eds.) Proc. 4th Int. Workshop on Uncertainty Reasoning for the Semantic Web URSW 2008, May 13. CEUR-WS, vol. 423, CEUR-WS.org (2008), http://ceur-ws.org/Vol-423/paper8.pdf (cited May 13, 2011)
- 22.Simou, N., Mailis, T., Stoilos, G., Stamou, S.: Optimization techniques for fuzzy description logics. In: Description Logics. Proc. 23rd Int. Workshop on Description Logics (DL 2010). CEUR-WS, vol. 573, CEUR-WS.org (2010), http://ceur-ws.org/Vol-573/paper_25.pdf (cited May 13, 2011)
- 24.Wybraniec-Skardowska, U.: Meaning and interpretation. Studia Logica 85, 107–134 (2007)Google Scholar