Return
PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web
DOI:10.4018/IJSWIS.2018010105.png)
Abstract
En 中文
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.
Keywords:
Ontology Reasoning
Paraconsistent Reasoning
Quasi-Classical Logic
Semantic Web
Journal
I
IF:
5.6
Papers:
471
Citations:
914
Organization
Cited Papers
The Conceptualisation and Measurement of DSM-5 Internet Gaming Disorder: The Development of the IGD-20 Test
PLoS ONE
IF0
The Semantic Web - A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities
SCIENTIFIC AMERICAN
IF3.1

