HermiT: An OWL 2 Reasoner.
Birte GlimmIan HorrocksBoris MotikGiorgos StoilosZhe WangPublished in: J. Autom. Reason. (2014)
Keyphrases
- knowledge base
- reasoning services
- semantic web
- rdf knowledge bases
- knowledge representation
- query answering
- owl ontologies
- consistency checking
- ontology languages
- description logics
- semantic web technologies
- data sets
- temporal reasoning
- data complexity
- neural network
- object oriented programming language
- web ontology language
- machine learning
- rule engine
- rule language
- owl dl
- case study
- learning algorithm
- logic programming
- decision trees
- query language
- expert systems
- natural language