HermiT: A Highly-Efficient OWL Reasoner.
Robert D. C. ShearerBoris MotikIan HorrocksPublished in: OWLED (2008)
Keyphrases
- highly efficient
- knowledge base
- reasoning services
- semantic web
- query answering
- low cost
- consistency checking
- ontology languages
- knowledge representation
- owl ontologies
- description logics
- low complexity
- semantic web technologies
- multithreading
- low latency
- gray code
- dynamic programming
- sat solvers
- temporal reasoning
- high classification accuracy
- rule language
- video sequences