Welcome to the InfoSci Platform
PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web

PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web

Xiaowang Zhang, Zhiyong Feng, Wenrui Wu, Xin Wang, Guozheng Rao
Copyright: © 2018 |Volume: 14 |Issue: 1 |Pages: 19
ISSN: 1552-6283|EISSN: 1552-6291|EISBN13: 9781522542902|DOI: 10.4018/IJSWIS.2018010105
Cite Article Cite Article

MLA

Zhang, Xiaowang, et al. "PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web." IJSWIS vol.14, no.1 2018: pp.121-139. http://doi.org/10.4018/IJSWIS.2018010105

APA

Zhang, X., Feng, Z., Wu, W., Wang, X., & Rao, G. (2018). PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web. International Journal on Semantic Web and Information Systems (IJSWIS), 14(1), 121-139. http://doi.org/10.4018/IJSWIS.2018010105

Chicago

Zhang, Xiaowang, et al. "PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web," International Journal on Semantic Web and Information Systems (IJSWIS) 14, no.1: 121-139. http://doi.org/10.4018/IJSWIS.2018010105

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.