A Prolog library for OWL RL.

Jesús Manuel Almendros-Jiménez

Published in: LID (2011)

Keyphrases

logic programming
knowledge representation
knowledge base
expert systems
programming language
constraint logic programming
database
data sets
multiscale
search algorithm
probabilistic model
open source
theorem proving
backward chaining
abstract machine