RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core.

Published in: RuleML (2009)

Keyphrases

interchange format
semantic web
file formats
query language
expressive power
logic programming
deductive databases
query answering
transitive closure
datalog programs
website
knowledge base
real time
integrity constraints
complex objects
genetic algorithm
neural network