PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners.

Gen Zou Reuben Peter-Paul Harold Boley Alexandre Riazanov

Published in: RuleML (2012)

Keyphrases

psoa ruleml
rule language
first order logic
database
knowledge base
metadata
decision trees
knowledge acquisition
semi automatic
owl dl