{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:24:22Z","timestamp":1762273462914,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031656644"},{"type":"electronic","value":"9783031656651"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-65665-1_5","type":"book-chapter","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T07:04:54Z","timestamp":1721804694000},"page":"67-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Description Logic for\u00a0Rough Concepts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3664-7757","authenticated-orcid":false,"given":"Krishna B.","family":"Manoorkar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8973-7011","authenticated-orcid":false,"given":"Andrea","family":"De Domenico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9656-7527","authenticated-orcid":false,"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,25]]},"reference":[{"key":"5_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing Mathematical Reasoning","author":"F Baader","year":"2005","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228\u2013248. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32254-2_14"},{"issue":"7","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1020","DOI":"10.3390\/math10071020","volume":"10","author":"MJ Ben\u00edtez-Caballero","year":"2022","unstructured":"Ben\u00edtez-Caballero, M.J., Medina, J., Ram\u00edrez-Poussa, E.: Characterizing one-sided formal concept analysis by multi-adjoint concept lattices. Mathematics 10(7), 1020 (2022)","journal-title":"Mathematics"},{"issue":"1\u20132","key":"5_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1\u20132), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"van\u00a0der Berg, I., Domenico, A.D., Greco, G., Manoorkar, K.B., Palmigiano, A., Panettiere, M.: Non-distributive description logic (2024)","DOI":"10.1007\/978-3-031-43513-3_4"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Conradie, W., et al.: Modal reduction principles across relational semantics. Fuzzy Sets Syst. 481, 108892 (2024). https:\/\/doi.org\/10.1016\/j.fss.2024.108892, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0165011424000381","DOI":"10.1016\/j.fss.2024.108892"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/j.ins.2020.05.074","volume":"561","author":"W Conradie","year":"2021","unstructured":"Conradie, W., et al.: Rough concepts. Inf. Sci. 561, 371\u2013413 (2021)","journal-title":"Inf. Sci."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.M.: Toward an epistemic-logical theory of categorization. In: Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 251 (2017)","DOI":"10.4204\/EPTCS.251.12"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-662-52921-8_10","volume-title":"Logic, Language, Information, and Computation","author":"W Conradie","year":"2016","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.M.: Categories: how i learned to stop worrying and love two sorts. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 145\u2013164. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-52921-8_10"},{"issue":"9","key":"5_CR10","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/j.apal.2019.04.003","volume":"170","author":"W Conradie","year":"2019","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Logic 170(9), 923\u2013974 (2019)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR11","unstructured":"Conradie, W., Palmigiano, A., Robinson, C., Wijnberg, N.: Non-distributive logics: from semantics to meaning. In: Rezus, A. (ed.) Contemporary Logic and Computing, Landscapes in Logic, vol.\u00a01, pp. 38\u201386. College Publications (2020)"},{"key":"5_CR12","unstructured":"Ganter, B., Wille, R.: Applied lattice theory: Formal concept analysis. In: In General Lattice Theory, G. Gr\u00e4tzer editor, Birkh\u00e4user. Citeseer (1997)"},{"key":"5_CR13","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Cham (2012)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3632526","volume":"25","author":"G Greco","year":"2024","unstructured":"Greco, G., Jipsen, P., Liang, F., Palmigiano, A., Tzimoulis, A.: Algebraic proof theory for le-logics. ACM Trans. Comput. Log. 25(1), 1\u201337 (2024)","journal-title":"ACM Trans. Comput. Log."},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Heinsohn, J.: Probabilistic description logics. In: de Mantaras, R.L., Poole, D. (eds.) Uncertainty in Artificial Intelligence, pp. 311\u2013318. Morgan Kaufmann, San Francisco (CA) (1994). https:\/\/doi.org\/10.1016\/B978-1-55860-332-5.50044-4, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9781558603325500444","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"issue":"2","key":"5_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0888-613X(94)00015-U","volume":"12","author":"B Hollunder","year":"1995","unstructured":"Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. Int. J. Approximate Reasoning 12(2), 85\u2013109 (1995)","journal-title":"Int. J. Approximate Reasoning"},{"issue":"1","key":"5_CR17","first-page":"4","volume":"25","author":"I Horrocks","year":"2002","unstructured":"Horrocks, I., et al.: Daml+oil: a description logic for the semantic web. IEEE Data Eng. Bull. 25(1), 4\u20139 (2002)","journal-title":"IEEE Data Eng. Bull."},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Jiang, Y., Tang, Y., Wang, J., Tang, S.: Reasoning within intuitionistic fuzzy rough description logics. Inf. Sci. 179(14), 2362\u20132378 (2009). https:\/\/doi.org\/10.1016\/j.ins.2009.03.001, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020025509001133, including Special Section - Linguistic Decision Making","DOI":"10.1016\/j.ins.2009.03.001"},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: an approximate concepts approach. Inf. Sci. 179(5), 600\u2013612 (2009). https:\/\/doi.org\/10.1016\/j.ins.2008.10.021, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020025508004416, special Section - Quantum Structures: Theory and Applications","DOI":"10.1016\/j.ins.2008.10.021"},{"issue":"9","key":"5_CR20","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1016\/j.camwa.2006.03.040","volume":"53","author":"M Liu","year":"2007","unstructured":"Liu, M., Shao, M., Zhang, W., Wu, C.: Reduction method for concept lattices based on rough set theory and its application. Comput. Math. Appl. 53(9), 1390\u20131410 (2007)","journal-title":"Comput. Math. Appl."},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6), 852\u2013883 (2008). https:\/\/doi.org\/10.1016\/j.artint.2007.10.017, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370207001877","DOI":"10.1016\/j.artint.2007.10.017"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Semant. 6(4), 291\u2013308 (2008)","journal-title":"J. Web Semant."},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-16066-3_17","volume-title":"Computation Theory","author":"E Orlowska","year":"1985","unstructured":"Orlowska, E.: A logic of indiscernibility relations. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 177\u2013186. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-16066-3_17"},{"issue":"1\u20132","key":"5_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E., Pawlak, Z.: Representation of nondeterministic information. Theoret. Comput. Sci. 29(1\u20132), 27\u201339 (1984)","journal-title":"Theoret. Comput. Sci."},{"issue":"5","key":"5_CR25","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11(5), 341\u2013356 (1982)","journal-title":"Int. J. Comput. Inf. Sci."},{"issue":"4","key":"5_CR26","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/int.20470","volume":"26","author":"G Qi","year":"2011","unstructured":"Qi, G., Ji, Q., Pan, J.Z., Du, J.: Extending description logics with uncertainty reasoning in possibilistic logic. Int. J. Intell. Syst. 26(4), 353\u2013381 (2011)","journal-title":"Int. J. Intell. Syst."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Staab, S., Studer, R.: Handbook on ontologies. Springer Science & Business Media (2010)","DOI":"10.1007\/978-3-540-92673-3"},{"issue":"8","key":"5_CR28","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1016\/j.knosys.2010.07.001","volume":"23","author":"L Wei","year":"2010","unstructured":"Wei, L., Qi, J.J.: Relation between concept lattice reduction and rough set reduction. Knowl.-Based Syst. 23(8), 934\u2013938 (2010)","journal-title":"Knowl.-Based Syst."},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Yao, Y., Chen, Y.: Rough set approximations in formal concept analysis. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets V, pp. 285\u2013305. Springer, Berlin (2006)","DOI":"10.1007\/11847465_14"},{"issue":"2","key":"5_CR30","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1080\/10798587.1996.10750660","volume":"2","author":"YY Yao","year":"1996","unstructured":"Yao, Y.Y., Lin, T.Y.: Generalization of rough sets using modal logics. Intell. Autom. Soft Comput. 2(2), 103\u2013119 (1996)","journal-title":"Intell. Autom. Soft Comput."},{"key":"5_CR31","unstructured":"Yen, J., et\u00a0al.: Generalizing term subsumption languages to fuzzy logic. In: IJCAI vol.\u00a091, pp. 472\u2013477 (1991)"},{"issue":"22","key":"5_CR32","doi-asserted-by":"publisher","first-page":"4997","DOI":"10.1016\/j.ins.2007.05.037","volume":"177","author":"W Zhu","year":"2007","unstructured":"Zhu, W.: Generalized rough sets based on relations. Inf. Sci. 177(22), 4997\u20135011 (2007)","journal-title":"Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Rough Sets"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-65665-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T07:05:45Z","timestamp":1721804745000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-65665-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031656644","9783031656651"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-65665-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"25 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IJCRS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rough Sets","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Halifax, NS","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ijcrs2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ijcrs24.cs.smu.ca","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}