{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T20:25:48Z","timestamp":1770582348284,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642135286","type":"print"},{"value":"9783642135293","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13529-3_75","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T19:01:53Z","timestamp":1277319713000},"page":"710-720","source":"Crossref","is-referenced-by-count":4,"title":["Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"75_CR1","volume-title":"Description Logic Handbook","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"75_CR2","unstructured":"B\u00e9ziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.): Handbook of Paraconsistency. Logic and cognitive systems, vol.\u00a09. College Publications (2007)"},{"key":"75_CR3","first-page":"411","volume-title":"Proc. of ICSE 2001","author":"S.M. Easterbrook","year":"2001","unstructured":"Easterbrook, S.M., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proc. of ICSE 2001, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"75_CR4","first-page":"57","volume-title":"Proc. of KR 2006","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Proc. of KR 2006, pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"issue":"5","key":"75_CR5","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1016\/j.ins.2008.10.021","volume":"179","author":"Y. Jiang","year":"2009","unstructured":"Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: An approximate concepts approach. Inf. Sci.\u00a0179(5), 600\u2013612 (2009)","journal-title":"Inf. Sci."},{"key":"75_CR6","unstructured":"Klein, M.C.A., Mika, P., Schlobach, S.: Rough description logics for modeling uncertainty in instance unification. In: Proc. of URSW 2007. CEUR Workshop Proc., vol.\u00a0327 (2007)"},{"key":"75_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-05082-4_14","volume-title":"Proc. of Web Reasoning and Rule Systems","author":"Y. Ma","year":"2009","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Polleres, A. (ed.) RR 2009. LNCS, vol.\u00a05837, pp. 197\u2013211. Springer, Heidelberg (2009)"},{"key":"75_CR8","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc. of Description Logics (2008)"},{"key":"75_CR9","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/243199.243267","volume-title":"Proc. of SIGIR 1996","author":"C. Meghini","year":"1996","unstructured":"Meghini, C., Straccia, U.: A relevance terminological logic for information retrieval. In: Proc. of SIGIR 1996, pp. 197\u2013205. ACM, New York (1996)"},{"key":"75_CR10","unstructured":"Nguyen, L.A.: The long version of the current paper, http:\/\/www.mimuw.edu.pl\/~nguyen\/pSROIQ-long.pdf"},{"key":"75_CR11","doi-asserted-by":"crossref","unstructured":"Nguyen, L.A., Sza\u0142as, A.: Three-valued paraconsistent reasoning for Semantic Web agents. Accepted for KES-AMSTA 2010 (2010)","DOI":"10.1007\/978-3-642-13480-7_17"},{"issue":"3","key":"75_CR12","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.jal.2007.06.001","volume":"6","author":"S.P. Odintsov","year":"2008","unstructured":"Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. part II: A tableau algorithm for CACL $^{\\mbox{c}}$ . Journal of Applied Logic\u00a06(3), 343\u2013360 (2008)","journal-title":"Journal of Applied Logic"},{"key":"75_CR13","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. Journal of Computer and Information Science\u00a011, 341\u2013356 (1982)","journal-title":"Int. Journal of Computer and Information Science"},{"key":"75_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)"},{"issue":"1","key":"75_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.ins.2006.06.007","volume":"177","author":"Z. Pawlak","year":"2007","unstructured":"Pawlak, Z., Skowron, A.: Rough sets and boolean reasoning. Inf. Sci.\u00a0177(1), 41\u201373 (2007)","journal-title":"Inf. Sci."},{"issue":"1","key":"75_CR16","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.ins.2006.06.006","volume":"177","author":"Z. Pawlak","year":"2007","unstructured":"Pawlak, Z., Skowron, A.: Rough sets: Some extensions. Inf. Sci.\u00a0177(1), 28\u201340 (2007)","journal-title":"Inf. Sci."},{"issue":"1","key":"75_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.ins.2006.06.003","volume":"177","author":"Z. Pawlak","year":"2007","unstructured":"Pawlak, Z., Skowron, A.: Rudiments of rough sets. Inf. Sci.\u00a0177(1), 3\u201327 (2007)","journal-title":"Inf. Sci."},{"key":"75_CR18","first-page":"557","volume-title":"Proc. of IJCAI 2007","author":"S. Schlobach","year":"2007","unstructured":"Schlobach, S., Klein, M.C.A., Peelen, L.: Description logics with approximate definitions - precise modeling of vague concepts. In: Proc. of IJCAI 2007, pp. 557\u2013562. AAAI Press, Menlo Park (2007)"},{"key":"75_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BFb0027425","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"U. Straccia","year":"1997","unstructured":"Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.\u00a01227, pp. 343\u2013357. Springer, Heidelberg (1997)"},{"issue":"4","key":"75_CR20","doi-asserted-by":"crossref","first-page":"405","DOI":"10.3233\/FI-2009-209","volume":"97","author":"A. Vit\u00f3ria","year":"2009","unstructured":"Vit\u00f3ria, A., Maluszy\u0144ski, J., Sza\u0142as, A.: Modeling and reasoning in paraconsistent rough sets. Fundamenta Informaticae\u00a097(4), 405\u2013438 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"75_CR21","unstructured":"Zhang, X., Qi, G., Ma, Y., Lin, Z.: Quasi-classical semantics for expressive description logics. In: Proc. of Description Logics (2009)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13529-3_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:39:34Z","timestamp":1606185574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13529-3_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135286","9783642135293"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13529-3_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}