A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency.
Yong-Bin KangShonali KrishnaswamyYuan-Fang LiPublished in: CIKM (2014)
Keyphrases
- meta reasoning
- knowledge base
- reasoning services
- data mining
- ontology reasoning
- knowledge representation
- meta level
- rule discovery
- fully automated
- inference engine
- databases
- query answering
- owl dl
- rule language
- classification rules
- description logics
- knowledge representation systems
- computational complexity
- existentially quantified
- semantic web rule language