RE: FOL RuleML Updated

From: Boley, Harold (Harold.Boley@nrc-cnrc.gc.ca)
Date: 09/27/04

Next message: Mike Dean: "Joint Committee telecon today 28 September"

Previous message: Mike Dean: "Joint Committee telecon today 21 September"
Maybe in reply to: Boley, Harold: "FOL RuleML Updated"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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

Next message: Mike Dean: "Joint Committee telecon today 28 September"
Previous message: Mike Dean: "Joint Committee telecon today 21 September"
Maybe in reply to: Boley, Harold: "FOL RuleML Updated"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 09/27/04 EST