RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines.

Published in: ORE (2015)

Keyphrases

forward chaining
backward chaining
planning systems
defeasible logic
horn clauses
theorem proving
blocks world
reinforcement learning
artificial intelligence
knowledge base
search algorithm
petri net