PROSE: A Plugin-Based Paraconsistent OWL Reasoner.
Wenrui WuZhiyong FengXiaowang ZhangXin WangGuozheng RaoPublished 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