From boley@informatik.uni-kl.de Thu Nov 27 15:22:36 2003 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from mail.uni-kl.de (mail.uni-kl.de [131.246.137.52]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id E3F6E33A622 for ; Thu, 27 Nov 2003 15:22:35 -0400 (AST) Received: from mailgate1.uni-kl.de (mailgate1.uni-kl.de [131.246.120.5]) by mail.uni-kl.de (8.12.8/8.12.8) with ESMTP id hARJMhTe014440 for ; Thu, 27 Nov 2003 20:22:43 +0100 (MET) Received: from mailinf.rhrk.uni-kl.de (mailinf.rhrk.uni-kl.de [131.246.137.54]) by mailgate1.uni-kl.de (8.12.10/8.12.10) with ESMTP id hARJMhoq031840 for ; Thu, 27 Nov 2003 20:22:43 +0100 Received: from domino.informatik.uni-kl.de (root@domino.informatik.uni-kl.de [131.246.161.19]) by mailinf.rhrk.uni-kl.de (8.12.6/8.12.6) with ESMTP id hARJMhFq019335 for ; Thu, 27 Nov 2003 19:22:43 GMT Received: from informatik.uni-kl.de (boley@domino.informatik.uni-kl.de [131.246.161.19]) by domino.informatik.uni-kl.de (8.11.7/8.11.6) with ESMTP id hARJMgR20015; Thu, 27 Nov 2003 20:22:43 +0100 (MET) Message-ID: <3FC64F01.291B4F1F@informatik.uni-kl.de> Date: Thu, 27 Nov 2003 20:22:41 +0100 X-Mailer: Mozilla 4.77 [en] (X11; U; SunOS 5.8 sun4u) X-Accept-Language: de-DE, en MIME-Version: 1.0 To: ruleml-all@ruleml.org Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: ruleml-all@ruleml.org Subject: [RuleML-all] Welcome to RuleML, All! X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 27 Nov 2003 19:22:36 -0000 Hi All: Welcome to RuleML! This is the list for general RuleML topics, archived at http://mail.ruleml.org/pipermail/ruleml-all/ (*). Its administration page (e.g., for subscribe/unsubsribe) is http://mail.ruleml.org/mailman/listinfo/ruleml-all/. Thanks much to Danny D'Amours, NRC, for setting this up. We envisage that: * Posting RuleML-related announcements to ruleml-all@ruleml.org should relieve the News-Events section of the RuleML website (http://www.ruleml.org) from this function. * Discussing the RuleML expressiveness, semantics, syntax, and implementations in this list should benefit all of them. * Exchanging examples, use cases, and applications here should push forward the very idea of standardized Web rule interchange. Enjoy this list, Harold Boley and Said Tabet --------------------- (*) As you can see when you look at the archived version of this email (header part), a poster's email address is not shown there; looking inside (body part), the email address cited there is easy to read for humans. So, as a poster, if you want your email address to be visible in the archive, you have to mention it explicitly in a posting's body, e.g. via your .signature file. From g41y5@unb.ca Sat Dec 20 09:46:54 2003 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from mailserv.unb.ca (mailserv.unb.ca [131.202.3.23]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id DC15C33A622 for ; Sat, 20 Dec 2003 09:46:54 -0400 (AST) Received: from gollum.unb.ca (gollum.unb.ca [131.202.3.51]) by mailserv.unb.ca (8.12.10/8.12.6) with ESMTP id hBKDlQDa008643 for ; Sat, 20 Dec 2003 09:47:26 -0400 Received: from gollum.unb.ca (localhost.localdomain [127.0.0.1]) by gollum.unb.ca (8.12.8/8.12.8) with ESMTP id hBKDlRnC022903 for ; Sat, 20 Dec 2003 09:47:27 -0400 Received: (from apache@localhost) by gollum.unb.ca (8.12.8/8.12.8/Submit) id hBKDlRCG022901 for ruleml-all@ruleml.org; Sat, 20 Dec 2003 09:47:27 -0400 Received: from fctn1-0043.nb.aliant.net (fctn1-0043.nb.aliant.net [156.34.208.43]) by webmail.unb.ca (IMP) with HTTP for ; Sat, 20 Dec 2003 09:47:27 -0400 Message-ID: <1071928047.3fe452ef83d86@webmail.unb.ca> Date: Sat, 20 Dec 2003 09:47:27 -0400 To: ruleml-all@ruleml.org MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.2 X-Originating-IP: 156.34.208.43 X-MailScanner-Information: Please contact the ISP for more information X-UNB-VirusScanner: Found to be clean X-UNB-SpamDetails: not spam (whitelisted), SpamAssassin (score=-0.3, required 5, FROM_HAS_MIXED_NUMS, SPAM_PHRASE_00_01, USER_AGENT, USER_AGENT_IMP) From: ruleml-all@ruleml.org Subject: [RuleML-all] RuleML 0.85: Call for feedback X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 20 Dec 2003 13:46:55 -0000 Good day, all. The "Specification of RuleML 0.85" section (http://www.ruleml.org/inspec) of RuleML.org has recently been completed, as announced from "News-Events" on the main page. This has been the focus of my co-op work term at NRC, which officially ends today. The extensions w.r.t. to 0.8 (and/or nesting, naf/neg) are quite straight-forward and have been envisaged for a long time. This version also introduces a complete XML Schema representation, which uses a content model-based approach similar to that used for the modularization of XHTML. (This approach is used consistently for the DTD and XSD representations.) Finally, the modularization has been reworked. Details can be found at the page, of course. Please check (and try) out the new version over the holidays and use this list for any suggestions or other comments. Also get a sneak peek at the new (preliminary) RuleML logo, which is still being discussed. Thanks, and Happy Holidays! David From Harold.Boley@nrc-cnrc.gc.ca Tue Jan 20 19:26:23 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from nrcmrdbh2.imsb.nrc.ca (nrcmrdbh2.imsb.nrc.ca [132.246.56.31]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id CF08C33A625 for ; Tue, 20 Jan 2004 19:26:23 -0400 (AST) Received: by nrcmrdbh2.imsb.nrc.ca with Internet Mail Service (5.5.2656.59) id ; Tue, 20 Jan 2004 18:27:29 -0500 Message-ID: <10C94843061E094A98C02EB77CFC32870708EBDB@nrcmrdex1d.imsb.nrc.ca> To: "'protege-discussion@smi.stanford.edu'" , "'ruleml-all@ruleml.org'" Date: Tue, 20 Jan 2004 18:27:29 -0500 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2656.59) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C3DFAC.F8A09BB0" Cc: "'onut.viorel@unb.ca'" , "'Singh, Sandeep'" From: ruleml-all@ruleml.org Subject: [RuleML-all] =?iso-8859-1?q?The_TX_RuleML_Tab=3A__A_Bridge_Betwe?= =?iso-8859-1?q?en_Prot=E9g=E9-2000_and_Taxonomic_RuleML?= X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 20 Jan 2004 23:26:24 -0000 This message is in MIME format. Since your mail reader does not understand this format, some or all of this message may not be legible. ------_=_NextPart_001_01C3DFAC.F8A09BB0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi Prot=E9g=E9 and RuleML Users, Onut Iosif-Viorel and Sandeep Singh have recently implemented and documented the TX RuleML Tab (http://www.ruleml.org/txruleml/protege). This Taxonomic RuleML Tab is a plugin to Prot=E9g=E9-2000 that converts TX RuleML files to the corresponding taxonomic class hierarchies in Prot=E9g=E9 and vice versa. Before actual conversion, the Tab validates = TX RuleML files, recognizing and reporting errors such as incomplete or misplaced tags or invalid symbols. A related Prot=E9g=E9/RuleML bridge is the use of Prot=E9g=E9 = taxonomies as type hierarchies in OO RuleML (http://www.ruleml.org/indoo) via the RDFS or TX RuleML format. Finally, TX RuleML subsumption elements can also be translated to special RuleML implication rules through XSLT. Best, Harold Dr. Harold Boley, Adjunct Professor at UNB Leader, Semantic Web Laboratory Institute for Information Technology - e-Business National Research Council of Canada 46 Dineen Drive Fredericton, NB, E3B 9W4 Phone: +1-506-444-0385 Fax: +1-506-444-6114 Email: harold.boley@nrc.gc.ca URL: http://www.cs.unb.ca/~boley ------_=_NextPart_001_01C3DFAC.F8A09BB0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable The TX RuleML Tab: A Bridge Between Prot=E9g=E9-2000 and = Taxonomic RuleML

Hi Prot=E9g=E9 and RuleML = Users,

Onut Iosif-Viorel and Sandeep = Singh have recently implemented and
documented the TX RuleML Tab = (http://www.ruleml.org/txruleml/protege).
This Taxonomic RuleML Tab is a = plugin to Prot=E9g=E9-2000 that converts
TX RuleML files to the = corresponding taxonomic class hierarchies in
Prot=E9g=E9 and vice versa. = Before actual conversion, the Tab validates
TX RuleML files, recognizing = and reporting errors such as incomplete
or misplaced tags or invalid = symbols.

A related Prot=E9g=E9/RuleML = bridge is the use of Prot=E9g=E9 taxonomies as
type hierarchies in OO RuleML = (http://www.ruleml.org/indoo) via the
RDFS or TX RuleML format. = Finally, TX RuleML subsumption elements can
also be translated to special = RuleML implication rules through XSLT.

Best,
Harold

Dr. Harold Boley, Adjunct = Professor at UNB
Leader, Semantic Web = Laboratory
Institute for Information = Technology - e-Business
National Research Council of = Canada
46 Dineen Drive
Fredericton, NB, E3B 9W4
Phone: +1-506-444-0385
Fax: +1-506-444-6114
Email: = harold.boley@nrc.gc.ca
URL: http://www.cs.unb.ca/~boley

------_=_NextPart_001_01C3DFAC.F8A09BB0-- From stabet@ruleml.org Mon Feb 16 11:23:40 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from SERPENT (h000c41cc44a7.ne.client2.attbi.com [24.61.24.86]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id CE06933A622 for ; Mon, 16 Feb 2004 11:23:38 -0400 (AST) To: Date: Mon, 16 Feb 2004 10:23:00 -0500 Message-ID: <000501c3f4a0$c3aebfa0$6401a8c0@SERPENT> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0006_01C3F476.DAD8B7A0" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4024 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 From: ruleml-all@ruleml.org Subject: [RuleML-all] RuleML API: is JSR94 enough? X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 16 Feb 2004 15:23:40 -0000 This is a multi-part message in MIME format. ------=_NextPart_000_0006_01C3F476.DAD8B7A0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Hi all, The JSR94 is a Java community effort working on defining an API for rules engines in the Java world. You can find their latest specification at the following URL: http://www.jcp.org/aboutJava/communityprocess/review/jsr094/ Most vendors are developing adapters to support the API. Is anyone here using an implementation of JSR94? While JSR94 focuses on runtime execution, we are also interested in other aspects of rules manipulation such as validation, verification, modules and rulebase/ruleset querying, etc. We developed a more generic API for RuleML that will be released within the next few months. Its purpose is to enable a more generic access to rulebases on the web for querying and execution via various engines supporting RuleML. Ultimately, the API will be provided as an input to JSR94. I am curious to hear people's views on the topic. Regards, Said ------=_NextPart_000_0006_01C3F476.DAD8B7A0 Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable

Hi all,

 

The JSR94 is a Java community effort working on = defining an API for rules engines in the Java world. You can find their latest = specification at the following URL:

htt= p://www.jcp.org/aboutJava/communityprocess/review/jsr094/

 

Most vendors are developing adapters to support the = API. Is anyone here using an implementation of JSR94?

 

While JSR94 focuses on runtime execution, we are also interested in other aspects of rules manipulation such as validation, verification, modules and rulebase/ruleset querying, = etc.

 

We developed a more generic API for RuleML that will = be released within the next few months. Its purpose is to enable a more = generic access to rulebases on the web for querying and execution via various = engines supporting RuleML. Ultimately, the API will be provided as an input to = JSR94.

 

I am curious to hear people’s views on the = topic.

 

Regards,

 

Said

------=_NextPart_000_0006_01C3F476.DAD8B7A0-- From stabet@comcast.net Sun Apr 11 11:37:41 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from sccrmhc13.comcast.net (sccrmhc13.comcast.net [204.127.202.64]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id C9D6B33A622 for ; Sun, 11 Apr 2004 11:37:41 -0300 (ADT) Received: from serpent (h000c41cc44a7.ne.client2.attbi.com[24.61.24.86]) by comcast.net (sccrmhc13) with SMTP id <20040411143822016003dcq7e>; Sun, 11 Apr 2004 14:38:26 +0000 To: Date: Sun, 11 Apr 2004 10:36:00 -0400 Message-ID: <000101c41fd2$51684e40$6401a8c0@SERPENT> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4024 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Importance: Normal From: ruleml-all@ruleml.org Subject: [RuleML-all] FW: A question X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 11 Apr 2004 14:37:42 -0000 -----Original Message----- From: www-rdf-rules-request@w3.org [mailto:www-rdf-rules-request@w3.org] On Behalf Of Wagner, G.R. Sent: Friday, April 09, 2004 9:02 AM To: Zhu, Bin; www-rdf-rules@w3.org Subject: RE: A question > Who can tell me what's the difference between RuleML > and Prolog in logic model? RuleML 0.85 derivation rules correspond to extended logic programming rules, which have two kinds of negation (negation-as-failure and strong negation for representing explicit negative information. Prolog has only one negation (negation-as-failure). Also, RuleML allows an F-Logic-like attribute-value ("OO") syntax as an alternative to the normal ("positional") predicate logic syntax. Gerd Wagner http://is.tm.tue.nl/staff/gwagner From bgrosof@mit.edu Tue Apr 13 13:33:03 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from smtp02.mrf.mail.rcn.net (smtp02.mrf.mail.rcn.net [207.172.4.61]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 6365733A622 for ; Tue, 13 Apr 2004 13:33:03 -0300 (ADT) Received: from 65-78-14-209.c3-0.nwt-ubr2.sbo-nwt.ma.cable.rcn.com ([65.78.14.209] helo=bgrosof2.mit.edu) by smtp02.mrf.mail.rcn.net with esmtp (Exim 3.35 #4) id 1BDQqx-0006KZ-00 for ruleml-all@ruleml.org; Tue, 13 Apr 2004 12:33:40 -0400 Message-Id: <5.2.1.1.2.20040413123248.01a6f008@hesiod> X-Sender: bgrosof@hesiod (Unverified) X-Mailer: QUALCOMM Windows Eudora Version 5.2.1 Date: Tue, 13 Apr 2004 12:33:41 -0400 To: ruleml-all@ruleml.org Mime-Version: 1.0 Content-Type: multipart/related; type="text/plain"; boundary="=====================_-1523459439==.REL" From: ruleml-all@ruleml.org Subject: [RuleML-all] Fwd: CFP Principles and Practice of Semantic Web Reasoning at ICLP: PPSWR 04 X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 13 Apr 2004 16:33:03 -0000 --=====================_-1523459439==.REL Content-Type: text/plain; charset="iso-8859-1"; format=flowed Content-Transfer-Encoding: quoted-printable >X-Sieve: CMU Sieve 2.2 >Date: Tue, 13 Apr 2004 16:44:13 +0200 >From: Hans-Juergen Ohlbach >User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 >X-Accept-Language: en-us, en >To: Francois Fages , > Benjamin Grosof , Enrico Franconi=20 > , > Georg Gottlob , > Carsten Lutz , > Nicola Henze , Massimo Marchiori= , > Michael Schroeder , Gerd Wagner=20 > , > gzyang@cse.Buffalo.EDU, bry@pms.ifi.lmu.de, ohlbach@lmu.de >Subject: PPSWR 04 >X-Spam-Score: -4.432 >X-Spam-Flag: NO >X-Scanned-By: MIMEDefang 2.28 (www . roaringpenguin . com / mimedefang) > >Dear PPSWR04 PC member, >please notice the PPSWR 04 call for papers >and distribute it as widely as possible. >The URL is > >http://www.pms.informatik.uni-muenchen.de/PPSWR04 > > Thanks very much > H. J. Ohlbach > > > > >-- >Prof. Dr. Hans Juergen Ohlbach >Ludwig-Maximilians-Universitaet Muenchen, >Institut fuer Informatik Phone: ..49 89 2180 9300 >Oettingenstr. 67 Fax: ..49 89 2180 9311 >D-80538 Muenchen, Germany >mailto:ohlbach@pms.ifi.lmu.de > > > >a531d888.jpg PPSWR 2004 a531d9fb.jpg > >Workshop on Principles and Practice of Semantic Web Reasoning > >at The 20th International= =20 >Conference on Logic Programming (ICLP) > >Supported by the REWERSE Network of Excellence and= =20 >the CoLogNet Network of Excellence > >St Malo, France, Sept. 6-10., 2004 >http://www.pms.informatik.uni-muenchen.de/PPSWR04 > >The Semantic Web is a major endeavor aiming at enriching the existing Web= =20 >with meta-data and processing methods so as to provide web-based systems=20 >with advanced (so-called intelligent) capabilities, in particular with=20 >context-awareness and decision support. > >The advanced capabilities striven for in most Semantic Web application=20 >scenarii primarily call for reasoning. Reasoning capabilities are offered= =20 >by Semantic Web languages currently developped such as BPEL4WS, BPML,=20 >ConsVISor, DAML-S, JTP, Triple, and others. These languages, however, are= =20 >developed mostly from functionality centered (e.g. ontology reasoning or=20 >access validation) or application centered (e.g. Web service retrieval and= =20 >composition) perspectives. A perspective centered on the reasoning=20 >techniques (e.g. forward or backward chaining, tableau-like methods,=20 >constraint reasoning, etc.) complementing the above-mentioned activities=20 >appears desirable for Semantic Web systems and applications. The workshop= =20 >is devoted to such a perspective. > >Like the current Web is inherently heterogeneous in data formats and data= =20 >semantics, the Semantic Web will be inherently heterogeneous in its=20 >reasoning forms. Indeed, any single form of reasoning turns out=20 >irrealistic in the Semantic Web. E.g. ontology reasoning in general relies= =20 >on monotonic negation (for the meta-data often can be fully specified),=20 >while databases, Web databases, and Web-based information systems call for= =20 >non-monotonic reasoning (for one would not specify in a railways timetable= =20 >non-existing trains); constraint reasoning is needed in dealing with time= =20 >(for time intervals are to be dealt with), while (forward and/or backward)= =20 >chaining is the reasoning of choice in coping with database-like views=20 >(for views i.e. virtual data can be derived from actual data by operations= =20 >such as join and projections). > >The workshop on "Principle and Practice of Semantic Web Reasoning'' will=20 >be a forum for discussing various forms of reasoning that are or can be=20 >used on the Semantic Web. The workshop will address both, reasoning=20 >methods for the Semantic Web and Semantic Web applications relying upon=20 >various forms of reasoning. > >The first workshop in this= =20 >series took place in 2003 in Mumbai. > > >Topics of interest include: > > > * Rule markup languages > * Constraint reasoning on the Semantic Web > * Default reasoning on the Semantic Web > * Fuzzy reasoning on the Semantic Web > * Inconsistency-tolerant reasoning on the Semantic Web > * Reasoning and querying on the Web > * Reasoning methods for Adaptive Web systems and applications > * Reasoning methods for Web-based decision support > * Reasoning methods for policy specification and conformance > > >Important dates: > > > >Submission deadline: May 15, 2004 >Notification to authors: June 12, 2004 >Camera-ready version: June 26, 2004 >Workshop date: > > >Workshop Coordination > > > * Hans= =20 > J=FCrgen Ohlbach, (program chair)=20 >= ohlbach@informatik.uni-muenchen.= de > * Sebastian Schaffert, (proceedings chair)=20 >= schaffert@informatik.uni-muenc= hen.de=20 > > > >Programm committee: > > * Fran=E7ois Bry,=20 > University of Munich, Germany > * Fran=E7ois Fages, INRIA=20 > Rocquencourt, France > * Enrico Franconi, Free University= =20 > of Bozen-Bolzano, Italy > * Georg Gottlob,=20 > University of Vienna, Austria > * Benjamin Grosof, University of=20 > Vienna, Austria > * Carsten Lutz, Dresden University= =20 > of Technology, Germany > * Nicola Henze, University=20 > of Hannover, Germany > * Massimo Marchiori, W3C and=20 > University of Venice, Italy > * Hans= =20 > J=FCrgen Ohlbach, University of Munich, Germany > * Sebastian Schaffert, University of Munich,=20 > Germany > * Michael Schr=F6der, Dresden=20 > University of Technology, Germany > * Gerd Wagner, Eindhoven=20 > University of Technology, Netherlands > * Howard Williams,= =20 > Heriot-Watt University, Edinburgh, Scotland > * Guizhen Yang, University= =20 > at Buffalo, New York, USA > > >Proceedings > > > >a531da19.jpg > >The proceedings of PPSWR'04 will be published by Springer in the Lecture=20 >Notes in Computer Science (LNCS). For=20 >instructions on the LNCS format, see > >=20 >http://www.springer.de/comp/= lncs/authors.html. > > >Submission Guidelines: > > > >Submissions must be formatted according to LNCS rules, and submitted=20 >electronically as PDF or Postscript at the submission system at=20 >https://lehre.pms.ifi.lmu.de/ppswr04= / > >Two submission categories are accepted for the PPSWR'04: > * Full papers: 10 - 15 pages > * Short papers: 3 - 5 pages > >---------- > >Questions, comments, problems, help? Please do not hesitate to ask=20 >Hans J=FCrgen Ohlbach. ____________________________________________________________________________= ____________________ Prof. Benjamin Grosof Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules,=20 XML, Agents, Semantic Web Services MIT Sloan School of Management, Information Technology group http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof --=====================_-1523459439==.REL Content-Type: image/jpeg; name="a531d888.jpg"; x-mac-type="4A504547"; x-mac-creator="4A565752" Content-ID: <5.2.1.1.2.20040413123248.01a6f008@hesiod.0> Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="a531d888.jpg" /9j/4AAQSkZJRgABAQAAAQABAAD/2wBDAAEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEB AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQH/2wBDAQEBAQEBAQEBAQEBAQEBAQEBAQEB AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQH/wAARCAABAAEDASIA AhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQA AAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3 ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWm p6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEA AwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSEx BhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElK U1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3 uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD/AD/6 KKKAP//Z --=====================_-1523459439==.REL Content-Type: image/jpeg; name="a531d9fb.jpg"; x-mac-type="4A504547"; x-mac-creator="4A565752" Content-ID: <5.2.1.1.2.20040413123248.01a6f008@hesiod.1> Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="a531d9fb.jpg" /9j/4AAQSkZJRgABAQAAAQABAAD/2wBDAAEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEB AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQH/2wBDAQEBAQEBAQEBAQEBAQEBAQEBAQEB AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQH/wAARCAABAAEDASIA AhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQA AAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3 ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWm p6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEA AwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSEx BhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElK U1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3 uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD/AD/6 KKKAP//Z --=====================_-1523459439==.REL Content-Type: image/jpeg; name="a531da19.jpg"; x-mac-type="4A504547"; x-mac-creator="4A565752" Content-ID: <5.2.1.1.2.20040413123248.01a6f008@hesiod.2> Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="a531da19.jpg" /9j/4AAQSkZJRgABAQAAAQABAAD/2wBDAAEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEB AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQH/2wBDAQEBAQEBAQEBAQEBAQEBAQEBAQEB AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQH/wAARCAABAAEDASIA AhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQA AAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3 ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWm p6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEA AwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSEx BhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElK U1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3 uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD/AD/6 KKKAP//Z --=====================_-1523459439==.REL-- From stabet@comcast.net Mon Apr 19 09:36:01 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from sccrmhc13.comcast.net (sccrmhc13.comcast.net [204.127.202.64]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 7172233A622 for ; Mon, 19 Apr 2004 09:36:01 -0300 (ADT) Received: from 204.127.205.150 ([204.127.205.150]) by comcast.net (sccrmhc13) with SMTP id <20040419123636016003fbsne>; Mon, 19 Apr 2004 12:36:50 +0000 Received: from [12.163.140.220] by 204.127.205.150; Mon, 19 Apr 2004 12:36:35 +0000 To: ruleml-all@ruleml.org Date: Mon, 19 Apr 2004 12:36:35 +0000 Message-Id: <041920041236.16230.4083C7D30001F33D00003F662200751150FF8B9A9D9E8B@comcast.net> X-Mailer: AT&T Message Center Version 1 (Apr 12 2004) X-Authenticated-Sender: c3RhYmV0QGNvbWNhc3QubmV0 Cc: j.b.dietrich@massey.ac.nz From: ruleml-all@ruleml.org Subject: [RuleML-all] PRICAI 2004: SUBMISSION DEADLINE ExTENDED X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 19 Apr 2004 12:36:01 -0000 Hi, Sorry for cross posting. In response to many requests, we are extending the submission deadline for the PRICAI 2004 workshop on Business Rule Modelling and Markup for Intelligent Distributed Applications for 2 weeks (final deadline is April 30th 2004). The workshop URL is: http://www.pricai04.info/Workshop3.asp From aeb@aifb.uni-karlsruhe.de Wed Apr 28 14:01:49 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from aifbslox.aifb.uni-karlsruhe.de (nat-ph3-2.rz.uni-karlsruhe.de [129.13.73.109]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 811CC33A622 for ; Wed, 28 Apr 2004 14:01:49 -0300 (ADT) Received: by aifbslox.aifb.uni-karlsruhe.de (Postfix, from userid 65534) id BAB6599B0A; Wed, 28 Apr 2004 19:02:51 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by aifbslox.aifb.uni-karlsruhe.de (Postfix) with ESMTP id 22F7D9A3D4 for ; Wed, 28 Apr 2004 19:02:51 +0200 (CEST) Received: from mars (aifbantigone.aifb.uni-karlsruhe.de [172.22.131.14]) (using TLSv1 with cipher RC4-MD5 (128/128 bits)) (Client did not present a certificate) by aifbslox.aifb.uni-karlsruhe.de (Postfix) with ESMTP id 9D0F99830B for ; Wed, 28 Apr 2004 19:02:50 +0200 (CEST) To: Date: Wed, 28 Apr 2004 19:02:57 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 In-Reply-To: X-Virus-Scanned: by AMaViS snapshot-20020531 X-Spam-Checker-Version: SpamAssassin 2.61 (1.212.2.1-2003-12-09-exp) on aifbslox.aifb.uni-karlsruhe.de X-Spam-Level: X-Spam-Status: No, hits=-4.8 required=5.0 tests=AWL,BAYES_00 autolearn=ham version=2.61 From: ruleml-all@ruleml.org Subject: [RuleML-all] A Comparison of RDF Query Languages X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Apr 2004 17:01:49 -0000 Related to the recent work of the RDF Data Access Working Group [1], we have compared six proposals for RDF query languages. The report, the use case data, and the queries are available online [2]. Looking forward to hearing your feedback. Peter Haase, Andreas Eberhart, Raphael Volz, Institute AIFB, University of Karlsruhe Jeen Broekstra, Vrije Universiteit Amsterdam [1] http://www.w3.org/2001/sw/DataAccess/ [2] http://www.aifb.uni-karlsruhe.de/WBS/pha/rdf-query/ From stabet@ruleml.org Wed Apr 28 20:47:45 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from SERPENT (h000c41cc44a7.ne.client2.attbi.com [24.61.24.86]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 5AB4633A622 for ; Wed, 28 Apr 2004 20:47:45 -0300 (ADT) To: Subject: RE: [RuleML-all] A Comparison of RDF Query Languages Date: Wed, 28 Apr 2004 19:48:43 -0400 Message-ID: <000001c42d7b$59b18510$6401a8c0@SERPENT> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4024 Importance: Normal In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 From: ruleml-all@ruleml.org X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Apr 2004 23:47:45 -0000 Hi Andi, This is definitely a very interesting report. I would like to see another one comparing their models and performance using a large dataset. Thanks, -- Said > -----Original Message----- > From: ruleml-all-bounces@ruleml.org [mailto:ruleml-all-bounces@ruleml.org] > On Behalf Of ruleml-all@ruleml.org > Sent: Wednesday, April 28, 2004 1:03 PM > To: ruleml-all@ruleml.org > Subject: [RuleML-all] A Comparison of RDF Query Languages > > > Related to the recent work of the RDF Data Access Working Group > [1], we have compared six proposals for RDF query languages. The > report, the use case data, and the queries are available online [2]. > > Looking forward to hearing your feedback. > > Peter Haase, Andreas Eberhart, Raphael Volz, Institute AIFB, University of > Karlsruhe > Jeen Broekstra, Vrije Universiteit Amsterdam > > > [1] http://www.w3.org/2001/sw/DataAccess/ > [2] http://www.aifb.uni-karlsruhe.de/WBS/pha/rdf-query/ > > _______________________________________________ > RuleML-all mailing list > RuleML-all@ruleml.org > http://mail.ruleml.org/mailman/listinfo/ruleml-all From antoniou@ics.forth.gr Mon Jun 7 07:23:10 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from mailgate.ics.forth.gr (mailgate.ics.forth.gr [139.91.1.2]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with SMTP id DED9533A622 for ; Mon, 7 Jun 2004 07:23:09 -0300 (ADT) Received: from localhost (webmail.ics.forth.gr [139.91.1.4]) by mailgate.ics.forth.gr (8.12.9/ICS-FORTH/V10.1.7-GATE) with ESMTP id i57AOhfg006712 for ; Mon, 7 Jun 2004 13:24:44 +0300 (EEST) Received: from artemon.ics.forth.gr (artemon.ics.forth.gr [139.91.183.32]) by webmail.ics.forth.gr (IMP) with HTTP for ; Mon, 7 Jun 2004 13:24:43 +0300 Message-ID: <1086603883.40c4426bdbf57@webmail.ics.forth.gr> Date: Mon, 7 Jun 2004 13:24:43 +0300 To: ruleml-all@ruleml.org MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-7 User-Agent: Internet Messaging Program (IMP) 3.2.1 X-Originating-IP: 139.91.183.32 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by mailgate.ics.forth.gr id i57AOhfg006712 X-Mailman-Approved-At: Tue, 08 Jun 2004 10:23:44 -0300 From: ruleml-all@ruleml.org Subject: [RuleML-all] CFP: Workshop on Rules and Rule Markup Languages at ISWC-2004 X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 07 Jun 2004 10:23:10 -0000 **This CFP is being posted to multiple lists; we apologise if you see it multiple times.** C a l l f o r P a p e r s RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB http://2004.ruleml.org=20 a workshop to be held at the 3rd International Semantic Web Conference (ISWC 2004) http://iswc2004.semanticweb.org/ Hiroshima, Japan Monday, November 8th, 2004 DESCRIPTION =20 The Semantic Web is a major world-wide endeavour to advance the Web=20 by enriching its content with semantic meta-information that can be=20 processed by inference-enabled Web applications. Ontologies and automated= =20 reasoning are key techniques in the semantic web initiative.=20 Rules are considered to be a major issue in the further development of=20 the semantic web. On one hand, they can be used in ontology languages,=20 either in conjunction with or as an alternative to description logics.=20 And on the other hand, they will act as a means to draw inferences, to=20 express constraints, to specify policies, to react to events/changes,=20 to transform data, etc.=20 Finally, rule markup languages will allow to enrich web ontologies by=20 adding definitions of derived concepts, to publish rules on the Web,=20 to exchange rules between different systems and tools, etc.=20 The workshop builds on the success of the first workshop RuleML2002=20 (http://www.ceur-ws.org/Vol-60/) held in conjunction with ISWC2002=20 on Sardinia, Italy, and the second workshop held in conjunction with=20 ISWC2003 on Sanibel Island, USA=20 ( http://tmitwww.tm.tue.nl/staff/gwagner/RuleML-2003.html). This year's=20 workshop combines that tradition, in the sense of being the premier=20 RuleML-2004 event, with casting as wide a net as possible regarding=20 all kinds of Rules and Rule Markup Languages for the Semantic Web.=20 TOPICS OF INTEREST We encourage submissions on all topics related to rules and rule=20 lanugages for the Semantic Web. In particular, the workshop seeks papers=20 addressing syntax and semantics of rule languages, execution engines,=20 implemented systems, and applications. Specifically:=20 - language standards (RuleML, SWRL, Jess, N3, F-logic/FLORA-2, etc.)=20 - execution models, engines, and environments=20 - reaction rules for the Semantic Web=20 - event/action languages=20 - defeasible rules for the Semantic Web=20 - defeasible concept definitions in ontologies=20 - resolving conflicts in triggered action sets=20 - implemented tools and systems for rules on the Semantic Web=20 - combining rules and ontologies, integrating rules and description logic= s=20 - multiple language rules (Prolog, KIF, SQL, OCL, XML, RDF, etc.)=20 - applications based on RDF, ontologies, and rules (including e-Services,= =20 e-Learning, e-Commerce, Knowledge Management, Bioinformatics)=20 - modelling of business rules on the Web=20 - rule-based software agents and the Semantic Web=20 - automated negotiations with rule-based declarative strategies=20 - connecting rules to legacy knowledge bases=20 - integrating rule bases and distributed fact bases=20 - handling lineage and reliability of distributed information=20 - XSL transformations of rules=20 - < yourTopic ... >=20 SUBMISSION =20 We invite articles of no more than 15 pages length formated in Springer's= =20 LNCS style (www.springer.de/comp/lncs/authors.html) describing original=20 completed work, work in progress, or interesting problems or use cases.=20 Submitted papers will be fully refereed based on the originality and=20 significance of the ideas presented as well as on technical aspects.=20 It is planned that proceedings will be published by Springer in the LNCS=20 series (www.springer.de/comp/lncs/index.html). A special journal issue=20 with selected extended papers is also envisaged.=20 Submissions should be made electronically, in postscript or, preferably,=20 PDF to both antoniou@ics.forth.gr AND harold.boley@nrc.gc.ca=20 *BY 12 July 2004*.=20 IMPORTANT DATES 12 July 2004 -- Deadline for paper submissions.=20 16 August 2004 -- Notification of acceptance.=20 06 September 2004 -- Final paper due.=20 30 September 2004 Early registration deadline. 08 November 2004 -- RuleML'04. =20 WORKSHOP CO-CHAIRS =20 Grigoris Antoniou, GR=20 Harold Boley, CA=20 STEERING COMMITTEE Grigoris Antoniou, GR=20 Harold Boley, CA=20 Mike Dean, USA=20 Andreas Eberhart, DE=20 Benjamin Grosof, USA=20 Steve Ross-Talbot, UK=20 Michael Schroeder, DE=20 Bruce E. Spencer, CA=20 Said Tabet, USA=20 Gerd Wagner, NL =20 PROGRAMME COMMITTEE Grigoris Antoniou, Institute of Computer Science, FORTH, Greece=20 Nick Bassiliades, Aristotle University of Thessaloniki, Greece=20 Harold Boley, National Research Council and Univ. of New Brunswick, Canad= a=20 Francois Bry, Ludwig-Maximilians-University Munich, Germany=20 Carlos Damasio, New University of Lisbon, Portugal=20 Mike Dean, BBN Technologies / Verizon, USA=20 Andreas Eberhart, International University, Germany=20 Stefan Decker, Information Science Institute, USA=20 J=E9r=F4me Euzenat, INRIA Rh=F4ne-Alpes, Grenoble, France=20 Benjamin Grosof, MIT, USA=20 Ian Horrocks, University of Manchester, UK=20 Jan Maluszynski, Link=F6ping University, Sweden=20 Massimo Marchiori, W3C, MIT, USA and University of Venice, Italy=20 Donald Nute, University of Georgia, USA=20 Steve Ross-Talbot, Enigmatec, UK=20 Michael Schroeder, TU Dresden, Germany=20 Bruce Spencer, National Research Council and Univ. of New Brunswick, Cana= da=20 Said Tabet, Consultant, USA=20 Gerd Wagner, Techical University of Eindhoven, Netherlands=20 ------------------------------------------------- This mail sent through IMP: http://horde.org/imp/ From bhosle@cs.ucsb.edu Mon Jun 14 05:55:37 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from india.yasutech.com (unknown [61.11.48.139]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id C161733A622 for ; Mon, 14 Jun 2004 05:55:34 -0300 (ADT) Received: from bhosle (IDENT:JQRyNUxw8diDfQTtmGJUBR2sIdjPbhK5@[127.0.0.1]) by india.yasutech.com (8.11.6/8.11.6) with SMTP id i5E8wKo27382 for ; Mon, 14 Jun 2004 14:28:20 +0530 Message-ID: <002101c451ee$46a4faa0$1f09a8c0@bhosle> To: Date: Mon, 14 Jun 2004 14:32:09 +0530 MIME-Version: 1.0 Content-Type: multipart/related; boundary="----=_NextPart_000_001D_01C4521C.602D7410"; type="multipart/alternative" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1409 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 From: ruleml-all@ruleml.org Subject: [RuleML-all] Expressions in RuleML X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 14 Jun 2004 08:55:37 -0000 This is a multi-part message in MIME format. ------=_NextPart_000_001D_01C4521C.602D7410 Content-Type: multipart/alternative; boundary="----=_NextPart_001_001E_01C4521C.602D7410" ------=_NextPart_001_001E_01C4521C.602D7410 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi All: I'm new to RuleML and my search for the supported syntax for = expressions in RuleML has been almost futile so far.. Any help/pointers = in this regard would be greatly appreciated. To be precise, i'm looking for syntax for defining mathematical = expressions in-place in a rule. The expressions could possibly figure in = both - the if and the then parts of the rules. A simple example of such = a rule is: IF=20 ( a >=3D b + c*d) and ( b < c - d) THEN=20 Assign: p =3D 10*a + 5*(b + c) a, b, c, d, p are all (say, integer) variables The above simply means that if the conditions hold, then the = variable p is assigned the specified expression's value. I would be dealing with expressions more complex than the ones in = the example above, so the more generic the syntax, the better. Cheers.. Amit Humanizing Change=20 =20 Amit M Bhosle Member, Algorithms Research Group YASU = Technologies Pvt. Ltd. Hyderabad, India =20 bhosle@yasutech.com tel: +91-40-27763992 =20 =20 =20 =20 =20 Powered by Plaxo Want a signature like this?=20 =20 ------=_NextPart_001_001E_01C4521C.602D7410 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hi All:
 
    I'm new to RuleML and my search = for=20 the supported syntax for expressions in RuleML has been almost = futile so=20 far.. Any help/pointers in this regard would be greatly=20 appreciated.
 
    To be precise, i'm looking = for syntax=20 for defining mathematical expressions in-place in a rule. The = expressions=20 could possibly figure in both - the if and the=20 then parts of the rules. A simple example of such a = rule=20 is:
 
    IF =
        ( a = >=3D b +=20 c*d)
        = and ( b=20 < c - d)
 
    THEN =
        = Assign: p =3D=20 10*a + 5*(b + c)
 
    a, b, c, d, p = are all=20 (say, integer) variables
 
    The above simply means that if = the=20 conditions hold, then the variable p is assigned the = specified=20 expression's value.
    I would be dealing with = expressions more=20 complex than the ones in the example above, so the more generic the = syntax, the=20 better.
 
Cheers..
Amit
 
 
Humanizing=20 Change
Amit M Bhosle
Member, = Algorithms=20 Research Group 		YASU Technologies Pvt. = Ltd.
Hyderabad, India
bhosle@yasutech.com
tel: = +91-40-27763992=20 =
Powered by Plaxo Want a=20 signature like=20 this?

------=_NextPart_001_001E_01C4521C.602D7410-- ------=_NextPart_000_001D_01C4521C.602D7410 Content-Type: image/gif; name="yasu-logo-bw.gif" Content-Transfer-Encoding: base64 Content-ID: <001c01c451ee$46753810$1f09a8c0@bhosle> R0lGODlhNAA0ANUAAIqKitnZ2bGxsfb29m1tbeLi4tfX18XFxezs7ImJiXd3d56enmxsbHZ2dru7 u6enp8/Pz4CAgPT09Lq6up2dnc7OzpSUlLGxsZOTk4CAgLGxsevr6+Li4vX19djY2OHh4cTExJ2d ncTExKampvX19aenp4CAgGNjY2NjY5mZmf///wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACwAAAAANAA0AAAG/0CVcEgsGo/IpHLJ bDqfRk9FQ9VUPNDssVLKoL7gcKZU0T47mkZ4zUY1NB1zEs1o29cMuLzoUd//YQ1YeyoaYAwjBkIS FQmAbBp7IWAJElt1j2AhZpNfGEoGmWGbUJ0oDJZKI6KaTxNhE0QVahgbQxKYrLFMHGu2Qq9gGUQi rGAcTI5hRLlfF0RexglLIGxEbKhDocYoIEp+y0PKYRREGNwNSdVsZUIfbR9DG9zdSOdsn0Ora9ND FNz5ipC4o2hRrgYXCgrZ0MCAw4cPRfxbQ8LIujbDhgTbZeTCsyQbon3xVmSiHY4qGIhIIiFDKiQt wZQrMq5NNhUGAiKRuGTel/9+1wCNENLglwoJFxJQMKoigdOnCTAoVGHSSKYNEz4KEckgnpAKdtrh BFOk16MEDV6CDQNUhZ2MQo4R8SBq5ZAL1obcCYpikBC6Z4u8C6Pz7S0wflUMfMRUyLiu2uwoXIui It87WotMUOoVGFSnFDpTJVsEnM2Xjc0MdmPknh27RGGbienJSDCMRPCiQAnFgGneKsy2UYgLDEKI yJMbSMoGmRHTMomYFObRI/RH6Y4YYtN5my959CIdWbyGSM0vQ8XRs3xk+pfLX26O5TYTSYdmKJit QXkdEIM4Stz2xUu6fQGXCgKKAtwRNck2AS0vFSeNEx2Ak9YS7mEHYBMc5FJV3xHeicKAc090CAYG L8mCn38kQsGBCYckskgj3JjQYhYdmELPGiFsuMcsOxonFiFDgNAfIA2QROQWGKyIDQZDLpmEBxpQ 8JlSEyQm5ZZcdunll0cEAQA7 ------=_NextPart_000_001D_01C4521C.602D7410-- From Harold.Boley@nrc-cnrc.gc.ca Mon Jun 14 11:53:05 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from nrcmrdbh2.imsb.nrc.ca (nrcmrdbh2.imsb.nrc.ca [132.246.56.31]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id D1B9933A622 for ; Mon, 14 Jun 2004 11:53:04 -0300 (ADT) Received: by nrcmrdbh2.imsb.nrc.ca with Internet Mail Service (5.5.2657.72) id ; Mon, 14 Jun 2004 10:53:07 -0400 Message-ID: <10C94843061E094A98C02EB77CFC32870708F017@nrcmrdex1d.imsb.nrc.ca> To: "'ruleml-all@ruleml.org'" Subject: RE: [RuleML-all] Expressions in RuleML Date: Mon, 14 Jun 2004 10:53:04 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2657.72) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C4521F.4BF82AA4" From: ruleml-all@ruleml.org X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 14 Jun 2004 14:53:05 -0000 This message is in MIME format. Since your mail reader does not understand this format, some or all of this message may not be legible. ------_=_NextPart_001_01C4521F.4BF82AA4 Content-Type: text/plain; charset="iso-8859-1" Hi Amit, we have been approaching examples like your's from three angles (ordered from more to less easy): 1. Expressions: A generic expression syntax is available in ruleml-equalog. XML Schema: http://www.ruleml.org/xsd/0.85/equalog.xsd Example: <_head> <_opf> fac 0 1 <_head> <_opf> fac n r <_body> <_opr> greater n 0 m <_opf> - n 1 f <_opf> fac m r <_opf> * n f The above equality uses with one variable and one expression act like pure single-assignments. Besides (symmetric) equality in rules, we are also considering (directed) transformation rules. Examples: http://www.ruleml.org/exa/0.81/ 2. Built-ins: Instead of a RuleML-only set of built-ins 'greater', '*', etc., we have started a joint set in SWRL: http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/#8 3. Reaction rules: Re-assigning a new expression value (computed by transformation rules or built-ins) to a variable is a (side-)effect that can be performed by an action/effector in ECAP/SCLP rules as studied in RuleML's Reaction rules TG (http://www.ruleml.org/#Structure). Best, Harold > -----Original Message----- > From: ruleml-all-bounces@ruleml.org > [mailto:ruleml-all-bounces@ruleml.org] On Behalf Of ruleml-all@ruleml.org > Sent: June 14, 2004 6:02 AM > To: ruleml-all@ruleml.org > Subject: [RuleML-all] Expressions in RuleML > Hi All: I'm new to RuleML and my search for the supported syntax for expressions in RuleML has been almost futile so far.. Any help/pointers in this regard would be greatly appreciated. To be precise, i'm looking for syntax for defining mathematical expressions in-place in a rule. The expressions could possibly figure in both - the if and the then parts of the rules. A simple example of such a rule is: IF ( a >= b + c*d) and ( b < c - d) THEN Assign: p = 10*a + 5*(b + c) a, b, c, d, p are all (say, integer) variables The above simply means that if the conditions hold, then the variable p is assigned the specified expression's value. I would be dealing with expressions more complex than the ones in the example above, so the more generic the syntax, the better. Cheers.. Amit ------_=_NextPart_001_01C4521F.4BF82AA4 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable RE: [RuleML-all] Expressions in RuleML

Hi Amit,

we have been approaching = examples like your's from three angles (ordered from more to less = easy):


1. Expressions:

A generic expression syntax = is available in ruleml-equalog.

XML Schema: http://www.ruleml.org/xsd/0.85/equalog.xsd

Example:

<rulebase>
<!-- a flattened = factorial definition -->

<fact>
  <_head>
    = <eq>
      <nano>
        <_opf>
          = <fun>fac</fun>
        </_opf>
        = <ind>0</ind>
      </nano>
      <ind>1</ind>
    = </eq>
  = </_head>
</fact>

<imp>
  <_head>
    = <eq>
      <nano>
        <_opf>
          = <fun>fac</fun>
        </_opf>
        = <var>n</var>
      </nano>
      <var>r</var>
    = </eq>
  = </_head>
  <_body>
    = <and>
      <atom>
        <_opr>
          = <rel>greater</rel>
        </_opr>
        = <var>n</var>
        = <ind>0</ind>
      </atom>
      <eq>
        = <var>m</var>
        <nano>
          = <_opf>
           = ; <fun>-</fun>
          = </_opf>
          = <var>n</var>
          = <ind>1</ind>
        </nano>
      </eq>
      <eq>
        = <var>f</var>
        <nano>
          = <_opf>
           = ; <fun>fac</fun>
          = </_opf>
          = <var>m</var>
        </nano>
      </eq>
      <eq>
        = <var>r</var>
        <nano>
          = <_opf>
           = ; <fun>*</fun>
          = </_opf>
          = <var>n</var>
          = <var>f</var>
        </nano>
      </eq>
    = </and>
  = </_body>
</imp>

</rulebase>

The above equality uses with = one variable and one expression act like pure = single-assignments.

Besides (symmetric) equality = in rules, we are also considering (directed) transformation = rules.
Examples: http://www.ruleml.org/exa/0.81/


2. Built-ins:

Instead of a RuleML-only set = of built-ins 'greater', '*', etc., we have started a joint set in  = SWRL:
http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/#= 8


3. Reaction rules:

Re-assigning a new = expression value (computed by transformation rules or built-ins) to a = variable
is a (side-)effect that can = be performed by an action/effector in ECAP/SCLP rules as studied = in
RuleML's Reaction rules TG = (http://www.ruleml.org/#Structure).


Best,
Harold


     -----Original Message-----
    From:   ruleml-all-bounces@ruleml.org [mailto:ruleml-all-bounces@= ruleml.org]  On = Behalf Of ruleml-all@ruleml.org
    Sent:   = June 14, 2004 6:02 AM
    To:     ruleml-all@ruleml.org
    Subject:        [RuleML-all] Expressions in = RuleML

Hi All:
I'm new to RuleML and my = search for the supported syntax for expressions in RuleML has been = almost futile so far.. Any help/pointers in this regard would be = greatly appreciated.

To be precise, i'm looking = for syntax for defining mathematical expressions in-place in a rule. = The expressions could possibly figure in both - the if and the then parts of the rules. A simple example of such a rule = is:

IF=20
( a >=3D b + = c*d)
and ( b < c - = d)
THEN=20
Assign: p =3D 10*a + = 5*(b + c)
a, b, c, d, p = are all (say, = integer) variables
The above simply means that = if the conditions hold, then the variable p is assigned the specified expression's value.
I would be dealing with = expressions more complex than the ones in the example above, so the = more generic the syntax, the better.

Cheers..
Amit
 

------_=_NextPart_001_01C4521F.4BF82AA4-- From bhosle@cs.ucsb.edu Tue Jun 15 07:28:21 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from india.yasutech.com (unknown [61.11.48.139]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 4836333A622 for ; Tue, 15 Jun 2004 07:28:17 -0300 (ADT) Received: from bhosle (IDENT:v/BLf0DY4rVLLykhd8OzFmrxbcuP9FEf@[127.0.0.1]) by india.yasutech.com (8.11.6/8.11.6) with SMTP id i5FAV0T10791 for ; Tue, 15 Jun 2004 16:01:04 +0530 Message-ID: <002501c452c4$66f582d0$1f09a8c0@bhosle> To: References: <10C94843061E094A98C02EB77CFC32870708F017@nrcmrdex1d.imsb.nrc.ca> Subject: Re: [RuleML-all] Expressions in RuleML Date: Tue, 15 Jun 2004 16:04:52 +0530 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0022_01C452F2.7E27B030" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1409 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 From: ruleml-all@ruleml.org X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Jun 2004 10:28:21 -0000 This is a multi-part message in MIME format. ------=_NextPart_000_0022_01C452F2.7E27B030 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable RE: [RuleML-all] Expressions in RuleMLHi Harold: thanks a ton for the pointers. was a great help. Regards, Amit ----- Original Message -----=20 From: ruleml-all@ruleml.org=20 To: 'ruleml-all@ruleml.org'=20 Sent: Monday, June 14, 2004 8:23 PM Subject: RE: [RuleML-all] Expressions in RuleML Hi Amit,=20 we have been approaching examples like your's from three angles = (ordered from more to less easy):=20 1. Expressions:=20 A generic expression syntax is available in ruleml-equalog.=20 XML Schema: http://www.ruleml.org/xsd/0.85/equalog.xsd=20 Example:=20 =20 =20 =20 <_head>=20 =20 =20 <_opf>=20 fac=20 =20 0=20 =20 1=20 =20 =20 =20 =20 <_head>=20 =20 =20 <_opf>=20 fac=20 =20 n=20 =20 r=20 =20 =20 <_body>=20 =20 =20 <_opr>=20 greater=20 =20 n=20 0=20 =20 =20 m=20 =20 <_opf>=20 -=20 =20 n=20 1=20 =20 =20 =20 f=20 =20 <_opf>=20 fac=20 =20 m=20 =20 =20 =20 r=20 =20 <_opf>=20 *=20 =20 n=20 f=20 =20 =20 =20 =20 =20 =20 The above equality uses with one variable and one expression act like = pure single-assignments.=20 Besides (symmetric) equality in rules, we are also considering = (directed) transformation rules.=20 Examples: http://www.ruleml.org/exa/0.81/=20 2. Built-ins:=20 Instead of a RuleML-only set of built-ins 'greater', '*', etc., we = have started a joint set in SWRL:=20 http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/#8=20 3. Reaction rules:=20 Re-assigning a new expression value (computed by transformation rules = or built-ins) to a variable=20 is a (side-)effect that can be performed by an action/effector in = ECAP/SCLP rules as studied in=20 RuleML's Reaction rules TG (http://www.ruleml.org/#Structure).=20 Best,=20 Harold=20 -----Original Message-----=20 From: ruleml-all-bounces@ruleml.org = [mailto:ruleml-all-bounces@ruleml.org] On Behalf Of = ruleml-all@ruleml.org=20 Sent: June 14, 2004 6:02 AM=20 To: ruleml-all@ruleml.org=20 Subject: [RuleML-all] Expressions in RuleML=20 Hi All:=20 I'm new to RuleML and my search for the supported syntax for = expressions in RuleML has been almost futile so far.. Any help/pointers = in this regard would be greatly appreciated.=20 To be precise, i'm looking for syntax for defining mathematical = expressions in-place in a rule. The expressions could possibly figure in = both - the if and the then parts of the rules. A simple example of such = a rule is:=20 IF=20 ( a >=3D b + c*d)=20 and ( b < c - d)=20 THEN=20 Assign: p =3D 10*a + 5*(b + c)=20 a, b, c, d, p are all (say, integer) variables=20 The above simply means that if the conditions hold, then the variable = p is assigned the specified expression's value.=20 I would be dealing with expressions more complex than the ones in the = example above, so the more generic the syntax, the better.=20 Cheers..=20 Amit=20 =20 -------------------------------------------------------------------------= ----- _______________________________________________ RuleML-all mailing list RuleML-all@ruleml.org http://mail.ruleml.org/mailman/listinfo/ruleml-all ------=_NextPart_000_0022_01C452F2.7E27B030 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable RE: [RuleML-all] Expressions in RuleML
Hi Harold:
 
    thanks a ton for the pointers. = was a great=20 help.
 
Regards,
Amit
 
----- Original Message -----
From:=20 ruleml-all@ruleml.org
Sent: Monday, June 14, 2004 = 8:23 PM
Subject: RE: [RuleML-all] = Expressions in=20 RuleML

Hi Amit,

we have been approaching = examples like=20 your's from three angles (ordered from more to less easy): =


1. Expressions:

A generic expression syntax = is=20 available in ruleml-equalog.

XML Schema: http://www.ruleml.org/xsd/0.85/equalog.xsd =

Example:

<rulebase> =
<!-- a flattened factorial = definition=20 -->

<fact> =
  <_head> =
    <eq> =
     =20 <nano>
        = <_opf>=20
         =20 <fun>fac</fun>
        = </_opf>=20
       =20 <ind>0</ind>
      </nano>
     =20 <ind>1</ind>
    </eq>
  </_head>
</fact>

<imp> =
  <_head> =
    <eq> =
     =20 <nano>
        = <_opf>=20
         =20 <fun>fac</fun>
        = </_opf>=20
       =20 <var>n</var>
      </nano>
     =20 <var>r</var>
    </eq>
  </_head>
  <_body>
    <and>
      <atom>
       =20 <_opr>
         =20 <rel>greater</rel>
        = </_opr>=20
       =20 <var>n</var>
       =20 <ind>0</ind>
      </atom>
      = <eq>=20
       =20 <var>m</var>
        = <nano>=20
         =20 <_opf>
          &nbs= p;=20 <fun>-</fun>
         =20 </_opf>
         =20 <var>n</var>
         =20 <ind>1</ind>
        = </nano>=20
     =20 </eq>
      <eq>
       =20 <var>f</var>
        = <nano>=20
         =20 <_opf>
          &nbs= p;=20 <fun>fac</fun>
         =20 </_opf>
         =20 <var>m</var>
        = </nano>=20
     =20 </eq>
      <eq>
       =20 <var>r</var>
        = <nano>=20
         =20 <_opf>
          &nbs= p;=20 <fun>*</fun>
         =20 </_opf>
         =20 <var>n</var>
         =20 <var>f</var>
        = </nano>=20
     =20 </eq>
   =20 </and>
  = </_body>
</imp>

</rulebase> =

The above equality uses = with one=20 variable and one expression act like pure single-assignments. =

Besides (symmetric) = equality in rules,=20 we are also considering (directed) transformation rules. =
Examples: http://www.ruleml.org/exa/0.81/


2. Built-ins:

Instead of a RuleML-only = set of=20 built-ins 'greater', '*', etc., we have started a joint set in =20 SWRL:
http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/#8=20


3. Reaction rules: =

Re-assigning a new = expression value=20 (computed by transformation rules or built-ins) to a variable =
is a (side-)effect that can be = performed by an=20 action/effector in ECAP/SCLP rules as studied in
RuleML's Reaction rules TG (http://www.ruleml.org/#Structure).


Best,
Harold


     -----Original=20 Message-----
    From: =  =20 ruleml-all-bounces@ruleml.org [mailto:ruleml-all-bounces@r= uleml.org] =20 On Behalf Of ruleml-all@ruleml.org
    Sent:   June 14, 2004=20 6:02 AM
    To:     ruleml-all@ruleml.org
    Subject:        = [RuleML-all] Expressions in RuleML =

Hi All:
I'm new=20 to RuleML and my search for the supported syntax for expressions in = RuleML has=20 been almost futile so far.. Any help/pointers in this regard would be = greatly=20 appreciated.

To be precise, i'm looking = for syntax=20 for defining mathematical expressions in-place in a rule. The = expressions=20 could possibly figure in both - the if and = the=20 then parts of the rules. A simple example = of such a=20 rule is:

IF =
( a >=3D b + c*d)
and=20 ( b < c - d) =
THEN
Assign: p =3D 10*a + 5*(b + = c)
a,=20 b, c, d, p are all = (say,=20 integer) variables =
The above simply means that if the = conditions=20 hold, then the variable p is = assigned the=20 specified expression's value.=20
I would be dealing = with=20 expressions more complex than the ones in the example above, so the = more=20 generic the syntax, the better.=20

Cheers..
Amit
 

_______________________________________________
RuleML-all = mailing=20 = list
RuleML-all@ruleml.org
http://mail.ruleml.org/mailman/listinfo/= ruleml-all

------=_NextPart_000_0022_01C452F2.7E27B030-- From bhosle@cs.ucsb.edu Tue Jun 15 07:38:21 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from india.yasutech.com (unknown [61.11.48.139]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 512A333A622 for ; Tue, 15 Jun 2004 07:38:18 -0300 (ADT) Received: from bhosle (IDENT:kv1tfil6pFV6H+YHFhhXPKjl1lYhzFFA@[127.0.0.1]) by india.yasutech.com (8.11.6/8.11.6) with SMTP id i5FAf5711691 for ; Tue, 15 Jun 2004 16:11:05 +0530 Message-ID: <003301c452c5$cda3b730$1f09a8c0@bhosle> To: References: <10C94843061E094A98C02EB77CFC32870708F017@nrcmrdex1d.imsb.nrc.ca> Subject: Re: [RuleML-all] Expressions in RuleML Date: Tue, 15 Jun 2004 16:14:58 +0530 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0030_01C452F3.E735CD90" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1409 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 From: ruleml-all@ruleml.org X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Jun 2004 10:38:21 -0000 This is a multi-part message in MIME format. ------=_NextPart_000_0030_01C452F3.E735CD90 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable RE: [RuleML-all] Expressions in RuleMLHi All: I was wondering if there's some sort of provision in RuleML using = which I can specify the 'type' of a var. In other words, how can I = specify that a variable 'x' is of type 'int' and 'y' is of type 'String' = or 'char'. Or, if a specified constant '10' is to be treated as a number = or just a string ! I was expecting the and tags to have an attribute which = could possibly specify the type of the contained variable / constant. It would also be a great help in reading a rulebase written in = RuleML if there's some explanation (or pointers to these) about what the = tag names mean. For instance, 'imp' stands for implication, 'rel' for = relation, etc. which seem quite logical for someone who has spent = considerable time on rules, but may be a problem for the newbies.. e.g. = i have still not been able to figure out what 'nano' and 'nanov' stand = for..=20 is there a glossary of these terms maintained somewhere ? all the help is greatly appreciated. Kind Regards, Amit ----- Original Message -----=20 From: ruleml-all@ruleml.org=20 To: 'ruleml-all@ruleml.org'=20 Sent: Monday, June 14, 2004 8:23 PM Subject: RE: [RuleML-all] Expressions in RuleML Hi Amit,=20 we have been approaching examples like your's from three angles = (ordered from more to less easy):=20 1. Expressions:=20 A generic expression syntax is available in ruleml-equalog.=20 XML Schema: http://www.ruleml.org/xsd/0.85/equalog.xsd=20 Example:=20 =20 =20 =20 <_head>=20 =20 =20 <_opf>=20 fac=20 =20 0=20 =20 1=20 =20 =20 =20 =20 <_head>=20 =20 =20 <_opf>=20 fac=20 =20 n=20 =20 r=20 =20 =20 <_body>=20 =20 =20 <_opr>=20 greater=20 =20 n=20 0=20 =20 =20 m=20 =20 <_opf>=20 -=20 =20 n=20 1=20 =20 =20 =20 f=20 =20 <_opf>=20 fac=20 =20 m=20 =20 =20 =20 r=20 =20 <_opf>=20 *=20 =20 n=20 f=20 =20 =20 =20 =20 =20 =20 The above equality uses with one variable and one expression act = like pure single-assignments.=20 Besides (symmetric) equality in rules, we are also considering = (directed) transformation rules.=20 Examples: http://www.ruleml.org/exa/0.81/=20 2. Built-ins:=20 Instead of a RuleML-only set of built-ins 'greater', '*', etc., we = have started a joint set in SWRL:=20 http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/#8=20 3. Reaction rules:=20 Re-assigning a new expression value (computed by transformation = rules or built-ins) to a variable=20 is a (side-)effect that can be performed by an action/effector in = ECAP/SCLP rules as studied in=20 RuleML's Reaction rules TG (http://www.ruleml.org/#Structure).=20 Best,=20 Harold=20 -----Original Message-----=20 From: ruleml-all-bounces@ruleml.org = [mailto:ruleml-all-bounces@ruleml.org] On Behalf Of = ruleml-all@ruleml.org=20 Sent: June 14, 2004 6:02 AM=20 To: ruleml-all@ruleml.org=20 Subject: [RuleML-all] Expressions in RuleML=20 Hi All:=20 I'm new to RuleML and my search for the supported syntax for = expressions in RuleML has been almost futile so far.. Any help/pointers = in this regard would be greatly appreciated.=20 To be precise, i'm looking for syntax for defining mathematical = expressions in-place in a rule. The expressions could possibly figure in = both - the if and the then parts of the rules. A simple example of such = a rule is:=20 IF=20 ( a >=3D b + c*d)=20 and ( b < c - d)=20 THEN=20 Assign: p =3D 10*a + 5*(b + c)=20 a, b, c, d, p are all (say, integer) variables=20 The above simply means that if the conditions hold, then the = variable p is assigned the specified expression's value.=20 I would be dealing with expressions more complex than the ones in = the example above, so the more generic the syntax, the better.=20 Cheers..=20 Amit=20 =20 -------------------------------------------------------------------------= --- _______________________________________________ RuleML-all mailing list RuleML-all@ruleml.org http://mail.ruleml.org/mailman/listinfo/ruleml-all ------=_NextPart_000_0030_01C452F3.E735CD90 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable RE: [RuleML-all] Expressions in RuleML
Hi All:
 
    I was wondering if there's some = sort of=20 provision in RuleML using which I can specify the 'type' of a var. In = other=20 words, how can I specify that a variable 'x' is of type 'int' and 'y' is = of type=20 'String' or 'char'. Or, if a specified constant '10' is to be treated as = a=20 number or just a string !
 
    I was expecting the <var> = and=20 <ind> tags to have an attribute which could possibly specify the = type of=20 the contained variable / constant.
 
    It would also be a great help in = reading a=20 rulebase written in RuleML if there's some explanation (or pointers to = these)=20 about what the tag names mean. For instance, 'imp' stands for = implication, 'rel'=20 for relation, etc. which seem quite logical for someone who has spent=20 considerable time on rules, but may be a problem for the newbies.. e.g. = i have=20 still not been able to figure out what 'nano' and 'nanov' stand for..=20
    is there a glossary of these = terms=20 maintained somewhere ?
 
all the help is greatly appreciated.
 
Kind Regards,
Amit
 
 
----- Original Message -----
From:=20 ruleml-all@ruleml.org =
Sent: Monday, June 14, 2004 = 8:23=20 PM
Subject: RE: [RuleML-all] = Expressions=20 in RuleML

Hi Amit,

we have been approaching = examples=20 like your's from three angles (ordered from more to less = easy):=20


1. Expressions: =

A generic expression = syntax is=20 available in ruleml-equalog.

XML Schema: http://www.ruleml.org/xsd/0.85/equalog.xsd =

Example:

<rulebase> =
<!-- a flattened factorial = definition=20 -->

<fact> =
  <_head> =
    = <eq>
     =20 <nano>
        = <_opf>=20
         =20 <fun>fac</fun>
        = </_opf>=20
       =20 <ind>0</ind>
      </nano> =
     =20 <ind>1</ind>
    </eq>
  </_head> =
</fact>

<imp> =
  <_head> =
    = <eq>
     =20 <nano>
        = <_opf>=20
         =20 <fun>fac</fun>
        = </_opf>=20
       =20 <var>n</var>
      </nano> =
     =20 <var>r</var>
    </eq>
  </_head> =
  <_body> =
    = <and>=20
     =20 <atom>
        = <_opr>=20
         =20 <rel>greater</rel>
        = </_opr>=20
       =20 <var>n</var>
       =20 <ind>0</ind>
      </atom> =
     =20 <eq>
       =20 <var>m</var>
        = <nano>=20
         =20 <_opf>
          &nbs= p;=20 <fun>-</fun>
         =20 </_opf>
         =20 <var>n</var>
         =20 <ind>1</ind>
        = </nano>=20
     =20 </eq>
      <eq>
       =20 <var>f</var>
        = <nano>=20
         =20 <_opf>
          &nbs= p;=20 <fun>fac</fun>
         =20 </_opf>
         =20 <var>m</var>
        = </nano>=20
     =20 </eq>
      <eq>
       =20 <var>r</var>
        = <nano>=20
         =20 <_opf>
          &nbs= p;=20 <fun>*</fun>
         =20 </_opf>
         =20 <var>n</var>
         =20 <var>f</var>
        = </nano>=20
     =20 </eq>
    </and>
  </_body> =
</imp>

</rulebase> =

The above equality uses = with one=20 variable and one expression act like pure single-assignments. =

Besides (symmetric) = equality in=20 rules, we are also considering (directed) transformation = rules.=20
Examples: http://www.ruleml.org/exa/0.81/


2. Built-ins:

Instead of a RuleML-only = set of=20 built-ins 'greater', '*', etc., we have started a joint set in  = SWRL:
http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/#8=20


3. Reaction rules: =

Re-assigning a new = expression value=20 (computed by transformation rules or built-ins) to a variable =
is a (side-)effect that = can be=20 performed by an action/effector in ECAP/SCLP rules as studied = in=20
RuleML's Reaction rules = TG (http://www.ruleml.org/#Structure). =


Best,
Harold


     -----Original=20 Message-----
    From:=20   ruleml-all-bounces@ruleml.org=20 [mailto:ruleml-all-bounces@r= uleml.org] =20 On Behalf Of ruleml-all@ruleml.org
    Sent:   June 14, 2004=20 6:02 AM
    To:     ruleml-all@ruleml.org
    Subject:        = [RuleML-all] Expressions in RuleML =

Hi All:
I'm=20 new to RuleML and my search for the supported syntax for expressions = in=20 RuleML has been almost futile so far.. Any help/pointers in this = regard=20 would be greatly appreciated.=20

To be precise, i'm = looking for syntax=20 for defining mathematical expressions in-place in a rule. The = expressions=20 could possibly figure in both - the if and = the=20 then parts of the rules. A simple = example of such a=20 rule is:

IF =
( a >=3D b + = c*d)
and ( b < c - d)=20
THEN=20
Assign: p =3D 10*a + = 5*(b +=20 c)
a, b, c, d, p are all (say, integer) = variables
The=20 above simply means that if the conditions hold, then the = variable=20 p is assigned the specified = expression's=20 value.
I would be dealing with = expressions more=20 complex than the ones in the example above, so the more generic the = syntax,=20 the better.

Cheers..
Amit
 

_______________________________________________
RuleML-all = mailing=20 = list
RuleML-all@ruleml.org
http://mail.ruleml.org/mailman/listinfo/= ruleml-all

------=_NextPart_000_0030_01C452F3.E735CD90-- From Harold.Boley@nrc-cnrc.gc.ca Tue Jun 15 20:06:40 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from nrcmrdbh2.imsb.nrc.ca (nrcmrdbh2.imsb.nrc.ca [132.246.56.31]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id C135B33A622 for ; Tue, 15 Jun 2004 20:06:40 -0300 (ADT) Received: by nrcmrdbh2.imsb.nrc.ca with Internet Mail Service (5.5.2657.72) id ; Tue, 15 Jun 2004 19:06:41 -0400 Message-ID: <10C94843061E094A98C02EB77CFC32870708F028@nrcmrdex1d.imsb.nrc.ca> To: "'ruleml-all@ruleml.org'" Subject: RE: [RuleML-all] Expressions in RuleML Date: Tue, 15 Jun 2004 19:06:40 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2657.72) Content-Type: text/plain; charset="iso-8859-1" From: ruleml-all@ruleml.org X-BeenThere: ruleml-all@ruleml.org X-Mailman-Version: 2.1.2 Precedence: list Reply-To: ruleml-all@ruleml.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Jun 2004 23:06:41 -0000 Hi Amit, the type of a 'var' or 'ind' is specified with a 'type' attribute of that element as shown in an OO RuleML paper (written before we renamed '_r' into '_slot' etc.): http://www.cs.unb.ca/~boley/ruleml/ruleml-rgs.pdf An example from there: cust Types such as Customer can be defined by the user, e.g. via an RDFS sort hierarchy. Built-in types underlie the built-in operations discussed yesterday (see XML Schema Part 2: http://www.w3.org/TR/xmlschema-2/). We plan to have a glossary of the kind you describe. The 'nano' element is like the 'atom' element except that it applies a function, not a relation, to arguments (relation applications evaluate to truth values, function applications evaluate to general term values, constructor applications instantiate to complex term values). The 'nanov' element is used for specifying call-by-value nestings of expressions (only allowed in the body). Best, Harold -----Original Message----- From: ruleml-all-bounces@ruleml.org [mailto:ruleml-all-bounces@ruleml.org]On Behalf Of ruleml-all@ruleml.org Sent: June 15, 2004 7:45 AM To: ruleml-all@ruleml.org Subject: Re: [RuleML-all] Expressions in RuleML Hi All: I was wondering if there's some sort of provision in RuleML using which I can specify the 'type' of a var. In other words, how can I specify that a variable 'x' is of type 'int' and 'y' is of type 'String' or 'char'. Or, if a specified constant '10' is to be treated as a number or just a string ! I was expecting the and tags to have an attribute which could possibly specify the type of the contained variable / constant. It would also be a great help in reading a rulebase written in RuleML if there's some explanation (or pointers to these) about what the tag names mean. For instance, 'imp' stands for implication, 'rel' for relation, etc. which seem quite logical for someone who has spent considerable time on rules, but may be a problem for the newbies.. e.g. i have still not been able to figure out what 'nano' and 'nanov' stand for.. is there a glossary of these terms maintained somewhere ? all the help is greatly appreciated. Kind Regards, Amit From g41y5@unb.ca Fri Jul 9 17:13:22 2004 Return-Path: Delivered-To: ruleml-all@ruleml.org Received: from mailserv.unb.ca (mailserv.unb.ca [131.202.3.23]) by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id F373E33A622 for ; Fri, 9 Jul 2004 17:13:21 -0300 (ADT) Received: from smeagol.unb.ca (smeagol.unb.ca [131.202.3.52]) by mailserv.unb.ca (8.12.10/8.12.10) with ESMTP id i69KDDXM029624 for ; Fri, 9 Jul 2004 17:13:13 -0300 Received: from smea