{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:21:10Z","timestamp":1781104870026,"version":"3.54.1"},"reference-count":35,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,1,1]]},"abstract":"<p>The study of paraconsistent reasoning with ontologies is especially important for the Semantic Web since knowledge is not always perfect within it. However, classical OWL reasoners cannot support reasoning with inconsistent ontologies. In this article, the authors present a plugin-based framework called prose to provide rich paraconsistent reasoning services for OWL ontologies, whose architecture contains the three following parts: a classical OWL reasoner, a multi-valued transformer, and an OWL API connecting with them. Within the proposed framework prose, they implement different multi-valued paraconsistent reasoning in the OWL. Moreover, they select three popular classical OWL reasoners and two typical kinds of reasoning services for users. As the authors excepted, prose does exactly enable current classical OWL reasoners to tolerate inconsistency in a simple and convenient way. Finally, they evaluate the three reasoners in a united framework (prose) and, as a result, those results can amend the analysis of the three reasoners on inconsistent ontologies.<\/p>","DOI":"10.4018\/ijswis.2018010105","type":"journal-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T12:50:41Z","timestamp":1512046241000},"page":"121-139","source":"Crossref","is-referenced-by-count":0,"title":["PROSE"],"prefix":"10.4018","volume":"14","author":[{"given":"Xiaowang","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[{"name":"School of Computer Software, Tianjin University, Tianjin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenrui","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guozheng","family":"Rao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJSWIS.2018010105-0","doi-asserted-by":"publisher","DOI":"10.1080\/08839510903448692"},{"key":"IJSWIS.2018010105-1","author":"F.Baader","year":"2003","journal-title":"The description logic handbook: Theory, implementation, and applications"},{"key":"IJSWIS.2018010105-2","doi-asserted-by":"crossref","unstructured":"Belnap, N. D. (1977). A useful four-valued logic. In Modern uses of multiple-valued logics (pp. 7\u201373).","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"IJSWIS.2018010105-3","doi-asserted-by":"crossref","unstructured":"Berners-Lee T., Hendler J., & Lassila O. (2001). The semantic web. Scientific American, May 17, 29-37.","DOI":"10.1038\/scientificamerican0501-34"},{"key":"IJSWIS.2018010105-4","doi-asserted-by":"publisher","DOI":"10.1007\/b104925"},{"key":"IJSWIS.2018010105-5","doi-asserted-by":"publisher","DOI":"10.4018\/IJSWIS.2015010103"},{"issue":"2","key":"IJSWIS.2018010105-6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SW-2011-0034","article-title":"Comparison of reasoners for large ontologies in the OWL 2 EL profile.","volume":"2","author":"K.Dentler","year":"2011","journal-title":"Semantic Web"},{"key":"IJSWIS.2018010105-7","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-012-0478-9"},{"key":"IJSWIS.2018010105-8","first-page":"1295","article-title":"Inconsistencies, negations and changes in ontologies.","volume":"2","author":"G.Flouris","year":"2006","journal-title":"Proceedings of AAAI"},{"key":"IJSWIS.2018010105-9","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"issue":"1","key":"IJSWIS.2018010105-10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","article-title":"The OWL API: A JAVA API for OWL ontologies.","volume":"2","author":"M.Horridge","year":"2011","journal-title":"Semantic Web"},{"key":"IJSWIS.2018010105-11","first-page":"124","article-title":"Explaining Inconsistencies in OWL Ontologies.","author":"M.Horridge","year":"2009","journal-title":"Proceedings of SUM 2009"},{"key":"IJSWIS.2018010105-12","first-page":"454","article-title":"Reasoning with inconsistent ontologies.","author":"Z.Huang","year":"2005","journal-title":"Proceedings of IJCAI 2005"},{"key":"IJSWIS.2018010105-13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.5.677"},{"key":"IJSWIS.2018010105-14","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2014.07.023"},{"key":"IJSWIS.2018010105-15","article-title":"Paraconsistent description logics revisited.","author":"N.Kamide","year":"2010","journal-title":"Proceedings of DL 2010."},{"key":"IJSWIS.2018010105-16","author":"C.Lang","year":"2006","journal-title":"Four-valued logics for paraconsistent reasoning. Diplomarbeit von Andreas Christian Lang"},{"key":"IJSWIS.2018010105-17","first-page":"189","article-title":"Consistent knowledge discovery from evolving ontologies.","author":"F.Lecue","year":"2015","journal-title":"Proceedings of AAAI 2015"},{"issue":"4","key":"IJSWIS.2018010105-18","doi-asserted-by":"crossref","first-page":"395","DOI":"10.3233\/SW-2012-0066","article-title":"Paraconsistent OWL and related logics.","volume":"4","author":"F.Maier","year":"2013","journal-title":"Semantic Web"},{"issue":"3&4","key":"IJSWIS.2018010105-19","first-page":"295","article-title":"Computational aspects of quasi-classical entailment.","volume":"11","author":"P.Marquis","year":"2001","journal-title":"Applied Non-Classical Logics"},{"key":"IJSWIS.2018010105-20","unstructured":"McGuinness, D. L., & van Harmelen, F. (2009). OWL web ontology language overview. Retrieved from http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"IJSWIS.2018010105-21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13480-7_17"},{"key":"IJSWIS.2018010105-22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2007.06.001"},{"key":"IJSWIS.2018010105-23","doi-asserted-by":"publisher","DOI":"10.4018\/ijswis.2014100101"},{"key":"IJSWIS.2018010105-24","unstructured":"ParOWL. (n.d.). Paraconsistent reasoner with OWL. Retrieved from http:\/\/neon-toolkit. org\/wiki\/1.x\/ParOWL"},{"key":"IJSWIS.2018010105-25","unstructured":"Prot\u2019eg\u2019e. (n.d.). The prot\u2019eg\u2019e ontology editor and knowledge acquisition system. Retrieved from http:\/\/protege.stanford.edu\/"},{"key":"IJSWIS.2018010105-26","first-page":"891","article-title":"Model-based revision operators for Terminologies in Description Logics.","author":"G.Qi","year":"2009","journal-title":"Proceedings of IJCAI 2009"},{"key":"IJSWIS.2018010105-27","article-title":"HermiT: A highly-efficient OWL reasoner.","author":"R.Shearer","year":"2008","journal-title":"Proceedings of OWLED 2008"},{"key":"IJSWIS.2018010105-28","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"issue":"1","key":"IJSWIS.2018010105-29","article-title":"Reasoning within fuzzy description logics.","volume":"14","author":"U.Straccia","year":"2011","journal-title":"Journal of Artificial Intelligence Research"},{"key":"IJSWIS.2018010105-30","author":"D.Tsarkov","year":"2006","journal-title":"FaCT++ description logic reasoner: System description. Automated reasoning"},{"key":"IJSWIS.2018010105-31","doi-asserted-by":"crossref","unstructured":"Wu, W., Feng, Z., Zhang, X., Wang, X., & Rao, G. (2015). PROSE: A plugin-based paraconsistent OWL reasoner. In Proceeding of JIST 2015, LNCS (Vol. 9544, pp. 255-270). Springer.","DOI":"10.1007\/978-3-319-31676-5_18"},{"key":"IJSWIS.2018010105-32","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-012-0230-7"},{"key":"IJSWIS.2018010105-33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11829-6_20"},{"key":"IJSWIS.2018010105-34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.09.005"}],"container-title":["International Journal on Semantic Web and Information Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=193931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T17:52:09Z","timestamp":1651859529000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJSWIS.2018010105"}},"subtitle":["A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web"],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"URL":"https:\/\/doi.org\/10.4018\/ijswis.2018010105","relation":{},"ISSN":["1552-6283","1552-6291"],"issn-type":[{"value":"1552-6283","type":"print"},{"value":"1552-6291","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}