[RuleML-all] Have Semantics been defined?

[Boley, Harold]

Hi Ankit Dangi,
 
RuleML is a family of platform-independent (XML-based) Web rule markup
languages, e.g. for rule interchange between different execution
environments (rule engines). The languages of RuleML reflect classes of
different rule languages such as subclasses of First Order Logic (e.g.
Datalog and Horn logic), Logic Programming classes adding Negation as
failure, e.g. Datalog with Naf, as well as F-logic/Object Oriented
classes (see http://www.ruleml.org/modularization/#Model
<http://www.ruleml.org/modularization/#Model> ). Semantics for many of
these classes were already defined before the advent of Web rules (see
http://www.amazon.ca/Foundations-Logic-Programming-John-Lloyd/dp/0387181
997
<http://www.amazon.ca/Foundations-Logic-Programming-John-Lloyd/dp/038718
1997> ). RuleML participants have begun to adopt some of these semantics
when developing semantics for OO RuleML (see
http://www.cs.unb.ca/~boley/ruleml/ruleml-rgs.pdf
<http://www.cs.unb.ca/~boley/ruleml/ruleml-rgs.pdf> ), SWSL rules (see
http://www.w3.org/Submission/SWSF-SWSL/#swsl-rules-semantics
<http://www.w3.org/Submission/SWSF-SWSL/#swsl-rules-semantics> ) and RIF
rules (see  http://www.w3.org/2005/rules/wg/wiki/Core
<http://www.w3.org/2005/rules/wg/wiki/Core> ). Regarding the semantics
for advanced rule languages, participants of the RuleML Initiative have
been working on, e.g., semantics for fuzzy rules and uncertainty,
defeasible rules and courteous logic programs, production and reaction
rules, as well as for other expressive rule features such as
modules/scopes. More work will be needed to balance the rigour of a
single semantic family with the flexibility of accommodating variant
semantics for certain RuleML languages (e.g. via 'semantic' XML
attributes) such as for both stable model semantics and well-founded
semantics for Naf LP languages.
 
Kind regards,
Harold and Adrian



________________________________

From: ruleml-all-bounces at ruleml.org
[mailto:ruleml-all-bounces at ruleml.org] On Behalf Of Ankit Dangi
Sent: Wednesday, December 12, 2007 8:50 AM
To: ruleml-all at ruleml.org
Subject: [RuleML-all] Have Semantics been defined?


Hi,

Greetings from India.

I've been working on Rule-based systems for quite sometime now. I was
interested to identify whether the RuleML initiative has, as off now,
been able to define rules with regard to certain semantics or the work
which has been done till date is merely in context to the representation
of rules, concerning it's syntax in .xsd format. Even if semantics have
been defined, then where are they? And, how can it be verified whether
the rules represented follow the semantics of the Markup language? 

Note: My concern is merely focussed with semantics. 

In anticipation of your reply,

Warm regards, 
Ankit Dangi 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.ruleml.org/pipermail/ruleml-all/attachments/20071220/7a21ed0f/attachment.htm