Accession Number:

ADA460530

Title:

BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules

Descriptive Note:

Corporate Author:

VERSATILE INFORMATION SYSTEMS INC FRAMINGHAM MA

Report Date:

2006-01-01

Pagination or Media Count:

8.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE