RE: FOL RuleML Updated

From: Boley, Harold (
Date: 09/27/04

  • Next message: Mike Dean: "Joint Committee telecon today 28 September"
    I again updated the FOL RuleML document, dealing with two Issues
    from the last JC telecon and one Issue from today's RuleML telecon:
    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