loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)
BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules
Athens, Georgia, USA
November 10-November 11
ISBN: 0-7695-2652-7
Christopher J. Matheus, Versatile Information Systems, USA
Ken Baclawski, Northeastern University, USA
Mieczyslaw M. Kokar, Northeastern University, USA
BaseVISor is a forward-chaining inference engine based on a Rete network optimized for the processing of RDF triples. A clause within the body and head of a rule either represents an RDF triple or invokes a procedural attachment (either built-in or user defined). This paper describes how BaseVISor has been outfitted to process RuleML and R-Entailment rules. In the case of RuleML, n-ary predicates are automatically translated into binary predicates and reified statements that encapsulate the n-ary predicates? arguments. For R-Entailment rules, the appropriate R-Entailment axioms, axiomatic triples and consistency rules are automatically imported into the engine and then used to derive all triples entailed by any set of triples asserted into the fact base. Operation of the system is illustrated using sample rule sets for both RuleML and R-Entailment and instructions are provided on how to obtain the BaseVISor beta release and process the examples.
Citation:
Christopher J. Matheus, Ken Baclawski, Mieczyslaw M. Kokar, "BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules," ruleml, pp.67-74, Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.