{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:18:53Z","timestamp":1725851933154},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319316758"},{"type":"electronic","value":"9783319316765"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31676-5_18","type":"book-chapter","created":{"date-parts":[[2016,3,19]],"date-time":"2016-03-19T03:58:58Z","timestamp":1458359938000},"page":"255-270","source":"Crossref","is-referenced-by-count":1,"title":["PROSE: A Plugin-Based Paraconsistent OWL\u00a0Reasoner"],"prefix":"10.1007","author":[{"given":"Wenrui","family":"Wu","sequence":"first","affiliation":[]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Xiaowang","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Guozheng","family":"Rao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,20]]},"reference":[{"volume-title":"Theory, Implementation, and Applications","year":"2003","key":"18_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"18_CR2","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logics","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logics, pp. 7\u201373. Reidel Publishing Company, Boston (1977)"},{"key":"18_CR3","first-page":"29","volume":"5","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Sci. Am. 5, 29\u201337 (2001)","journal-title":"Sci. Am."},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)"},{"key":"18_CR5","first-page":"1","volume":"1","author":"K Dentler","year":"2011","unstructured":"Dentler, K., Cornet, R., Annette, T.T., De Keizer, N.: Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semant. Web 1, 1\u20135 (2011)","journal-title":"Semant. Web"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Fang, J., Huang, Z., van Harmelen, F.: Contrastive reasoning with inconsistent ontologies. In: Proceedings of WI 2011, IEEE CS, pp. 191\u2013194 (2011)","DOI":"10.1109\/WI-IAT.2011.59"},{"key":"18_CR7","unstructured":"Flouris, G., Huang, Z., Pa,n J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proceedings of AAAI 2006. AAAI Press (2006)"},{"key":"18_CR8","first-page":"175ff.","volume-title":"Design Patterns","author":"E Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design Patterns, p. 175ff. Addison-Wesley Publishing Co, Inc., Reading (1995)"},{"issue":"1&2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1080\/08839510903448692","volume":"24","author":"SA G\u00f3mez","year":"2010","unstructured":"G\u00f3mez, S.A., Ches\u00f1evar, C.I., Simari, G.R.: Reasoning with inconsistent ontologies through argumentation. Appl. Artif. Intell. 24(1&2), 102\u2013148 (2010)","journal-title":"Appl. Artif. Intell."},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11574620_27","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P Haase","year":"2005","unstructured":"Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 353\u2013367. Springer, Heidelberg (2005)"},{"issue":"1","key":"18_CR11","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a java API for OWL ontologies. Semant. Web 2(1), 11\u201321 (2011)","journal-title":"Semant. Web"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-04388-8_11","volume-title":"Scalable Uncertainty Management","author":"M Horridge","year":"2009","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"18_CR13","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of IJCAI 2005, Professional Book Center, pp. 454\u2013459 (2005)"},{"issue":"5","key":"18_CR14","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A Hunter","year":"2000","unstructured":"Hunter, A.: Reasoning with contradictory information using quasi-classical logic. J. Log. Comput. 10(5), 677\u2013703 (2000)","journal-title":"J. Log. Comput."},{"key":"18_CR15","unstructured":"Kamide, N.: Paraconsistent description logics revisited. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), CEUR Workshop Proceedings, vol. 573 (2010)"},{"key":"18_CR16","unstructured":"Lang, C.: Four-valued logics for paraconsistent reasoning. Diplomarbeit von Andreas Christian Lang, Technische Universit\u00e4t Dresden (2006)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-23580-1_12","volume-title":"Web Reasoning and Rule Systems","author":"D Lembo","year":"2011","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Query rewriting for inconsistent DL-Lite ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 155\u2013169. Springer, Heidelberg (2011)"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-72667-8_29","volume-title":"The Semantic Web: Research and Applications","author":"Y Ma","year":"2007","unstructured":"Ma, Y., Hitzler, P., Lin, Z.Q.: Algorithms for paraconsistent reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 399\u2013413. Springer, Heidelberg (2007)"},{"issue":"4","key":"18_CR19","doi-asserted-by":"crossref","first-page":"395","DOI":"10.3233\/SW-2012-0066","volume":"4","author":"F Maier","year":"2013","unstructured":"Maier, F., Ma, Y., Hitzler, P.: Paraconsistent OWL and related logics. Semant. Web 4(4), 395\u2013427 (2013)","journal-title":"Semant. Web"},{"issue":"3&4","key":"18_CR20","first-page":"295","volume":"11","author":"P Marquis","year":"2001","unstructured":"Marquis, P., Porquet, N.: Computational aspects of quasi-classical entailment. J. Appl. Non-Classical Logics 11(3&4), 295\u2013312 (2001)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"18_CR21","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C Recommendation (2009). http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"18_CR22","first-page":"19","volume":"72","author":"B Motik","year":"2002","unstructured":"Motik, B.: KAON2 - scalable reasoning over ontologies with large data sets. ERCIM New. 72, 19\u201320 (2002)","journal-title":"ERCIM New."},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-13480-7_17","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"LA Nguyen","year":"2010","unstructured":"Nguyen, L.A., Sza\u0142as, A.: Three-valued paraconsistent reasoning for semantic web agents. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010, Part I. LNCS, vol. 6070, pp. 152\u2013162. Springer, Heidelberg (2010)"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.ijar.2015.04.007","volume":"61","author":"K Mu","year":"2015","unstructured":"Mu, K.: Responsibility for inconsistency. Int. J. Approx. Reasoning 61, 43\u201360 (2015)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"3","key":"18_CR25","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.jal.2007.06.001","volume":"6","author":"SP Odintsov","year":"2008","unstructured":"Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. part II: A tableau algorithm for CACL $$^{\\text{ c }}$$ . J. Appl. Logic 6(3), 343\u2013360 (2008)","journal-title":"J. Appl. Logic"},{"key":"18_CR26","unstructured":"Owl, A.P.I.: A Java API for working with OWL 2 ontologies. http:\/\/owlapi.sourceforge.net\/"},{"key":"18_CR27","unstructured":"ParOWL: Paraconsistent reasoner with OWL. http:\/\/neon-toolkit.org\/wiki\/1.x\/ParOWL"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proceedings of WWW 2005, pp. 633\u2013640. ACM (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"18_CR29","unstructured":"Prot\u00e9g\u00e9: The prot\u00e9g\u00e9 ontology editor and knowledge acquisition system. Website http:\/\/protege.stanford.edu\/"},{"key":"18_CR30","unstructured":"Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proceedings of IJCAI 2009, pp. 891\u2013897. ACM (2009)"},{"issue":"1&2","key":"18_CR31","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10462-007-9044-3","volume":"26","author":"G Qi","year":"2006","unstructured":"Qi, G., Liu, W., Bell, D.A.: A revision-based approach to handling inconsistency in description logics. Artif. Intell. Rev. 26(1&2), 115\u2013128 (2006)","journal-title":"Artif. Intell. Rev."},{"key":"18_CR32","volume-title":"The logic of relevance and necessity","author":"A Ross Anderson","year":"1976","unstructured":"Ross Anderson, A., Belnap, N.: The logic of relevance and necessity, vol. 1. Princeton University Press, Princeton (1976)"},{"key":"18_CR33","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003, Morgan Kaufmann, pp. 355\u2013362 (2003)"},{"key":"18_CR34","unstructured":"Shearer, R., Motik, B., Horrocks, I.: A highly-efficient OWL reasoner. In: OWLED 2008, vol. 432 of CEUR Workshop Proceedings (2008)"},{"issue":"2","key":"18_CR35","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Sem. 5(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"key":"18_CR36","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. 1227, pp. 343\u2013357. Springer, Heidelberg (1997)"},{"key":"18_CR37","unstructured":"TONES: Ontology repository. University of Manchester (2008). http:\/\/owl.cs.manchester.ac.uk\/repository\/"},{"key":"18_CR38","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"issue":"3","key":"18_CR39","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10844-012-0230-7","volume":"40","author":"X Zhang","year":"2013","unstructured":"Zhang, X., Lin, Z.: An argumentation framework for description logic ontology reasoning and management. J. Intell. Inf. Syst. 40(3), 375\u2013403 (2013)","journal-title":"J. Intell. Inf. Syst."},{"issue":"3&4","key":"18_CR40","first-page":"291","volume":"18","author":"X Zhang","year":"2012","unstructured":"Zhang, X., Lin, Z.: Quasi-classical description logic. Multiple-Valued Logic Soft. Comput. 18(3&4), 291\u2013327 (2012)","journal-title":"Multiple-Valued Logic Soft. Comput."},{"key":"18_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-11829-6_20","volume-title":"Foundations of Information and Knowledge Systems","author":"X Zhang","year":"2010","unstructured":"Zhang, X., Lin, Z., Wang, K.: Towards a paradoxical description logic for the semantic web. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 306\u2013325. Springer, Heidelberg (2010)"},{"issue":"2","key":"18_CR42","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/j.ijar.2013.09.005","volume":"55","author":"X Zhang","year":"2014","unstructured":"Zhang, X., Xiao, G., Lin, Z., Van den Bussche, J.: Inconsistency-tolerant reasoning with OWL DL. Int. J. Approx. Reasoning 55(2), 557\u2013584 (2014)","journal-title":"Int. J. Approx. Reasoning"},{"key":"18_CR43","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-25159-2","volume-title":"Knowledge Science, Engineering and Management","author":"X Zhang","year":"2015","unstructured":"Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G.: A distance-based paraconsistent semantics for DL-Lite. In: Zhang, S., Wirsing, M., Zhang, Z. (eds.) KSEM 2015. LNCS (LNAI), vol. 9403, pp. 1\u201313. Springer, Heidelberg (2015)"},{"key":"18_CR44","unstructured":"Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G., Feng, Z.: A distance-based framework for inconsistency-tolerant reasoning, inconsistency measurement in DL-Lite. Technical report: TR20150928 (2015)"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31676-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T07:49:17Z","timestamp":1600328957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31676-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319316758","9783319316765"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31676-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}