From: Boley, Harold ([email protected])
Date: 09/27/04
I again updated the FOL RuleML document, dealing with two Issues from the last JC telecon and one Issue from today's RuleML telecon: http://www.ruleml.org/fol/ This document describes First-Order-Logic RuleML (FOL RuleML), which is planned to be the FOL sublanguage of RuleML 0.9, the rule component of SWRL FOL, and an FOL content language for SWSI. FOL RuleML is based on a modular combination of two syntactically characterized sublanguages: (1) Quantifier RuleML extends RuleML 0.87 by explicit quantifiers. (2) Disjunctive RuleML extends RuleML 0.87 by head disjunctions. Connectives for equivalence and negation are then modularly added for defining FOL RuleML. Its DTD is available for validation tests. -- Harold
This archive was generated by hypermail 2.1.4 : 09/27/04 EST