Christopher J. Matheus Kenneth Baclawski Mieczyslaw M. Kokar BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules. 67-74 2006 conf/ruleml/2006 RuleML http://doi.ieeecomputersociety.org/10.1109/RULEML.2006.6 db/conf/ruleml/ruleml2006.html#MatheusBK06