Optimizing Heuristics for Tableau-based OWL Reasoners.
Razieh MehriVolker HaarslevHamidreza ChinaeiPublished in: CoRR (2018)
Keyphrases
- description logics
- ontology languages
- ontology reasoning
- owl dl
- reasoning services
- semantic web
- knowledge representation
- reasoning systems
- knowledge base
- search algorithm
- owl ontologies
- heuristic search
- formal semantics
- reasoning problems
- rdf knowledge bases
- search strategies
- reasoning engine
- semi automatic
- web ontology language
- machine learning
- neural network