PROSE: A Plugin-Based Paraconsistent OWL Reasoner.

Wenrui Wu Zhiyong Feng Xiaowang Zhang Xin Wang Guozheng Rao

Published in: JIST (2015)

Keyphrases

owl ontologies
knowledge base
logic programming
reasoning services
possibilistic logic
description logics
ontology languages

knowledge representation
semantic web
query answering
production rules
consistency checking
inconsistent knowledge
domain ontology

inference rules
web ontology language
semantic web technologies
rdf knowledge bases
computer programs
meta reasoning

database
database schema
semantic annotation
extended entity relationship
domain specific
machine learning