From Bruce.Spencer@nrc-cnrc.gc.ca  Tue Jun 21 18:21:12 2005
Return-Path: <Bruce.Spencer@nrc-cnrc.gc.ca>
Delivered-To: jdrew-all@jdrew.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 41B2633A63F
	for <jdrew-all@jdrew.org>; Tue, 21 Jun 2005 18:21:12 -0300 (ADT)
Received: by nrcmrdbh2.imsb.nrc.ca with Internet Mail Service (5.5.2657.72)
	id <MYAY6CQJ>; Tue, 21 Jun 2005 17:22:37 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E90A6216@nrccenexb1.nrc.ca>
From: "Spencer, Bruce" <Bruce.Spencer@nrc-cnrc.gc.ca>
To: "'jdrew-all@jdrew.org'" <jdrew-all@jdrew.org>
Date: Tue, 21 Jun 2005 17:22:30 -0400
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2657.72)
Content-Type: text/plain;
	charset="iso-8859-1"
Subject: [Jdrew-all] Welcome to jDREW, All!
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Tue, 21 Jun 2005 21:21:12 -0000


Hi All:

Welcome to jDREW! This is the list for general (OO) jDREW topics,
archived at http://mail.jdrew.org/pipermail/jdrew-all/ (*).
Its administration page (e.g., for subscribe/unsubsribe) is
http://mail.jdrew.org/mailman/listinfo/jdrew-all/.
Thanks much to Danny D'Amours, NRC, for setting this up.

We envisage that:

* Posting (OO) jDREW-related news to jdrew-all at jdrew.org
should relieve the jDREW and OO jDREW websites
(http://www.jdrew.org and http://www.jdrew.org/oojdrew) from
this function.

* Discussing the (OO) jDREW specification, implementation, and
documentation in this list should benefit all of them.

* Exchanging examples, use cases, and applications here should
push forward (OO) jDREW as an open source reference implementation
for RuleML and POSL.

Enjoy this list,
Bruce Spencer, Harold Boley and Marcel Ball

---------------------
(*) 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.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Bruce Spencer
National Research Council Canada
46 Dineen Drive, Frederiction, New Brunswick, Canada, E3B 9W4

email: Bruce.Spencer@nrc.ca 
phone: 506-444-0384, fax: 506-444-6114

Adjunct Professor, University of New Brunswick
http://www.cs.unb.ca/~bspencer

Group Leader: Internet Logic http://iit.nrc.gc.ca/il.html
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


From Harold.Boley@nrc-cnrc.gc.ca  Wed Jun 22 20:03:47 2005
Return-Path: <Harold.Boley@nrc-cnrc.gc.ca>
Delivered-To: jdrew-all@jdrew.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 B603F33A627
	for <jdrew-all@jdrew.org>; Wed, 22 Jun 2005 20:03:47 -0300 (ADT)
Received: by nrcmrdbh2.imsb.nrc.ca with Internet Mail Service (5.5.2657.72)
	id <MYAY8KDJ>; Wed, 22 Jun 2005 19:05:14 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E9205C1E@nrccenexb1.nrc.ca>
From: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
To: jdrew-all@jdrew.org
Date: Wed, 22 Jun 2005 19:05:14 -0400
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2657.72)
Content-Type: text/plain
Subject: [Jdrew-all] Roadmap for Open Source OO jDREW Development
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 22 Jun 2005 23:03:48 -0000

Roadmap for Open Source OO jDREW Development     Version 2005-06-22
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


Hello Colleagues,

This Roadmap is to assist the Open Source Community emerging around
OO jDREW: Object-Oriented Java Deductive Reasoning Engine for the Web
(http://www.jdrew.org/oojdrew), with further development.

OO jDREW is a reference implementation of Derivation Rules RuleML,
but can be extended for other kinds of RuleML rules, e.g Integrity,
Transformation, and Reaction Rules.

The version numbers try to synchronize OO jDREW with the RuleML XSD
versions (cf. http://www.ruleml.org/spec) for increasingly expressive
sublanguages (http://www.ruleml.org/modularization/#Model), but also
suggest to quickly proceed towards an OO jDREW 1.0.

The first step is implementing more of RuleML 0.89 as OO jDREW 0.89.

Please send your contributions -- ideas, test cases, bug reports, any
other feedback, and code -- to the list jdrew-all at jdrew.org.

Bruce Spencer has started jDREW and sent our general email about this
new (OO) jDREW mailing list, which can be found in the archive here:
http://mail.ruleml.org/pipermail/jdrew-all/2005-June/000000.html

If you are new to this Community, please first search for answers to
your questions in the OO jDREW website (http://www.jdrew.org/oojdrew)
and in the archive before asking the list.

Marcel or Colleagues will try to respond as time permits, and Marcel
will start coordinating this development: maball at gmail.com

Best,
Harold Boley and Marcel Ball


-------------------------------------------------------------------

OO jDREW 0.88 (the 22June05 system)


OO jDREW 0.89

Data element
  Tag Data vs. Ind indicated in OO jDREW's Term object by a flag
    Disambiguate e.g. <Data>abc</Data> vs. <Ind>abc</Ind> 
  With 'type' attribute (without 'type' attribute: default 'Thing')
    Optimize for XSD Datatypes (cf. Builtins)
      May want to use XSD datatypes for current OO jDREW built-in
      datatypes (Integer <-> xsd:int, String <-> xsd:string, etc.)

Reify element
  Follow http://www.ruleml.org/indoo/indoo.html#Programs-as-Data
  E.g. <Reify><Implies>...</Implies></Reify> could be represented as
       <Cterm>
         <Ctor>$Reify</Ctor>
         <Cterm><Ctor>Implies</Ctor>. . .</Cterm>
       </Cterm>
       where ". . ." is recursive transformation of "..."

Neg element
  For atomic formulas
    Technique from SCLP and several others: treat e.g.
      <Neg>
        <Atom>
          <Rel>proprietary</Rel>
          <Var>object</Var>
        </Atom>
      </Neg>
    as if it was positive atom that happens to use 
    Neg-proprietary relation:
      <Atom>
        <Rel>Neg-proprietary</Rel>
        <Var>object</Var>
      </Atom>
    and add integrity rule to make sure that
      <Rel>proprietary</Rel> and <Rel>Neg-proprietary</Rel> are
      mutually exclusive
  For non-atomic formulas
    --> FOL RuleML

OIDs
  Principles/Basics
    Unique symbolic names mostly done for Atom
      Represented as a special slot (even for a positional Atom)
      Hash table of OID symbols
        Uniqueness tests for fact Atoms
        Fast lookup for (Query or Implies) body Atoms
        Issue in bottom-up (separate facts and rules) vs. top-down
    URL values of wid/wref attributes (Webizing)
      Plugin rewriting system (in RuleML itself?) for URL normalization
      (cf. http://gbiv.com/protocols/uri/rev-2002/rfc2396bis.html)
    Treatment of Variables and Cterms
  Webizing
    Individuals
    Relations
    Slots
    Types
    Clauses (former rlab, anchoring)
      Even symbolic names still need to be implemented for Implies
    Rulebases (former rbaselab)
    Atoms, being facts (anchoring) and occurring in rules
  Issues
    Skolems in anchored Implies head Atoms should be
    (re)instantiated in bottom-up conclusion generation


OO jDREW 0.9
  Sublanguage hornlogeq (undirected equality)
    Ground equality: Cf. Jing Mei's equality tables
  Sublanguage dishornlog (perhaps with 'Near-Horn' Community)


OO jDREW 0.91
  Sublanguage folog (perhaps with Marmoset / other FOL Communities)
  (cf. http://www.cs.unb.ca/research-groups/argroup/marmoset/)
  Subfamily FOL+ (perhaps postpone)


OO jDREW 0.92
  Functional RuleML (directed equality): Cf. Relfun
  Integrity rules (generalizing SCLP's Mutex)
  SWSL (with SWSI Community): Cf. FLORA 2
  WRL (with WSMO Community): Jos de Bruin et al.


OO jDREW 0.93
  SWRL (with OWL Community):
    Cf. Hoolet, Christine Golbreich's and Jing Mei's DL approaches
  Complete the SWRL set of Builtins


Fine Validator 0.9 (perhaps as plugin to a future OO jDREW)

minCard and maxCard
  <slot mincard="1" maxcard="2"><Set><Data>abc</Data></Set></slot>
  succeeds since card="1"
  <slot mincard="1" maxcard="2"><Set></Set></slot>
  fails since card="0"


Positional-Slotted Input Syntax Parser 0.9
  POSL parser using a subset of the forthcoming LR(k) ANTLR grammar
  (cf. http://www.ruleml.org/posl/converter.jnlp)

-------------------------------------------------------------------

From mei@inf.fu-berlin.de  Fri Jul  1 11:06:38 2005
Return-Path: <mei@inf.fu-berlin.de>
Delivered-To: jdrew-all@jdrew.org
Received: from math.fu-berlin.de (leibniz.math.fu-berlin.de [160.45.40.10])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 0372833A622
	for <jdrew-all@jdrew.org>; Fri,  1 Jul 2005 11:06:38 -0300 (ADT)
Received: (qmail 10167 invoked from network); 1 Jul 2005 16:06:45 +0200
Received: from lusin.mi.fu-berlin.de (HELO mi.fu-berlin.de) (160.45.113.91)
	by leibniz.math.fu-berlin.de with SMTP; 1 Jul 2005 16:06:45 +0200
Received: (qmail 10132 invoked by uid 9804); 1 Jul 2005 16:06:44 +0200
Received: from localhost (HELO mi.fu-berlin.de) (127.0.0.1)
	by localhost with SMTP; 1 Jul 2005 16:06:43 +0200
Received: (qmail 10116 invoked by uid 9804); 1 Jul 2005 16:06:43 +0200
Received: from leibniz.math.fu-berlin.de (HELO math.fu-berlin.de)
	(160.45.40.10)
	by lusin.mi.fu-berlin.de with SMTP; 1 Jul 2005 16:06:43 +0200
Received: (Qmail 10161 invoked from network); 1 Jul 2005 16:06:42 +0200
Received: From mast.inf.fu-berlin.de (HELO ?160.45.114.205?) (160.45.114.205)
	by leibniz.math.fu-berlin.de with SMTP; 1 Jul 2005 14:06:42 -0000
Message-ID: <42C54DF2.60302@inf.fu-berlin.de>
Date: Fri, 01 Jul 2005 16:06:42 +0200
From: Jing Mei <mei@inf.fu-berlin.de>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
	rv:1.7.5) Gecko/20041217
X-Accept-Language: en-us, en
X-Envelope-Sender: mei@inf.fu-berlin.de
X-Virus-Scanned: by AMaViS 0.3.12pre7-L31[10119](NAI-uvscan@mi.fu-berlin.de)
X-Remote-IP: 160.45.114.205
MIME-Version: 1.0
To: "'jdrew-all@jdrew.org'" <jdrew-all@jdrew.org>
Content-Type: multipart/mixed; boundary="------------040209000706050608020003"
Subject: [Jdrew-all] a short msg for OO jDREW
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Fri, 01 Jul 2005 14:06:38 -0000

This is a multi-part message in MIME format.
--------------040209000706050608020003
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit

Hi All,

My name is Jing Mei, and I would like to join your great OO jDREW 
community with my experience in understanding and extending the OO jDREW 
architecture, as shown in the attached file.

Best,
Sincerely,
Jing Mei

--------------040209000706050608020003
Content-Type: application/pdf;
 name="runningOOjDREW.pdf"
Content-Transfer-Encoding: base64
Content-Disposition: inline;
 filename="runningOOjDREW.pdf"

JVBERi0xLjMKJcfsj6IKNSAwIG9iago8PC9MZW5ndGggNiAwIFIvRmlsdGVyIC9GbGF0ZURl
Y29kZT4+CnN0cmVhbQp4nO1dW5PcxBV+n18x5VQlI8jIfb+EUKmYW6AMAbPBD3Ye7GV9AZu1
zS4OSfHfc1rqVp9Wt0aandHMQGIXhUZqSd3n8p1ry6+XpKZsSdzfcHD+cnH7nl4+/XFBatmc
ufdJd/jm6eL1wtTc/WlO4OPzl8s7Z3CzXVJZW7U8ewL3WWsFFc11umRc15ottVS1MnR59nLx
YHWvWrNaKmlX19Va1ERKYVY/FA+fV2tSc2moonCa10JpzVdP44BlRWvNuVGrv7uhjGkteXIc
R3yHHvYhGhHn81G1hnUQztjqPrxNWqPdK/559tnio7PFVwvSUWcr2jBEGE8XTWptrVxqQWvL
GsLAi86+W1BTE0rUck15bZZn3wK9aDNXK6wWq7pikrj53L5HqX+yrQmR3D0ZhrdP6WZLw2zp
LrOFCcFkNDMgMp6JXzoecE6kozytpZaEr76u1tSd1XR1t2KkVpKaMJJSvXoERIVFvKlYbeBO
uvoRbgA2WKtXF+EaTGkGglPVSGiyhqUjLBVaW7Z61RJZSiOTYxhDYZDkevU+zFApS1V3o7Tc
SWs3+KJaq5o5SXrb0ERYnrwEkaIlmhBsO6IJbhuiAdXcDRf9aw9X8bDqDt9zEg4U4F6Y1yB1
1AiOpcy/piRgpmZGGIsFLJLZgn7DQtqLDwbpWA/QeoJIfNiR6oPKTVgQKlcfV7JWWsDl535x
0qxexEN/L9BjrWtGCLOrWxVgkeLw0nfQBErH1OgwYSWBzN+iMecdj2+5tzHBgKye1o5zntaC
q0Dsgko/TigzXaXhTM2tBixo1SL5vYt2COYUnADqB+W4UwFkU8I7Fp23//u+UQjuePC2Y0zG
RUwxwFcOs5QAFVFB/B2I25folpJSKQ3PnwEZGFc1EenisdJiXkVFwxCQAEOLFv0lNIvNQKER
rjuRPBmluye8rdamFpywAh5sR2tO2QZSYzaCMAf1oZJuxBPNaiWYwSKO1LIk4armims5hClI
/B8UOOBEDCMKUvzLHFwwgT6IBEI3+YHXaGCOQ5F+CGVH8K7h8PMICVfxsCN2R2E/CzTmsih7
ZZBP+UPhERqmCpLGQDTBBWoONaHuFalP41w9+K9VJv9jB4USTIAQKKPAMnh9uh2XdBvjY9Qh
RKMfBkiKuXNVMW1mAAMhLUA6nnwrm2sQBGejByR8RNgTGzki7NHaeQF50kk8egumETp9lRnA
HeQdg9Tr1CXqzmc+UXN2ilK8inbkUYdUqZPTKpufzVetl6nSWV+gW9fUKRIM/blijuKMOt8q
uFFIq+JbUqkL83lawe1g+liCf9F9+Ev30uSIwqEGSviB4DEmKqlrI4g3EQLc/84/YBACaD4u
WSNCBhpvlVaThOzTCkYbSmUqMSkbnMilkNTH12gosMEsyyMekXvS3tAGDkQODblhXipeJZjQ
MfMZOp15iqkIREG78qjZBjJBbvB6X8QHXJdf/LyM3VhdP62Yo71iqTHIVWDMHETLHO0B1tMh
gzA/9AOI0knQn2HLdc5itNCfK0nIHKivKPgveN4e9TkBMRhya34aceKB4lxpPkkhsR44Ow1a
UMOCE5O9zeH8PBay5sM8lqmPezloxsPogxt6JV3+K1mGoyADX0l6AkoJZoBZYL/hkYdrbkFV
uVg6tPJScb5V8HyAUE5IGqOZiIAF8AaQ98EFFXaLQK4ZNxrFBUCfObvDWG/JWJ+exBRAXNdm
c7RFYqeR700Udvh7OuFbOUWhhEt20pnit+jB/i9HbyVzPSF8g7jDUiaPh/SiSeHPEci5NNvV
HCkdH8WhmR86itsk8rKXFY4jrsvgOY7fMQ+Xu/BbIHgBXDIAn5Ya8lJhJAHHyhxReBkP9ZVf
lSuK5o1cUTvkis4TJWZCTM1gHj/K20CWAoWC+0bxRPx67uKepYoBe+C8cFle5GtQCW4jsVs5
6eNQOuI1u+HHcJsdssb1B/HUCnwohuWTnUjd0vnrnY+PEPAazS+vHH3eVNlgfrIry+nRWqaT
TQDfuWuZWoP3la5rYi1z3OftAX7i74ZKaE5EnB4pEJGwCUTcU21TMvBl6cmXNrui1vRKZsBg
RP5/xNDtbkWdsW3aGNwBBDwqZUC4biKXDZrvH5EhxEIR85nb1k0j7wpigrzol+4MzMw2F4Pv
m+VRy7GLFDXh1GKG81NBHmWi64y4FnP8kfk+5UhATk6lY8L17KRrmKFjolwZbd5wL5b7b0ix
YiVhNBQrtUtYIvTJY4q7RphIRa0DiCLlAqwoun1/RGBzOZcR0i6aT+6UyFTZ90Q1v+66X3/w
Ur7/RjVmG2knFmbnpf0MhE5RGObqCeWWtO7096Mjil1rl11T2xPXeyYF/EGXv3SP0tRQsAO4
qe1rdP5ubFrDwx+BEaAQNBDtZIS5yhhw/iKefVO5upPRep4ON2PaDjeQBmAy7nDz3Dx753Ra
25ih4FF5tiPz+RrN7zpXQ2Slz+JN/uLj3OS15hxYPAtcs3QZGEk98uHw9qxaWxgsjRmdMK4G
b6jfJc5jL18qWDI0J3EWwaQkdiAxicTIq5jcvMIBm/iuoctgFP0KPSuF72KvWwfXxy7/I8uQ
l9HdU5KQv3Xaunw0sIGjOjrm/XnH2OaemBLPp4OMNrIbLdsKXXV7ssmIoJH4eAWIMucZEEyi
LTbv6OoVfkyeyUOX0U333UipXG2hLAq4GI6iiFsR9eeqRTHh6L4Euw+ORWsC3k8wfE/VH9nU
8tBrHqTBQ6kIMtSvMu4/puAVIG/QlcSdWJKAR8EOnANN6DKedboRNpd7gpC0+VuGYkyP5AB8
zJFvjsyV1bVIRDEkrmCK7PSbcxm34Ll6Lm7ZQZ2wdJ68NXWuB0tniZuvM/x23VrGpgC+x5oj
chZwGhX31HriYFs6ZujSoglKW+Csx81ejTUo6UkKKlbqkrsa00B8Fg3G0y2E4/+KsHZV9L+2
WNfEEBvMueZDBeg9FubQIi76ioP4uQyv6TRbATUUaAKMJdrQoOD907uYMdLslWJN35BXofPc
m3hTamegM6k149w1xydzGo8EUnia0NyZcCUfjxgzwalfS0tqYY9YMk/INW5xi0wOK4tHdAAt
PA/ipoQcA5pMDXPMmCf4FEaDC4rXHawrh4FUHrRsefoqTq0Bcm2p4mxeFU/m9H8VH1PxhFx7
U3G2WcVp0cz3FP/xLN6zMbAqvOpJCr7PFtkJSYhSegQnIbDCd+rcKXibUCyc3kW5KK0JSIsR
MQRD/vkBHHOX2O7PYFy9b5owROm33maPoU6G0HIPWo/rWIfBY05AenrEmWyN5+EXZybjVxo1
H5pGXNTsRiSay2JxaWvZm9KQoaCK05rSg5gEPJ9xk/Bup3gFZdtQbOCr3+UX8anHc7WmOZsr
8DKDDQCIMTyxAWPAv00Cfbyh7BjITq1ohFCTmPBALUBxDxrybDBgpvuK5unW8kXNZI7j2A+G
FuSZCw6LoM54KjZtEZsrNSGjsNlSDLQPlzqvg773EjjhYwo3nXzPEB1Gmri2jW71pal1oQ/g
JnCXHu1N4GgbyJJZjCPpo3y/6mCPidtAiu91tXHq6n8bNbbJS1+i47k0VhKKVx8AVrisNR8C
2PHYebKTnaU6X+VKgqpc3hFIETrfRnuUUJu57sgllTq0H2C/Jd1omvbp08R2dbmTuJyLbKfH
OGSGFw6DDsqS8lkaukBwQYpSimCdeZQnb3E/zzGYyLlpchNlJpY218ROdbYbG7cy3ziKmZ2P
wkn2Bj5GoCtvXXo2yNTD2DrhanA9zUR9v1va7Zn63I3FE/Q4DCa4Bgru2Go6qVMktIiMO78D
9dqbd364DkJ0EnU7HLAJ45v+ZzDOp3yJoNeocZG2msSu9u3ym2ljZh8FZ2mcYMTF3IBBXY5x
CLc2iECSsQkp18GkzTyVAaZlEybhpZRLghMxGq01jyS+yPbZIgwpbSE6gqcvRYPemCCH9fQ1
EMT0ODKUZpcAePow2RM8n6NmT2ZMncQ1Bs9eydrIXb8NN2EHXwBL17pdBkuE81MyLvFGNDpi
KUH3vTd635/73Mz7Twda5tBD/t1hXNrBWG496PdMPI9OXJSteIQegD7y5mpOwrgu8eRZNzzG
O4NL55tP1KmbPJG6whgN37XAHdjN98FcV5op507K3Yn5vh3MnrGvfcgttpFuSAQh9oYNBuAw
xe8WDjwBxzRj33/CwIDK6LG5ENP83apQcU/leSDpNTjoZSOUAsn0AC3+2vn8ZQKhhaYmF3cH
Bfm/bKQEHGuQis4h2+5TWoXyW1kbMQGHrFCp9jGXGWrqnODRTvuuTS66G0iByPan4tMKeazf
g6RJ0LDU+M1mo0hCgKS3kbZuD10+Xxit4E63AZWBxGsXpRvXpQjkv1g8eWcBKCyXbxdm+TkM
/wxeQwg31ii2LB/C7I3W/Ufq7pFf77NP0XWSsKWCGLqYEp/jOO6BeJZjjyzu9hw3zANgit+Q
f53ni35UlXf6uQcWQr72sGtL+U/zGgMQaMdIsA+LyCintSibr9lYl1hdenofxMXNQVgEPuls
QeFrOihXFTcEI8Aqtp4uS6HZaPd3Au2opwcTMqyk+MnbsIyxTyaFTaIXrd1SgOOhVewBpqtP
MBXo2uT0s8ISNo/7J+qAESzn7G7UsDvlExmvF4Iau5TUWoe7LxeCMdb9fOF/EiP9z2Zw9/PZ
4v7yhx2KHcyVJxXwr5jIPN4xzvF8tautke6jQ4eyNdsC3N/6kIUACNuSZGvSltsFf0o0Jgcv
/KSB0DMtRMRHl9GmCFJYhX7CH5/tbwrfIYIouL1R9/s974eyYzc5RnkovCwczeWZtU2fjUV8
HbJrhcztIKvD1nMvWs12w8xMFORqEyuxgKSbGvynfU0WF2/6EFHK7FNk8v780kKOZrMj6r5L
UoM/IYtfyXMeZvRyWlmkTJQm1EqhImIsQh5j2IA5Th3dU+Xktqgf//URrCPfZdTNiy74iVhJ
NoIyVmksI8Ud4+WQZGPaP4ei8ZTRr0xXtz3eD4dTy93PzI7zPLGzqeFXhpcAWhk6CaBLJaJC
ER6L6G+c43vojy+rNoLtcY5P+GpAB/HjKcMyJuPJ/dY46dD5JBPxG4pB+TeEwDP7ZsMnjxHj
J20luHkavigz0RVoZYZRDXGaDRmDYh4fVRgePqzc3mWRgs7Av/qQSuc6vArV+44tcXvAnZOW
1iY2QM94UZbnpJoUWHkixaTubGJPG9FlIJWyq/fijsJNUujvGpHC/oeKj4WHvzSEMy2JUObK
CtIUDQR4/23yirr0VPj5ov3JrfvHJ93PMD6e2S1/5fM7MMksfzUbXX6phElzU8magQTunyZA
JHA/44J7FNlx/aLJ36H1r2LFyP39Lxd4grNlbmRzdHJlYW0KZW5kb2JqCjYgMCBvYmoKNDAw
OAplbmRvYmoKNCAwIG9iago8PC9UeXBlL1BhZ2UvTWVkaWFCb3ggWzAgMCA1OTUgODQyXQov
Um90YXRlIDAvUGFyZW50IDMgMCBSCi9SZXNvdXJjZXM8PC9Qcm9jU2V0Wy9QREYgL1RleHRd
Ci9FeHRHU3RhdGUgMTIgMCBSCi9Gb250IDEzIDAgUgo+PgovQ29udGVudHMgNSAwIFIKPj4K
ZW5kb2JqCjMgMCBvYmoKPDwgL1R5cGUgL1BhZ2VzIC9LaWRzIFsKNCAwIFIKXSAvQ291bnQg
MQo+PgplbmRvYmoKMSAwIG9iago8PC9UeXBlIC9DYXRhbG9nIC9QYWdlcyAzIDAgUgo+Pgpl
bmRvYmoKNyAwIG9iago8PC9UeXBlL0V4dEdTdGF0ZS9OYW1lL1I3L09QTSAxPj4KZW5kb2Jq
CjEyIDAgb2JqCjw8L1I3CjcgMCBSPj4KZW5kb2JqCjEzIDAgb2JqCjw8L1I5CjkgMCBSL1Ix
MQoxMSAwIFI+PgplbmRvYmoKMTQgMCBvYmoKPDwvU3VidHlwZS9UeXBlMUMvRmlsdGVyL0Zs
YXRlRGVjb2RlL0xlbmd0aCAxNSAwIFI+PnN0cmVhbQp4nJ15d1Qb17r9yCDNxHFJUGQjbEtK
4sS9phi3uHfs0KsxpoiqBpJAEqqAaIcm0SQBEr33ajC244JL4hY7dmyn2L43vTs3L2e4w33r
HcG7N3f9bn7/vLVgrRnOzDlnvr2//e3vQMNcZ2E0Gm2Of4KQL13jKxZGipz368lFNHLxLHKJ
yz5K9HfPyR30JZhXjctckjMHA3NcwBzX2sUvz3ebPP3i5Or55F9fmJmmkNZCG6VNLg/wDVqx
atXqPWKJMiUhLl7G27B582ZelJL3vyO8vXxpQpyI9zq6SOULxBIhXyRby/Pj83myeD4vNkHA
53kH7PY6tIe3fJcgMiYmQcTbn4JGveVRgoRonldCNF8k5a/gxYpTeIKZG160WBSTIEsQi6Rr
ebukvEieVMKPTogU8PiKaL7EObCaJ+GnCBOkUnTNS5Dy4lIiRTJ+DE8m5iWIogXyGOfy6O+x
YpGMJ0kRo3EhGkFTeYulMml0SoJExkMreu/dP7NHWXykzLmuNAEN88Sx6MkYcbTc+TX/GpNF
JoikPBlfIXOuE8XnxSRIJYJIJVoXTSVJSZjeglyaIIr7Y/XVvBR+XGRKjIAvnZ7XGZU/vo/3
b18dKZEIlNPviqef+tf6CTIpXxC79liCMEou5U0Dyzsm3szz4vny4+SCyJT/HPkDr/8bghiG
HfDapRRFH92tEscc2yPhv7s3OdZ7X0qcz35pvO8BWYLfQXmi/6HUpIA0QWSgQhgVxDu+2vOV
ta9uWbd1ffq2Da9v36h5Y/mOFStXYdga7BUsFHsX24utxV7FwjBvbB+2DluK+WD7sfXYa5gv
dgDbgL2O+WEHsY3YMswfO4S9gS3HArDD2JvYCiwQO4K9ha3EgjAv7G0sGDuK7cY2YSHYMWwP
5onRsO3YXIyNuWDzMVdsEfYCthh7ETuOLcHcMBzjYEzsBPYS9hzGw2Zjz2NzsIOI3ujBEGyM
toXWOct1VrILyyXYpdH1VVcznaDn079l8BmP8SB8kFhNjDy34LkfZ2tn//B85vOTczLnus2V
z707Tzbvu/lh82+9sPiFoBdOvfjui+fcAtzMzDeZBS8teOky6xVWF6uXdW3BcwsKFry/4MuF
fgtzFzoWTrmHu59x/4T9Ovs7D8LjhMfZRfsXgcWMxUeWrFviD4vmkRDYFf3kL3a3n54tZErI
D+FuloqvkalV8TH+Sk9AHGTs1pq6uaQQB3es1kclhJ3qVuD3jBYN2EdMeePMErBPo96dTTC9
FWQ3fhrups+bjAUOGDxIvuygTQbaWSeKDOXx96hC8rp7GoOKmdIdoV7XpYflsRUw1I6HpVla
KousJRbuKHyODm2MwVWVEnMy0LBBiiozMJ9QwFJ8SgvLWRCHLZCgWujzyFxK9Ji86qCRYjKQ
RS1SMzqqMtJz8o25WdyVVCuFQ5PRmmMBFWxQYzMPFxI2KkqDN+VU60tVkEHluxdl2oQtIVVx
QM0GapmXSqhJlis0wAgyCg0lCrOqWAUIWVqaNLEjZejm6Ytw6XkuXEuutnRUlDcUsdH6wEZ6
XKB98hjufexSRb7CMhWVF1QAoqVMHcqlCnDgq9cE5xBqGG/Dg4vVlaCHgF346VN1lZ2AGG8Q
HOJSfBx4aVUhzodibHhoia4SjBNQiX8bcXFXuEB15ADnEZ5VGKpM0PunoxW9DXdJeiut8YEL
+QpczwrbFyf1BcT6I59A/NcLdz7tsehjy7kmeam4RlkL2E119vqL+8Y2hQanxUVxQyLEB8A2
glrwaC10OTVQ1d7DaW6wN7ddJub9fS6wT7raaZA2QtY8c5l8m/yQNRWCA0+ddls2Cn2nHd9d
orGCOwTpjRhgsdwzIQaE4VTyVCGVThbSqVAF47Nsiw7sJqZW4mCpRuFpRO/p7Pg7xap68AtB
LsNh8dQY3cqYN7kOka2XfNKrsLtB+jOY/WwLxBcyV1ZPrmQxbQr8cXalHuxysgrs0mo9cwlm
ogL+BX8I7tT2dvV0OE6B02BEOSBoFTZLKg9XnbPUljfUEkxBY52td9ADum6coHZxNlNfsH4A
o9k9avT6JWlztJcHCEiNiZYlKaMyDwEiVFPWwYWDrijUteYyG2eEwRRA/GrYxu2BEWu4KNCg
jfRoo5Fvw0UsZbEhxJiuVbE1qoSMYEBQHAasI1fQbdTPeC41m17DKPvIZrsCCMhhUPapFXQ1
ORdH7DC0kBtbaK1fQuuXLrCIPMmiFqxfRXGoRd+8Dt2g2/f/BTlw4brvqJe4WjHr8eVV1BKK
fuLAzpjYhoFUrvhc+oco3t+NXbvDcc51DlSRs1tozU9h2mMX+IOBBZedo1fhyvw8kAuIuMyK
US75AZ5dGKaKNxxRsdPx0gITKAVEb5khikutx/kdkopotHd8LUWnXqFeuv8mnHWxzzHWxT2C
Q5oryMrSGfTKtBSDCBCe/p/A+ZA+fu/j98aPB3JRJusdGU6CuDkJ8sbIQuYpktSzyHocXCnv
tVus5dbivmLECJ0C78u15tgyHJqyOHCUoL7Ep1ikgk7tUDCGgTVz4DgxdRRnBv8ZQRbjTAt5
DFEEEUQzQv46QENp7jKJodTOgKn0VIYxNV2XBjKAukhtCq0KKT0ONgNPwVH/fUf5awE1C6xt
e+us75XDX/N/ApAOfhq9+imhrNm195DQE7C9gJ/jZJ//uOBLAF0IeOgb+Bx87dK51OgBTkeS
TWw/TDjVRFitqlFCoaGDnHfF7f5jKH+6kJldRi5hlRWYQRkgusyG49ypeBwE6fXeRoL5ugpm
48wTNfjOAm0FeJ+AG/DuxAbDEGLC7K+hK3wNvrDvi5V+ESkBEdwHuLEwIDVe669iw5U7WW0X
e0bvje+gCMoldOee4749bRxndt+Gog6I99DI1dCTFbbjpOgI8AUnW0WXlH1ZnXlXCXiVkXnd
0JrSIewJrw0CIeC4kp9wPEqyF2xGtLz7FsS/u38ZYkMc6iFczap42NV7FVwFDWLLmwRCUdND
/ncPrQsyyHcgwwX+Y9KTRflRi6mlVPiajvXnfbgTXl/E/BXtPgQuhjwY/pPoif8VrtftTT2r
EMVcR8GosifpfGj7GkA9D7y1+9OCMlJUKTJZfPwJZSAIBydq4tuDRhN/QTEGz1p+GBoj+ofH
6y4A59p/5PzfnpEMSFvILPgbpLHAHp12ByobAgXsxSEBfuu8dvH65d4vwA/gS+FD/wsHblO0
HmoJIm49g7lYgT/KKstA4sAUPOtktVeUDj69np5wmvMwYPAtQGGAmh21acvxYJGP7k1AROtQ
ik/DatVUQ9+rpFuLW8NTmP54IVMNp8jtrPBmYVkMmvnFVZQrioHbjY3fTlxoOj3CpZD0+CnV
e9G+xlVQb8X9KzNLwRBBfqfHd1Ofs4A0R2vIlCsSdQIgAJLyNEdSa+p1cAPB/t69J9faEw9y
5sGnqDgs64CRLbRfUcJec1ao+ZBgTNjb+2qtBlENpyq50lANiHp7TX1PRNO7RwMl4cnc5IjM
uPytxOakz6ibDLBbr9vjLA0WG765SF8B7hPwJpyHtOU9YId1A/CMM54/P4PpzngK4Ak4wmrK
q85vAg/B+fLhhisdPVfBDTCk6ZO0Ro+82bIGfWw1g1mNKndmuQHsIab24WBTpmFH1ozGbytS
W8FHKLhkqmuz2dwMF107vnSldwiFp2kKCmWcGZ/QC4cHYVmfYsYsyMhv4XaWmBFCYSel1KuA
kDBCQWRJljm7KK8CVBMQwLX4Z8CmtXgS9VAtY2RF5aj1Gq1KnHkcbWctTGG0mEzNHLiIgbK2
Tl29gWhk5MJX6VMtDGbBv3uMfzqMvQqyF5+J73YH7ePHLmbSg2UtKiuoBERjWXoElyrCQUhW
1hEdilyWDT9QpLKBSwSU4x3DZ5pNZdmGCk6VpsJoAUSDrbqlM9WRgPz73lDu10g+A+VxWm8F
e9pbXIJvOODCRpjYX9JCa/kQpj9obnEhE0l3Vv87eBrSoTSzvNRdUi4pSQbE2l171ns1828k
chVKpcqYnSjSpoE0kFqpG0zbGyRJBLFE4MOI7+4/bBo6x+lrr+4AfeDa8aFdRRTL5B5YmFIG
qoCjs7u5tCzfnF8E7HmWfBPoBQO29ubOFls3OANas+s1HQSVNeXB6sz6xDgOiK86tXE+O2Io
+hs+rSP1ZsvQGW4J/IZ1uaV7tL1JJazi1MRXhoMYwk8UH/5u5PXvOSgPJ1/6QwEmfag3WBSj
aOvIlt9uWXqqRwfu3ej7alohw6nFcCkShxl5iFjRtvnyEU5/ZEfaHemYv/utbXDuSfgGsCFV
rCggTAzqy8kJ1jAYVXQLzod1rAIUHSwXvRYdHhsVJPMHYSCiOq4jcCzpZwCfA9+3/jg4Ojgy
VjuBhGGayVf/jU/xpBSmsxBRcN1WpXoroshrToqUOCmy+E8o8uAPiiAye+qdajJN5neKkWG5
S0ARfA3/FFSrK7eg1diGOp2DXOvQ1rmdvQY3f7iQuRregjdZOXAxXc/Iy8vIys/PAWwjMBTq
SwhmdalcXpy8aJtv8B6/jugnYdyJxO60aikQsCOSxMEJAkudgpPamFGvvUSkU+stDHN5cSFi
IdOrDFjz6lGFqDa2NOfULHrwwcSHZ6Sd7/ZwKewDcZW6ETSzB9pbRi+1JWys58wYyUXnaR89
hseQVmyA37OGRtuq+wFxpjFuH5cKxcEBg9bHOOMkA8qNpeA2AcPw3yLPb/GOlL4bzoGX8Oyi
BF1Kpl86W5JJT8eLC4pACSCGSzNPcqeSUO4YM3wy0fsCG+5jMlSi96d9GPmrU0GePYNap4I8
mFxmZ/GL0spFXVQUNLnftLRVdjZ3NNmHwBgY1vYmt/IHPZucKtLKYJ5S4Pczy/Vg70zgDbqd
zoLehgJforU4Ax+CXyyEGdRVOnyLwQyeCiOfsloqSgfgixMn14SkRsYpOOHJ8cZVedOVaYD8
fYDWgXjJ+8FlMgT+zqJKlYzh3MrcykxbhkkGThLU23jSMckeatMyyIDHvm35amScMzJ+rfkW
uAjGFf1xbeIqSeMxop6RCePocoZRodSkAgNIL1KaT9jCS0+gXR+nXqWWUSdXNO+86M29uf97
PpwFngL4YvdANwEjcHC50jJRQsyD7YZz5JwONwvMpo6iavEEliL1Zt5+Hcl3eX6RkZOVYczI
MvD9T4al5xDMJ/osY1a2B8gtyCvKI5i336POMza1nbw83tdwrpOjrUhNURnkgB2rbn6fC/tx
5pNfGGgJhPjztm4HnPvM7eGzt9Eqv8E9Tou4zp+uRt6tstBSUAbYDdN6psbBHoN+v7MSGGz4
oZLMcmd8Ic4kg2EqSyKTicV1spbW+rrWFlm9CNW89zQ9cgdJDSY43O48hZpfFjIXk36o2qcy
cmR6vQqFBfU2pQSz0xobW5q06CSIUCWK4gXKSBAEto74QVfvu/xzUY38Mm1JKpASB0PCd2/0
ugDnhXBkjDYqnl7HYHrZCyqttkVI4nPsWWgmdd9A5sAiiH/x6NfP/K9T7ne4r0xEjoDzxIWh
vmunhhRx3Zz2JGtylTfK3Wk7AMdHYK+d9vszePGZC+RDigUDcXC3ouKBGTnJdgX+IKtC/88a
ZdBtd6Z1ux3faULsukPAKHiRCvqzEWeH8p+zUIHTjnzC10FuqdZY3e48hvsfO8MiPcPKZoTr
kX2G31MbcWanCr+WW2kAIQSlw4E4W6PRS+QCnRAQMUldQ1xmNXxEva7BT+da1SCcoErwbaeD
P+rtr2pu5gwP0z1xpldx3hlHT8VZKxuhTIm6Jl2nQf56GuRvYAAZzsou8pbxtd5K5NJLCmyF
toJywK4vU6FMnY+DHbkp+jSjQZOpAWpgMKtqlfWasnTUiCpV8qQB2Xk46/LH8BUu85fgyR1/
hj0q0eSPQzRoRlE1T2KsqVwcvK3XezqjdMqOby7WWFCNJ0vP45AB6pT11CyigWGE79CnrjKM
1Dv0BkYDpNXboStSZ1RkZ/pCHE2GO+3aTq1uUy6a6QyaqSjd6Rac8f7Ianns9P9nFPiTme4N
BVvjILeh3jzZ6Xy4qDfPtRmAAhjyDDmG5VSl+2uwzGjNtYIy1J1XmLuLUHcerMb78syG0aVw
DjXgXmgsyirKNClNmSZgAmaLrRe+BO+5t94ymduKiBnR9LTRPkMGYNKFhdIFhZHoLNeGcadS
kUXPzd3jNABaG55WEF2IjE03G3rhkEe9W5RTmFuYW5TLLjUUGUE2kZFh1HEUaiiyMSKKBPbI
s9QaGOje2nznxrXR1lK2rdhaiHxaqY06qWH051fkAA3IzNBodKhfm+dOeuI5hXydKNMnnS3M
dJ56oOZl0k772zP4jxEXEpKVLPCssuqzchQetQJ/aKySg2XIzSJJz+KnCyVhRwQ7wV4Q2iAZ
U3Zk9Tq7iI+mCfyJk8A9yPEaEYF3E9R1nNr16Wb4DqTd777Vz2kYKhsFD6a1cybOt1Cc1XhX
VnkWUAG1UaqXbKBS3DdBmWoUAGBhg7oK85gZRTlCjffmVOodAWaFWWFSrqfC3JdDa055Xjko
Z4PaytKuYvTUQTVen1dqqAuGi6jv3CuFpRoTKiillsom1NhkuX9F6a2xxUYTYJtBSVnVAGpl
f3KvGSoqcaAl8Gl9o/342MWOkDExKgoqC1Ar2lGuQe1TMg4CNFqvbISN3oZ7FevKwQWC/BZF
MUjFN+xXTZ9yXPKdIN0b3C5+Dpd/6uw2j91gqTS6bDVKgyzrCBeizD+X3apukPectHsDYs2u
UC+ZI62+odZRV5xfkm/m5pXllwIz0dxRNzDeLArgHMOptUdVmSf58jRNAkgkmMFeIxFXRwZr
z13lMC1BJTWpg4u60Md396Ehah3y+ILsjFSdVCPOSAVEvLhrmFuMCsRgD5w7Qkw3xJNzHbTJ
o5MrWVSkgnEht0YPxCA9S6ITUsumXNypVfCrxI8y64GNDezW8o7CYmSUrAUIUrsCH8+zaoY3
wvypUXcbA6aQE52PKipOz5woOcg3bDTYvgCG2xgCkFYlGKFegsHun8M59ua2qo4Cto3aqMbb
8sqNiIY6nTxFkG3UKbVpGoe7eEjZBSzAajG3FSAEo9VleBuo0rYf/5Za6k4xqM3CKENWYi5b
DV+z4WJdicVktlkc3Edw/lcUr9hYaARGNlBm5SQ6S7IdZdeSc7Snj6GX88fFTr7CshSVOo+3
msrSw7iUyYmj2i8f4ZhiwwML1RWgn4DdOCgsLTebG+uHq7sBMVIXj/yLELVTer2vs37JbLhv
gboaXCNgCd423FkzCohLNRJPLhWHA9/MTJ8s9JDYhicXCgu1NaCfDaNwODvmyjs+wck+ARzl
pYTmABABxBpPL+I+nlUYrEjQ+6udkUNd+/Pv024/hml/dYFrJrezsgsj1ZLM41q2yGmITAXF
wAyIgbKMSO5UFS54kvgJdH8GZ8FX4fwd3y475hMXmsYJdO0f6zn38Mx2ah7lEnZkc9CJ+kbO
vL/vnUH7755OtEMVjLPZCG0JSDUmG8TUi9TX7pQ7/DavJKMuv4idUWu0gwrQUF9+3om2Q4Ff
yi/P6NraudmdR3VTS8k5WTU51c4zyTqr+WwReiRPgZ/Ntil718CAqS4nIdaSW+GbU1vpNsYT
aC1vgTQ4Zj9XUfZeORLkIpRaGsckx0HLQPUcKv6xn36LQSkn99PRmNGR/jc3uL5/IfPk59TL
rJudp66CK8SZ+P4T8VJZAodZm1Sv6DGZCwpMHObJQjMABYtKTcbMJHFsQKyzU9a0TM5rcbv4
8b57UHzb/2NkCOEwibN+eq97CNwiPttzZRlF23Jw/WG76Ld1HOYXFLZZLjjgsfLRAUiHcx7c
+PVBwjg190uOcinro6CGOOBHHD5x4vCO4Im/fFA3NDHGYT4Yf8DaOBE3Ci4SE6cG3781HLHf
V3zCl8/JzgUgJxdp+mpyD8yjwXPkHpZ5oOrjsiuglV2nqJFJFUpZum1F9QYOtXzB/2cEBUDv
oMEXf2YJU5IFosaU1vamxtb25CYhdzqxYPAF6HEBHkZamQQbWMsYDuhB/+3CSkYbPEH3YQip
E3SKzWifvhE4b2b7w1mMVMqDThH+vzMSKQF9gtEJBXTogcadN+3OGxqD4kAfVprzOQ9GLZoT
QaSHLrAAutDgYjLiP7dDUa7/ucV/4goHELAHEabT0KI/O1GF+dDF7VPookPYHvwdYXu7a/jK
v7CVI2xzE+sUvf+Lbfz/i20f+ZDFlPxZWDRNk25NtIbvoeV7p13wZPmDSFVsvI8fn8IB9Ryg
aJ3Uc2N+vRFnpRPgLBiu7umeuNAHCQDnEjByPXyZWsjJTWY9PkXRKT7Fj+C99VbE7zAGxp+C
Lk/RArLJ5eiTjt5zgb9S77D218jbnIcY23DwuaJpp/2+w94EPp++v1/XdruGqMAP5ScbRUqR
Uh0DfAlqP+pclLKDaTdTa6RgP0EhL+hXFdWibFE2G2/kI8JcNSA4Ow2su/iUJ/Qj0S8dXZZQ
KvohfMYivGe9g3aQ8NQFjjjPuw6up2vwypKK4uLCGnN1MbIMtWXqJK7ztDsxU5aeoc7Q5EY6
Ra3Vhm8rSC8HpwnyBxzpofZc0B3y8w63oa9vPYIb3iuGgoXMs5Nh5DssSpDKOJNtNQAhOCkJ
OPK23+2ksxFPb3U0Vre019ZbukEnccfvzLa3Dhx4i1+a1LyTw5e/fCx4L9jEXn3d978+vdJ4
4z6HqT38/njyxKIPwKWhtjvqCvekaLkWpRAIag+/OnK5sbf9fNOoe8Ogo/KMiZjyqGAJ3zf0
gVPE6fau0dGuuFC/+JObIzhM+/7drCsUo9v/0j7v49HIzxP7vD948EH78F8uIjCuwjk3oMcN
GtlOLmBNFRwiCxiUh+vMhTNYH5P192jwq6cupBguYWlLYn21GScAm8pkwG1w7xff9H8MHrJ/
3vLgVf8geXQsJylBnaTaW5vtPvBjT8dtQDy+5Ltpe/jaTRu51H7Kh64jPfB/EiAZEWDB5AbW
bWWdEOwkKAT4JnvKfcXONEUy8Jy+3ykX7lcSevxGQZOptaa1xtbvPLRBBPiwpv5m7UGHsh58
SEBEgIvpg+IacU2y6WDBtM3sIb+64gbvPuLfXci8DdfAz1mXQX1eQ8Y1eb8v4swm38O7JGnm
hliOsEZldv5HR61JjR+Wf/jgUdPgGHdssGkC3ARn08dE7Wl1isoIO+robo819p73+PTIxXUh
EaqkOI5Qok6Wv2vLcR/86FTn+4C4firCK04dl5LCFQrF6gNSp1OeXOqgnUYsO41YtitMmBwb
vvfN+GXTOcTsXfHX1wbDmuTnkiqr3Le+L+6W3Jfe1H8Mfga/WT5rvtZyra3n7gT6GO/M3+Gv
DrivjXbr7PXf2792gbnQk1Vxs3qgd2z0IgDW2o5xSw8YBH3aHll9fLd3fQAg1u076hldLW9v
qK5usBor1dVcnTW7DJQSHaNt41dOBx4M1/pL/TniI4pQQ2h+BLv8MEsokyaJ6uRtHfV1bW0p
jahtmNk/DHvq0kftY9073dbUO3rnL93TBzbwpdgf3ngWdTq5LqhDl+7+iVdzfMvOhoMVO8Ay
8KrWU3JM7CWM2+PjBGN6EqPdBRrJAFaBqjDVKNImsLOUOSqgJ9KqVPbaGnutKdeSbeFou7P6
kGMw4+bcuoxaZXMiu1FQratB+Wi11TWpKyLM3BhTUmVyVWaJ+3iL3Txi7jNZKkAjUa+uSlWr
tGIpJ0WYIpfrsnLcm3DQYGqpaDfZi6tABVGbXpWWplan6YqVplROeWKJAEgILc6vVVQl9qQ1
6EpRO6VQp6dJHZrTGdzerDaDXVuR5R6Vkm4MzziRqdKBFEJu1dZVlZXYqzmtnSUlpebyMnNJ
d51TcVAlOX6DBgtvuMBC2M+ixIegmJLcgBIovkGJoeQQY16agwx0QH8Ho232k+fbSufMeVIz
Zy6G/Q8Y3tWBCmVuZHN0cmVhbQplbmRvYmoKMTUgMCBvYmoKNzQyOQplbmRvYmoKMTYgMCBv
YmoKPDwvU3VidHlwZS9UeXBlMUMvRmlsdGVyL0ZsYXRlRGVjb2RlL0xlbmd0aCAxNyAwIFI+
PnN0cmVhbQp4nJ2Rv2tbMRDHJce0kL6kadYm5aYmIcaQ0WN+EFJ4LSYhdJb17j0fyJKQ9EL8
N4RAh46FBI9d8p8UCl2yeeraMRqrZ5e4WQMS3N3n7r53EmftFuOcL5+gusBAUjTeVnzL40Yr
bi5tsvzb75X4LmNX2dJV1p7E6Xr89Sb+fB1/rM1rr/mE3/E/2+enn3d2dzuHxo4dVcMAe71e
DwZj+EfgCD1VGt4n4wKVsSPUoQtniBCGCCUphP75Qf7hELb3lSgK0nDsEu3XA0UScpKoPe5A
aRyouQPS6IICGe27sO9BgLcoSSjAS4m2AR2w6EbkfbKBPFRO6IAFBAOkpaqLRj7FS6MDWGcS
HyWSWvWND146sgGSYv/oeD5jGIrQ6HpKGEyZMgsj62abRxYEaQ8BL0OjM0AoyFslxkk3tbKO
ZiPUnnS1UO+Aw0q4QqGf9W1eZbEf/Le1sFaNZ7VmlvWoT8GjKrufaDSoPZyJVJbDKVa1Eu5J
cPFLz/s3xhiHdFmL8/bLh++r6YRJvL15+HiTT17cL09f3X/JsunXbIWxv3h+0aIKZW5kc3Ry
ZWFtCmVuZG9iagoxNyAwIG9iago0MTcKZW5kb2JqCjkgMCBvYmoKPDwvQmFzZUZvbnQvRUtO
RktCK1RpbWVzLVJvbWFuL0ZvbnREZXNjcmlwdG9yIDggMCBSL1R5cGUvRm9udAovRmlyc3RD
aGFyIDMyL0xhc3RDaGFyIDEyNS9XaWR0aHNbCjI1MCAwIDQwOCA1MDAgMCAwIDc3OCAwIDMz
MyAzMzMgNTAwIDU2NCAyNTAgMCAyNTAgMjc4CjUwMCA1MDAgNTAwIDUwMCAwIDAgMCAwIDUw
MCAwIDI3OCAyNzggNTY0IDU2NCAwIDQ0NAowIDcyMiA2NjcgNjY3IDcyMiA2MTEgNTU2IDcy
MiA3MjIgMzMzIDAgMCA2MTEgODg5IDcyMiA3MjIKNTU2IDcyMiA2NjcgNTU2IDYxMSA3MjIg
NzIyIDk0NCAwIDAgMCAwIDI3OCAwIDAgMAowIDQ0NCA1MDAgNDQ0IDUwMCA0NDQgMzMzIDUw
MCA1MDAgMjc4IDI3OCA1MDAgMjc4IDc3OCA1MDAgNTAwCjUwMCA1MDAgMzMzIDM4OSAyNzgg
NTAwIDUwMCA3MjIgNTAwIDUwMCA0NDQgNDgwIDAgNDgwXQovRW5jb2RpbmcvV2luQW5zaUVu
Y29kaW5nL1N1YnR5cGUvVHlwZTE+PgplbmRvYmoKMTEgMCBvYmoKPDwvQmFzZUZvbnQvU05E
QUJOK0hlbHZldGljYS9Gb250RGVzY3JpcHRvciAxMCAwIFIvVHlwZS9Gb250Ci9GaXJzdENo
YXIgMzIvTGFzdENoYXIgMzIvV2lkdGhzWwoyNzhdCi9FbmNvZGluZy9XaW5BbnNpRW5jb2Rp
bmcvU3VidHlwZS9UeXBlMT4+CmVuZG9iago4IDAgb2JqCjw8L1R5cGUvRm9udERlc2NyaXB0
b3IvRm9udE5hbWUvRUtORktCK1RpbWVzLVJvbWFuL0ZvbnRCQm94Wy03MCAtMjE4IDkzMiA2
ODNdL0ZsYWdzIDQKL0FzY2VudCA2ODMKL0NhcEhlaWdodCA2ODMKL0Rlc2NlbnQgLTIxOAov
SXRhbGljQW5nbGUgMAovU3RlbVYgMTM5Ci9NaXNzaW5nV2lkdGggMjUwCi9DaGFyU2V0KC9z
cGFjZS9ML0EveS9iYWNrc2xhc2gvbi9jL2NvbW1hL00vQi96L28vZWlnaHQvZC9xdW90ZWRi
bC9OL0MvcC9lL3BlcmlvZC9udW1iZXJzaWduL08vRC9xL2NvbG9uL2Yvc2xhc2gvUC9FL3Iv
c2VtaWNvbG9uL2cvemVyby9RL0YvYnJhY2VsZWZ0L3MvbGVzcy9oL29uZS9hbXBlcnNhbmQv
Ui9HL3QvZXF1YWwvaS90d28vUy9IL2JyYWNlcmlnaHQvdS9qL3RocmVlL3BhcmVubGVmdC9U
L0kvdi9xdWVzdGlvbi9rL3BhcmVucmlnaHQvVS93L2wvYS9hc3Rlcmlzay9WL3gvbS9iL3Bs
dXMvVykvRm9udEZpbGUzIDE0IDAgUj4+CmVuZG9iagoxMCAwIG9iago8PC9UeXBlL0ZvbnRE
ZXNjcmlwdG9yL0ZvbnROYW1lL1NOREFCTitIZWx2ZXRpY2EvRm9udEJCb3hbMCAwIDEwMDAg
MTAwMF0vRmxhZ3MgNQovQXNjZW50IDAKL0NhcEhlaWdodCAwCi9EZXNjZW50IDAKL0l0YWxp
Y0FuZ2xlIDAKL1N0ZW1WIDAKL0F2Z1dpZHRoIDI3OAovTWF4V2lkdGggMjc4Ci9NaXNzaW5n
V2lkdGggMjc4Ci9DaGFyU2V0KC9zcGFjZSkvRm9udEZpbGUzIDE2IDAgUj4+CmVuZG9iagoy
IDAgb2JqCjw8L1Byb2R1Y2VyKEFGUEwgR2hvc3RzY3JpcHQgOC4xNCkKL0NyZWF0aW9uRGF0
ZShEOjIwMDUwNzAxMTMxNjEwKQovTW9kRGF0ZShEOjIwMDUwNzAxMTMxNjEwKQovVGl0bGUo
cnVubmluZ09PakRSRVcpCi9DcmVhdG9yKEZyZWVQREYgWFAgMS41IC0gaHR0cDovL3NoYm94
LmRlKQovQXV0aG9yKG1laSk+PmVuZG9iagp4cmVmCjAgMTgKMDAwMDAwMDAwMCA2NTUzNSBm
IAowMDAwMDA0MzMyIDAwMDAwIG4gCjAwMDAwMTM5MzEgMDAwMDAgbiAKMDAwMDAwNDI3MyAw
MDAwMCBuIAowMDAwMDA0MTEzIDAwMDAwIG4gCjAwMDAwMDAwMTUgMDAwMDAgbiAKMDAwMDAw
NDA5MyAwMDAwMCBuIAowMDAwMDA0MzgwIDAwMDAwIG4gCjAwMDAwMTMyMDIgMDAwMDAgbiAK
MDAwMDAxMjU1OSAwMDAwMCBuIAowMDAwMDEzNjk0IDAwMDAwIG4gCjAwMDAwMTMwNDQgMDAw
MDAgbiAKMDAwMDAwNDQyOSAwMDAwMCBuIAowMDAwMDA0NDU5IDAwMDAwIG4gCjAwMDAwMDQ1
MDAgMDAwMDAgbiAKMDAwMDAxMjAxNSAwMDAwMCBuIAowMDAwMDEyMDM2IDAwMDAwIG4gCjAw
MDAwMTI1MzkgMDAwMDAgbiAKdHJhaWxlcgo8PCAvU2l6ZSAxOCAvUm9vdCAxIDAgUiAvSW5m
byAyIDAgUgovSUQgWyiaqpDi2vg0HfIG78PyX0vRKSiaqpDi2vg0HfIG78PyX0vRKV0KPj4K
c3RhcnR4cmVmCjE0MTIwCiUlRU9GCg==
--------------040209000706050608020003--

From B.Orriens@uvt.nl  Mon Jul  4 12:40:06 2005
Return-Path: <B.Orriens@uvt.nl>
Delivered-To: jdrew-all@jdrew.org
Received: from herschel.uvt.nl (herschel.uvt.nl [137.56.247.34])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id BD5AE33A62A
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 12:40:05 -0300 (ADT)
Received: from localhost (localhost [127.0.0.1])
	by herschel.uvt.nl (Postfix) with ESMTP id 050D97FFE
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 17:40:16 +0200 (CEST)
Received: from herschel.uvt.nl ([127.0.0.1])
	by localhost (herschel [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id 10162-08 for <jdrew-all@jdrew.org>;
	Mon, 4 Jul 2005 17:40:12 +0200 (CEST)
Received: from chatelet.uvt.nl (unknown [IPv6:fe80::20b:cdff:feff:adf0%eth1])
	by herschel.uvt.nl (Postfix) with ESMTP id BB61680BF
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 17:40:12 +0200 (CEST)
Received: from kubnw9.kub.nl (kubnw9.uvt.nl [137.56.12.25])
	by chatelet.uvt.nl (Postfix) with ESMTP id B5B7083
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 17:40:12 +0200 (CEST)
Received: from Borriens [82.92.18.168] by kubnw9.kub.nl
	with NetMail ModWeb Module; Mon, 04 Jul 2005 17:40:12 +0200
From: "Bart Orriens" <B.Orriens@uvt.nl>
To: jdrew-all@jdrew.org
Date: Mon, 04 Jul 2005 17:40:12 +0200
X-Mailer: NetMail ModWeb Module
X-Sender: Borriens
MIME-Version: 1.0
Message-ID: <1120491612.914a58e0Borriens@kubnw9.kub.nl>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at uvt.nl
X-Spam-Cookie: 828e09f049ba896063e50adaf2d8db6a9dbdc703
X-Spam-Status: No, hits=-2.6, required=6.3 tests=BAYES_00
X-Spam-Level: -
X-Spam-Flag: No
Subject: [Jdrew-all] Experience with OO jDREW
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Mon, 04 Jul 2005 15:40:06 -0000


Hello all,

my name is Bart Orriens, and since recently I've joined the OO jDREW commun=
ity. I have been working on incorporating the OO jDREW engine in a protot=
ype regarding my own research on policy driven service oriented business =
collaboration development, also with much help from Marcel Ball. Thx heap=
s once more for that, Marcel! For interested people I've attached a small=
 abstract to this email; if you are interested and want more information,=
 pls let me know and I'll send you some papers I've written on this topic=
.

My experiences with the OO jDREW engine so far have been positive. Although=
 it currently has several limitations like multiple heads in rules, or su=
pport for production like rules, I have been able to test some of my idea=
s already. Due to holidaying I am currently working a little bit less on =
the prototype, but once I have something stable I will put it on the mail=
ing list (that is, if people are interested of course). And of course I h=
ave great hope that together we can extend and expand the OO jDREW engine=
 to develop a powerful rule engine based on the RuleML standard for rule =
specification.

On a side note I'm also very much interested in working on policies, so if =
anyone is interested in that as well pls let me know (or join the policy =
group at http://policy.ruleml.org/)! 

Cheers,
Bart
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Drs. Bart Orriens          
B704, Tilburg University =09
PO Box 90153, 5000 LE Tilburg, =09 
The Netherlands
Phone : +31 13 4662779 
Fax   : +31 13 4663069                 
Email : b.orriens@uvt.nl
Web   : http://infolab.uvt.nl/~borriens   
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

From B.Orriens@uvt.nl  Mon Jul  4 12:41:26 2005
Return-Path: <B.Orriens@uvt.nl>
Delivered-To: jdrew-all@jdrew.org
Received: from agnes.uvt.nl (agnes.uvt.nl [137.56.247.33])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 91A5D33A62A
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 12:41:26 -0300 (ADT)
Received: from localhost (localhost [127.0.0.1])
	by agnes.uvt.nl (Postfix) with ESMTP id 6CC40E9D
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 17:41:37 +0200 (CEST)
Received: from agnes.uvt.nl ([127.0.0.1])
	by localhost (agnes [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
	id 22554-09 for <jdrew-all@jdrew.org>;
	Mon, 4 Jul 2005 17:41:36 +0200 (CEST)
Received: from chatelet.uvt.nl (unknown [IPv6:fe80::20b:cdff:feff:adf0%eth1])
	by agnes.uvt.nl (Postfix) with ESMTP id 4B568D4F
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 17:41:35 +0200 (CEST)
Received: from kubnw9.kub.nl (kubnw9.uvt.nl [137.56.12.25])
	by chatelet.uvt.nl (Postfix) with ESMTP id 2824487
	for <jdrew-all@jdrew.org>; Mon,  4 Jul 2005 17:41:35 +0200 (CEST)
Received: from Borriens [82.92.18.168] by kubnw9.kub.nl
	with NetMail ModWeb Module; Mon, 04 Jul 2005 17:41:35 +0200
From: "Bart Orriens" <B.Orriens@uvt.nl>
To: jdrew-all@jdrew.org
Date: Mon, 04 Jul 2005 17:41:35 +0200
X-Mailer: NetMail ModWeb Module
X-Sender: Borriens
MIME-Version: 1.0
Message-ID: <1120491695.914a58e0Borriens@kubnw9.kub.nl>
Content-Type: multipart/mixed;
	boundary="------=_ModWebBOUNDARY_914a58e0_1120491695"
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at uvt.nl
X-Spam-Cookie: 828e09f049ba896063e50adaf2d8db6a9dbdc703
X-Spam-Status: No, hits=-2.6, required=6.3 tests=BAYES_00
X-Spam-Level: -
X-Spam-Flag: No
Subject: [Jdrew-all] abstract
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Mon, 04 Jul 2005 15:41:27 -0000

This is a multi-part message in MIME format.

--------=_ModWebBOUNDARY_914a58e0_1120491695
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable


Hello again all,

the email was so long I forgot to attach the abstract concerning my work. S=
orry about that!

Bart

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Drs. Bart Orriens          
B704, Tilburg University =09
PO Box 90153, 5000 LE Tilburg, =09 
The Netherlands
Phone : +31 13 4662779 
Fax   : +31 13 4663069                 
Email : b.orriens@uvt.nl
Web   : http://infolab.uvt.nl/~borriens   
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

--------=_ModWebBOUNDARY_914a58e0_1120491695
Content-Type: text/plain;
	name="abstract.txt"
Content-Transfer-Encoding: BASE64
Content-Disposition: attachment;
	filename="abstract.txt"

UmVjZW50bHkgdGhlcmUgaGFzIGJlZW4gaW5jcmVhc2luZyBmb2N1cyBvbiBzZXJ2aWNlIG9yaWVu
dGVkIGNvbXB1dGluZyB0byBlbi0NCmdhZ2UgZXhpc3Rpbmcgc2VydmljZXMgY3Jvc3Mgb3JnYW5p
emF0aW9uYWwgYm91bmRhcmllcyBpbiBidXNpbmVzcyBjb2xsYWJvcmF0aW9uLg0KVGhlIGRldmVs
b3BtZW50IG9mIGJ1c2luZXNzIGNvbGxhYm9yYXRpb24gcmVxdWlyZXMgYW4gZW52aXJvbm1lbnQg
aW4gd2hpY2ggY29sLQ0KbGFib3JhdGlvbiBkZXNpZ25zIGNhbiBiZSBkZXZlbG9wZWQgaW4gbGlu
ZSB3aXRoIGxlZ2FsIGRlbWFuZHMsIG9yZ2FuaXphdGlvbmFsDQpwb2xpY2llcywgYnVzaW5lc3Mg
cGFydG5lciBleHBlY3RhdGlvbnMsIGFuZCBzbyBvbi4gRnVydGhlcm1vcmUsIGNoYW5nZXMgaW4g
YnVzaS0NCm5lc3MgY29sbGFib3JhdGlvbnMgYW5kIHRoZWlyIHBvbGljaWVzIG11c3QgYmUgbWFu
YWdlYWJsZSAoZGWvbmVkLCB2ZXJpr2VkIGFuZA0KdmVyc2lvbmVkKSBhbmQgY29uc2lzdGVudGx5
IGV4ZWN1dGVkLg0KDQpXZSBwcm9wb3NlIGEgcG9saWN5IGRyaXZlbiBtZWNoYW5pc20gZm9yIGZs
ZXhpYmxlIGJ1c2luZXNzIGNvbGxhYm9yYXRpb24gZGUtDQp2ZWxvcG1lbnQgYW5kIGFkYXB0aXZl
IG1hbmFnZW1lbnQuIEZsZXhpYmlsaXR5IGNvbWVzIGZyb20gdGhlIGZhY3QgdGhhdCB0aGUNCnBy
b2Nlc3Mgb2YgYnVzaW5lc3MgY29sbGFib3JhdGlvbiBkZXZlbG9wbWVudCBpcyBnb3Zlcm5lZCBh
bmQgZ3VpZGVkIGJ5IHRoZQ0KcG9saWNpZXMsIHdoaWNoIGFyZSB1c2VkIGZvciBhcHByb3ByaWF0
ZWx5IGNoYWluaW5nIGNvbXBsZXggZGVjaXNpb25zIGFuZCBkaWFnLQ0Kbm9zZXM7IHdoaWxlIGFk
YXB0YWJpbGl0eSBpcyBhY2hpZXZlZCBhcyBjaGFuZ2VzIGNhbiBiZSBtYW5hZ2VkIHdpdGggbWlu
aW11bQ0KZGlzcnVwdGlvbiBhcyBleGlzdGluZyBjb2xsYWJvcmF0aW9ucyBuZWVkIG5vdCBiZSBy
ZS1jb2RlZCB3aGVuIHBvbGljaWVzIGNoYW5nZS4NClRoZSBjZW50cmFsIG5vdGlvbiBpcyB0byBl
eHBsaWNpdGx5IHNwZWNpZnkgcG9saWNpZXMgYW5kIHN1YnNlcXVlbnRseSB1c2UgdGhlbSB0bw0K
ZHJpdmUgYW5kIGNvbnN0cmFpbiB0aGUgcHJvY2VzcyBvZiBidXNpbmVzcyBjb2xsYWJvcmF0aW9u
IGRldmVsb3BtZW50Lg==

--------=_ModWebBOUNDARY_914a58e0_1120491695--


From maball@gmail.com  Fri Jul  8 10:02:40 2005
Return-Path: <maball@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.205])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id B5DE433A634
	for <jdrew-all@jdrew.org>; Fri,  8 Jul 2005 10:02:40 -0300 (ADT)
Received: by wproxy.gmail.com with SMTP id i32so417467wra
	for <jdrew-all@jdrew.org>; Fri, 08 Jul 2005 06:02:56 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=bmlCEbljbcAGqI+h0/hvrK+o8xWYCrHVjTX7OhAG1jdgSIEjpj/s3+zKcHCce3qYNSdkoMz6DipVLdoCCMq+D+AYzyA7Wc3LgdxO/To1OSUwwPjCF/4sl+fcte+/qERJ96FzG846BQlOpN3h2ZwdGreRA3WicYPdrDk7J3X7izo=
Received: by 10.54.141.1 with SMTP id o1mr1687530wrd;
	Fri, 08 Jul 2005 06:02:56 -0700 (PDT)
Received: by 10.54.32.2 with HTTP; Fri, 8 Jul 2005 06:02:56 -0700 (PDT)
Message-ID: <b66f3bc40507080602481642ac@mail.gmail.com>
Date: Fri, 8 Jul 2005 10:02:56 -0300
From: Marcel Ball <maball@gmail.com>
To: Bart Orriens <B.Orriens@uvt.nl>
Subject: Re: [Jdrew-all] Experience with OO jDREW
In-Reply-To: <1120491612.914a58e0Borriens@kubnw9.kub.nl>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <1120491612.914a58e0Borriens@kubnw9.kub.nl>
Cc: jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
Reply-To: Marcel Ball <maball@gmail.com>
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Fri, 08 Jul 2005 13:02:41 -0000

Hello Bart,

Thanks for your interest in OO jDREW; You can feel free to post more
information about your project to the mailing list once you have more
completed. I am always interested in knowing about use cases people
have for OO jDREW and/or RuleML, and I am sure some of the other
people on the list are as well.

Also if you have any comments or suggestions for improvements that are
not on the roadmap for OO jDREW you can send those along to the list
as well; someone may be able to implement them if people think that
they would be useful additions.

Marcel A. Ball


--=20
Marcel Ball <maball@gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas,=20
obscure pure reasoning, and inhibit clarity.=20
With a little pratice, writing can be an intimidating=20
and impenetrable fog!
           - Calvin


On 7/4/05, Bart Orriens <B.Orriens@uvt.nl> wrote:
>=20
> Hello all,
>=20
> my name is Bart Orriens, and since recently I've joined the OO jDREW comm=
unity. I have been working on incorporating the OO jDREW engine in a protot=
ype regarding my own research on policy driven service oriented business co=
llaboration development, also with much help from Marcel Ball. Thx heaps on=
ce more for that, Marcel! For interested people I've attached a small abstr=
act to this email; if you are interested and want more information, pls let=
 me know and I'll send you some papers I've written on this topic.
>=20
> My experiences with the OO jDREW engine so far have been positive. Althou=
gh it currently has several limitations like multiple heads in rules, or su=
pport for production like rules, I have been able to test some of my ideas =
already. Due to holidaying I am currently working a little bit less on the =
prototype, but once I have something stable I will put it on the mailing li=
st (that is, if people are interested of course). And of course I have grea=
t hope that together we can extend and expand the OO jDREW engine to develo=
p a powerful rule engine based on the RuleML standard for rule specificatio=
n.
>=20
> On a side note I'm also very much interested in working on policies, so i=
f anyone is interested in that as well pls let me know (or join the policy =
group at http://policy.ruleml.org/)!
>=20
> Cheers,
> Bart
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> Drs. Bart Orriens
> B704, Tilburg University
> PO Box 90153, 5000 LE Tilburg,
> The Netherlands
> Phone : +31 13 4662779
> Fax   : +31 13 4663069
> Email : b.orriens@uvt.nl
> Web   : http://infolab.uvt.nl/~borriens
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>

From maball@gmail.com  Wed Jul 27 13:34:05 2005
Return-Path: <maball@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.204])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 73F9833A62A
	for <jdrew-all@jdrew.org>; Wed, 27 Jul 2005 13:34:05 -0300 (ADT)
Received: by wproxy.gmail.com with SMTP id i22so215363wra
	for <jdrew-all@jdrew.org>; Wed, 27 Jul 2005 09:34:06 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
	b=GHfgdeCPi5Q4k/v5Di3gasJAaZzDV4dWOAKmz5GBHxkuNBVexQHY31/W3pxxIFA0oxLSNNC7vUv6ckXuDtkJGORKFAb3dAlmQMiP4BCmhMXZOeXpjwCgnUbaZgAN2K/Fv3k2HyU4LNB+3Pm3ZZsMcfWqmpGNs0twbFcpF+LAZ8M=
Received: by 10.54.30.29 with SMTP id d29mr405941wrd;
	Wed, 27 Jul 2005 09:34:05 -0700 (PDT)
Received: by 10.54.32.2 with HTTP; Wed, 27 Jul 2005 09:34:05 -0700 (PDT)
Message-ID: <b66f3bc405072709349298ded@mail.gmail.com>
Date: Wed, 27 Jul 2005 13:34:05 -0300
From: Marcel Ball <maball@gmail.com>
To: jdrew-all@jdrew.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: [Jdrew-all] Release of Design Document: Indexing System for Mixed
	Positional/Slotted Terms and website updates
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
Reply-To: Marcel Ball <maball@gmail.com>
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 27 Jul 2005 16:34:05 -0000

Hello,

A draft of a design document for an indexing system for OO jDREW has
been posted on the OO jDREW website documentation page. While it is
currently not implemented it is our hope that it will eventually be
implemented as part of the open source project. Once implemented it
should help increase efficiency when dealing with large knowledge
bases. If anyone has comments on the design of the indexing system
they can be sent to the mailing list for further discussion.

Additionally, other parts of the website were updated; the antlr.jar
file which is required for the newest revisions (used by the POSL
parser) is now linked from the download page; and the ANTLR grammars
for POSL (both a commented version, and a version with semantic
actions to build the internal OO jDREW data structures) have been
posted on the website.

--=20
Marcel Ball <maball@gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas,=20
obscure pure reasoning, and inhibit clarity.=20
With a little pratice, writing can be an intimidating=20
and impenetrable fog!
           - Calvin

From wahlau@gmail.com  Wed Aug 17 12:06:37 2005
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from nproxy.gmail.com (nproxy.gmail.com [64.233.182.199])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 5D26533A622
	for <jdrew-all@jdrew.org>; Wed, 17 Aug 2005 12:06:37 -0300 (ADT)
Received: by nproxy.gmail.com with SMTP id a4so53913nfc
	for <jdrew-all@jdrew.org>; Wed, 17 Aug 2005 08:07:00 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:mime-version:content-type;
	b=BdAM/kTua/Ic1fJsk0KUS8J9LavEewNzxqF3b0J7r7O0alszpMoUkXJjgxv+YyCdZKh43U1IZJE68DBzeE1cQdjfSoxrtboyymOxW7fdWaBGjoHprkfwqQbQO2mm1JWqs1qWO3b/U0KvbZvmDXWBGycsP+WhQSBnbsb+uOOa0VA=
Received: by 10.48.1.14 with SMTP id 14mr32940nfa;
	Wed, 17 Aug 2005 08:07:00 -0700 (PDT)
Received: by 10.48.142.2 with HTTP; Wed, 17 Aug 2005 08:07:00 -0700 (PDT)
Message-ID: <f85e157305081708073731cf73@mail.gmail.com>
Date: Wed, 17 Aug 2005 17:07:00 +0200
From: Sian Lun Lau <wahlau@gmail.com>
To: jdrew-all@jdrew.org
Mime-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_1848_2050215.1124291220906"
Subject: [Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Aug 2005 15:06:38 -0000

------=_Part_1848_2050215.1124291220906
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hi,

just want to know whether the following is supported in oojdrew:

<Assert>
<And>
<Implies>
<Atom>
....
</Atom>
<And>
<Atom>
....
</Atom>
<Atom>
....
</Atom>
</And>
</Implies>
</And>
</Assert>

from the RuleML specification i am allowed to even use Body or Head, but i=
=20
have tried it with oojdrew's RuleMLParser and i don't think it is supported=
,=20
is that right?

thank you.

regards,
Sian Lun.

------=_Part_1848_2050215.1124291220906
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

<span style=3D"font-family: courier new,monospace;">Hi,<br><br>just want to=
 know whether the following is supported in oojdrew:<br><br>&lt;Assert&gt;<=
br>&nbsp;&nbsp;&lt;And&gt;<br>&nbsp;&nbsp;&nbsp;&nbsp;&lt;Implies&gt;<br>&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;Atom&gt;<br>&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp; ....
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;/Atom&gt;<br>&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&lt;And&gt;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
 &lt;Atom&gt;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ...=
.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;/Atom&gt;<br>&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &lt;Atom&gt;<br>&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ....<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp; &lt;/Atom&gt;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &lt;/And&gt;<br>
&nbsp;&nbsp;&nbsp; &lt;/Implies&gt;<br>
&nbsp; &lt;/And&gt;<br>
&lt;/Assert&gt;<br>
</span><span><br>from the RuleML specification i am allowed to even use
Body or Head, but i have tried it with oojdrew's RuleMLParser and i
don't think it is supported, is that right?<br>
<br>
thank you.<br>
<br>
regards,<br>
Sian Lun.</span><br>
=20

------=_Part_1848_2050215.1124291220906--

From david.hirtle@gmail.com  Wed Aug 17 12:23:53 2005
Return-Path: <david.hirtle@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.198])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id A2F2B33A622
	for <jdrew-all@jdrew.org>; Wed, 17 Aug 2005 12:23:53 -0300 (ADT)
Received: by zproxy.gmail.com with SMTP id 8so127237nzo
	for <jdrew-all@jdrew.org>; Wed, 17 Aug 2005 08:24:18 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=L/wKN44v5agn3BM+kvvb7YopPs5NjMpNHxBQ9v3GjqEg7+RlCdYBKHUDZFWnoTY1VrpFjXuHNHeVmziiVlKYRZDsYg3RyayoWYmYl+lm9NNnvlxs45U624OkpcS7SXRPf4+88JncyzjOLqffYWq3i2cAjZwv3C9QN62lI9xG+Lw=
Received: by 10.36.222.31 with SMTP id u31mr564761nzg;
	Wed, 17 Aug 2005 08:24:17 -0700 (PDT)
Received: by 10.36.8.13 with HTTP; Wed, 17 Aug 2005 08:24:17 -0700 (PDT)
Message-ID: <95f576e70508170824712d0099@mail.gmail.com>
Date: Wed, 17 Aug 2005 12:24:17 -0300
From: "David Z. Hirtle" <david.hirtle@gmail.com>
To: Sian Lun Lau <wahlau@gmail.com>
Subject: Re: [Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser
In-Reply-To: <f85e157305081708073731cf73@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <f85e157305081708073731cf73@mail.gmail.com>
Cc: jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
Reply-To: david.hirtle@unb.ca
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Aug 2005 15:23:53 -0000

Hi Sian Lun,

OO jDREW uses the more compact role-skipped syntax of RuleML (see
http://www.ruleml.org/0.89/#Striped%20Syntax), hence <head> and <body>
aren't necessary.  Note that when role skipping <Implies>, the first
child (in your example an <Atom>) is assumed to be the body while the
second child (in your example an <And>) is assumed to be the head...

In the hornlog sublanguage implemented by OO jDREW, conjunctive heads
aren't allowed, so you may want to re-arrange the order of your
children of <Implies> (as below).

Also note that you need to specify closure on the clause by adding the
following attribute to the top-level <And>: mapClosure=3D"universal"

Altogether, this gives:

<Assert>
  <And mapClosure=3D"universal">
    <Implies>
      <And>
        <Atom>
          ....
        </Atom>
        <Atom>
          ....
        </Atom>
      </And>
      <Atom>
         ....
      </Atom>
    </Implies>
  </And>
</Assert>

Hope that helps,

Dave

On 8/17/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> Hi,
>=20
> just want to know whether the following is supported in oojdrew:
>=20
> <Assert>
>   <And>
>     <Implies>
>       <Atom>
>          ....=20
>       </Atom>
>       <And>
>         <Atom>
>           ....
>         </Atom>
>         <Atom>
>           ....
>         </Atom>
>        </And>
>      </Implies>
>    </And>
>  </Assert>
> =20
> from the RuleML specification i am allowed to even use Body or Head, but =
i
> have tried it with oojdrew's RuleMLParser and i don't think it is support=
ed,
> is that right?
> =20
>  thank you.
> =20
>  regards,
>  Sian Lun.
> =20
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>=20
>=20
>

From maball@gmail.com  Wed Aug 17 23:49:02 2005
Return-Path: <maball@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.194])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 8BC5133A622
	for <jdrew-all@jdrew.org>; Wed, 17 Aug 2005 23:49:02 -0300 (ADT)
Received: by wproxy.gmail.com with SMTP id i22so262448wra
	for <jdrew-all@jdrew.org>; Wed, 17 Aug 2005 19:49:27 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=pG2tRuHZWhjpvLw5S06R2bJcngvTMC/gTr3P5fLkobQV9/13MY/s626xyFrijE/8DUhKrKf4Gcj0Itj32Up2cUCKg9gmWlhq6g9b7JcWlI3RDNkh+5u4VHDTDP7k9nITysJn1xaNNEmB5ZyNNJBAMbqHzMuoXLK+WVu2FEYmDJI=
Received: by 10.54.122.9 with SMTP id u9mr867429wrc;
	Wed, 17 Aug 2005 19:49:27 -0700 (PDT)
Received: by 10.54.32.2 with HTTP; Wed, 17 Aug 2005 19:49:27 -0700 (PDT)
Message-ID: <b66f3bc405081719492551d14b@mail.gmail.com>
Date: Wed, 17 Aug 2005 23:49:27 -0300
From: Marcel Ball <maball@gmail.com>
To: Sian Lun Lau <wahlau@gmail.com>
Subject: Re: [Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser
In-Reply-To: <95f576e70508170824712d0099@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <f85e157305081708073731cf73@mail.gmail.com>
	<95f576e70508170824712d0099@mail.gmail.com>
Cc: jdrew-all@jdrew.org, david.hirtle@unb.ca
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Aug 2005 02:49:02 -0000

Hello Sian,

What David said is correct. Currently OO jDREW uses the most compact
role-skipping syntax of RuleML, so the format for rules would

<Implies>
  <And>
    <Atom>
    ...
    </Atom>
    ...
  </And>
  <Atom>
  ...
  </Atom>
</Implies>

and facts are simply

<Atom>
...
</Atom>

It was planned to support most different forms of RuleML through
automated application of XSLT style-sheets to transform from more
verbose forms to the more compact forms that can be parsed directly;
but this has not yet been implemented.

Marcel

On 8/17/05, David Z. Hirtle <david.hirtle@gmail.com> wrote:
> Hi Sian Lun,
>=20
> OO jDREW uses the more compact role-skipped syntax of RuleML (see
> http://www.ruleml.org/0.89/#Striped%20Syntax), hence <head> and <body>
> aren't necessary.  Note that when role skipping <Implies>, the first
> child (in your example an <Atom>) is assumed to be the body while the
> second child (in your example an <And>) is assumed to be the head...
>=20
> In the hornlog sublanguage implemented by OO jDREW, conjunctive heads
> aren't allowed, so you may want to re-arrange the order of your
> children of <Implies> (as below).
>=20
> Also note that you need to specify closure on the clause by adding the
> following attribute to the top-level <And>: mapClosure=3D"universal"
>=20
> Altogether, this gives:
>=20
> <Assert>
>   <And mapClosure=3D"universal">
>     <Implies>
>       <And>
>         <Atom>
>           ....
>         </Atom>
>         <Atom>
>           ....
>         </Atom>
>       </And>
>       <Atom>
>          ....
>       </Atom>
>     </Implies>
>   </And>
> </Assert>
>=20
> Hope that helps,
>=20
> Dave
>=20
> On 8/17/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> > Hi,
> >
> > just want to know whether the following is supported in oojdrew:
> >
> > <Assert>
> >   <And>
> >     <Implies>
> >       <Atom>
> >          ....
> >       </Atom>
> >       <And>
> >         <Atom>
> >           ....
> >         </Atom>
> >         <Atom>
> >           ....
> >         </Atom>
> >        </And>
> >      </Implies>
> >    </And>
> >  </Assert>
> >
> > from the RuleML specification i am allowed to even use Body or Head, bu=
t i
> > have tried it with oojdrew's RuleMLParser and i don't think it is suppo=
rted,
> > is that right?
> >
> >  thank you.
> >
> >  regards,
> >  Sian Lun.
> >
> > _______________________________________________
> > Jdrew-all mailing list
> > Jdrew-all@jdrew.org
> > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> >
> >
> >
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>=20


--=20
Marcel Ball <maball@gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas,=20
obscure pure reasoning, and inhibit clarity.=20
With a little pratice, writing can be an intimidating=20
and impenetrable fog!
           - Calvin

From wahlau@gmail.com  Thu Aug 18 04:43:40 2005
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from nproxy.gmail.com (nproxy.gmail.com [64.233.182.195])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 56DA733A622
	for <jdrew-all@jdrew.org>; Thu, 18 Aug 2005 04:43:40 -0300 (ADT)
Received: by nproxy.gmail.com with SMTP id a4so82826nfc
	for <jdrew-all@jdrew.org>; Thu, 18 Aug 2005 00:44:01 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=HwI/sPJnJDBUJJ8o2Y+dt4+HMD/glOqq3XaAoVvWldiN7GCdvCzkOVn8VI8PrrYBrzXp4LxNmycTtZIljc8jgxKwJmYEygItqRwtQfOZD82QpmmyCDH3ndo2jzgZOrGWAuM/GlDFYfJHe3/wJkMJadJn5daN3Yw60OdhoicenF8=
Received: by 10.48.1.14 with SMTP id 14mr54871nfa;
	Thu, 18 Aug 2005 00:44:01 -0700 (PDT)
Received: by 10.48.142.2 with HTTP; Thu, 18 Aug 2005 00:44:01 -0700 (PDT)
Message-ID: <f85e157305081800442f369c9b@mail.gmail.com>
Date: Thu, 18 Aug 2005 09:44:01 +0200
From: Sian Lun Lau <wahlau@gmail.com>
To: jdrew-all@jdrew.org
Subject: Re: [Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser
In-Reply-To: <b66f3bc405081719492551d14b@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <f85e157305081708073731cf73@mail.gmail.com>
	<95f576e70508170824712d0099@mail.gmail.com>
	<b66f3bc405081719492551d14b@mail.gmail.com>
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Aug 2005 07:43:40 -0000

Hi all,

i have got it now. did not realise i should use the compact syntax
instead. Now my rulebase is working, so it is time to play around a
little more.

> It was planned to support most different forms of RuleML through
> automated application of XSLT style-sheets to transform from more
> verbose forms to the more compact forms that can be parsed directly;
> but this has not yet been implemented.

do you welcome any contributor? :)

btw, anyway to set the list to default reply to list instead of sender?

regards,
SianLun

On 8/18/05, Marcel Ball <maball@gmail.com> wrote:
> Hello Sian,
>=20
> What David said is correct. Currently OO jDREW uses the most compact
> role-skipping syntax of RuleML, so the format for rules would
>=20
> <Implies>
>   <And>
>     <Atom>
>     ...
>     </Atom>
>     ...
>   </And>
>   <Atom>
>   ...
>   </Atom>
> </Implies>
>=20
> and facts are simply
>=20
> <Atom>
> ...
> </Atom>
>=20
>=20
>=20
> Marcel
>=20
> On 8/17/05, David Z. Hirtle <david.hirtle@gmail.com> wrote:
> > Hi Sian Lun,
> >
> > OO jDREW uses the more compact role-skipped syntax of RuleML (see
> > http://www.ruleml.org/0.89/#Striped%20Syntax), hence <head> and <body>
> > aren't necessary.  Note that when role skipping <Implies>, the first
> > child (in your example an <Atom>) is assumed to be the body while the
> > second child (in your example an <And>) is assumed to be the head...
> >
> > In the hornlog sublanguage implemented by OO jDREW, conjunctive heads
> > aren't allowed, so you may want to re-arrange the order of your
> > children of <Implies> (as below).
> >
> > Also note that you need to specify closure on the clause by adding the
> > following attribute to the top-level <And>: mapClosure=3D"universal"
> >
> > Altogether, this gives:
> >
> > <Assert>
> >   <And mapClosure=3D"universal">
> >     <Implies>
> >       <And>
> >         <Atom>
> >           ....
> >         </Atom>
> >         <Atom>
> >           ....
> >         </Atom>
> >       </And>
> >       <Atom>
> >          ....
> >       </Atom>
> >     </Implies>
> >   </And>
> > </Assert>
> >
> > Hope that helps,
> >
> > Dave
> >
> > On 8/17/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> > > Hi,
> > >
> > > just want to know whether the following is supported in oojdrew:
> > >
> > > <Assert>
> > >   <And>
> > >     <Implies>
> > >       <Atom>
> > >          ....
> > >       </Atom>
> > >       <And>
> > >         <Atom>
> > >           ....
> > >         </Atom>
> > >         <Atom>
> > >           ....
> > >         </Atom>
> > >        </And>
> > >      </Implies>
> > >    </And>
> > >  </Assert>
> > >
> > > from the RuleML specification i am allowed to even use Body or Head, =
but i
> > > have tried it with oojdrew's RuleMLParser and i don't think it is sup=
ported,
> > > is that right?
> > >
> > >  thank you.
> > >
> > >  regards,
> > >  Sian Lun.
> > >
> > > _______________________________________________
> > > Jdrew-all mailing list
> > > Jdrew-all@jdrew.org
> > > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> > >
> > >
> > >
> > _______________________________________________
> > Jdrew-all mailing list
> > Jdrew-all@jdrew.org
> > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> >
>=20
>=20
> --
> Marcel Ball <maball@gmail.com>
>=20
> -----------------------------------------------
> The purpose of writing is to inflate weak ideas,
> obscure pure reasoning, and inhibit clarity.
> With a little pratice, writing can be an intimidating
> and impenetrable fog!
>            - Calvin
>=20



--=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
normal reply to wahlau@gmail.com
urgent reply to slau@wahlau.org
--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

From maball@gmail.com  Thu Aug 18 08:27:27 2005
Return-Path: <maball@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.194])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 84A7933A629
	for <jdrew-all@jdrew.org>; Thu, 18 Aug 2005 08:27:27 -0300 (ADT)
Received: by wproxy.gmail.com with SMTP id i22so315073wra
	for <jdrew-all@jdrew.org>; Thu, 18 Aug 2005 04:27:52 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=tTL1C/4fbmcjV1T50ch5m9rP46JtxxtmihBlkPm8GD6foHzK92cVRhOnHWAIdUjFRWnpAsFHTibCbfemYb7KyopE3bqDRYmgozdtizAJzvTRJrceeCs+LdQQ9ezuuoKKw8nLcHJqQZJtQ6JThovNh7AqBv9OvkBqZxxuqOEaL8M=
Received: by 10.54.22.39 with SMTP id 39mr1097888wrv;
	Thu, 18 Aug 2005 04:27:52 -0700 (PDT)
Received: by 10.54.32.2 with HTTP; Thu, 18 Aug 2005 04:27:52 -0700 (PDT)
Message-ID: <b66f3bc4050818042749f67bce@mail.gmail.com>
Date: Thu, 18 Aug 2005 08:27:52 -0300
From: Marcel Ball <maball@gmail.com>
To: Sian Lun Lau <wahlau@gmail.com>
Subject: Re: [Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser
In-Reply-To: <f85e157305081800442f369c9b@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <f85e157305081708073731cf73@mail.gmail.com>
	<95f576e70508170824712d0099@mail.gmail.com>
	<b66f3bc405081719492551d14b@mail.gmail.com>
	<f85e157305081800442f369c9b@mail.gmail.com>
Cc: jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Aug 2005 11:27:27 -0000

Hello Sian,

Any contributions you have to send are welcome; we are considering to
move from the GPL to LGPL to give more possibilities of integrating
jDREW/OO JDREW with commercial applications, so you would need to be
willing to make that license change. If you have any contributions you
can send them to me directly (maball at gmail dot com) or to the list.
If them seem to work properly and are of value I will try to integrate
them into the main source (although I am currently moving/on vacation,
so this may not happen really soon).

As for your question about the mailing list itself, I have no idea. I
didn't set up the mailing list (someone at NRC did), and I have no
idea what the software is capable of.

Marcel

On 8/18/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> Hi all,
>=20
> i have got it now. did not realise i should use the compact syntax
> instead. Now my rulebase is working, so it is time to play around a
> little more.
>=20
> > It was planned to support most different forms of RuleML through
> > automated application of XSLT style-sheets to transform from more
> > verbose forms to the more compact forms that can be parsed directly;
> > but this has not yet been implemented.
>=20
> do you welcome any contributor? :)
>=20
> btw, anyway to set the list to default reply to list instead of sender?
>=20
> regards,
> SianLun
>=20
> On 8/18/05, Marcel Ball <maball@gmail.com> wrote:
> > Hello Sian,
> >
> > What David said is correct. Currently OO jDREW uses the most compact
> > role-skipping syntax of RuleML, so the format for rules would
> >
> > <Implies>
> >   <And>
> >     <Atom>
> >     ...
> >     </Atom>
> >     ...
> >   </And>
> >   <Atom>
> >   ...
> >   </Atom>
> > </Implies>
> >
> > and facts are simply
> >
> > <Atom>
> > ...
> > </Atom>
> >
> >
> >
> > Marcel
> >
> > On 8/17/05, David Z. Hirtle <david.hirtle@gmail.com> wrote:
> > > Hi Sian Lun,
> > >
> > > OO jDREW uses the more compact role-skipped syntax of RuleML (see
> > > http://www.ruleml.org/0.89/#Striped%20Syntax), hence <head> and <body=
>
> > > aren't necessary.  Note that when role skipping <Implies>, the first
> > > child (in your example an <Atom>) is assumed to be the body while the
> > > second child (in your example an <And>) is assumed to be the head...
> > >
> > > In the hornlog sublanguage implemented by OO jDREW, conjunctive heads
> > > aren't allowed, so you may want to re-arrange the order of your
> > > children of <Implies> (as below).
> > >
> > > Also note that you need to specify closure on the clause by adding th=
e
> > > following attribute to the top-level <And>: mapClosure=3D"universal"
> > >
> > > Altogether, this gives:
> > >
> > > <Assert>
> > >   <And mapClosure=3D"universal">
> > >     <Implies>
> > >       <And>
> > >         <Atom>
> > >           ....
> > >         </Atom>
> > >         <Atom>
> > >           ....
> > >         </Atom>
> > >       </And>
> > >       <Atom>
> > >          ....
> > >       </Atom>
> > >     </Implies>
> > >   </And>
> > > </Assert>
> > >
> > > Hope that helps,
> > >
> > > Dave
> > >
> > > On 8/17/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> > > > Hi,
> > > >
> > > > just want to know whether the following is supported in oojdrew:
> > > >
> > > > <Assert>
> > > >   <And>
> > > >     <Implies>
> > > >       <Atom>
> > > >          ....
> > > >       </Atom>
> > > >       <And>
> > > >         <Atom>
> > > >           ....
> > > >         </Atom>
> > > >         <Atom>
> > > >           ....
> > > >         </Atom>
> > > >        </And>
> > > >      </Implies>
> > > >    </And>
> > > >  </Assert>
> > > >
> > > > from the RuleML specification i am allowed to even use Body or Head=
, but i
> > > > have tried it with oojdrew's RuleMLParser and i don't think it is s=
upported,
> > > > is that right?
> > > >
> > > >  thank you.
> > > >
> > > >  regards,
> > > >  Sian Lun.
> > > >
> > > > _______________________________________________
> > > > Jdrew-all mailing list
> > > > Jdrew-all@jdrew.org
> > > > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> > > >
> > > >
> > > >
> > > _______________________________________________
> > > Jdrew-all mailing list
> > > Jdrew-all@jdrew.org
> > > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> > >
> >
> >
> > --
> > Marcel Ball <maball@gmail.com>
> >
> > -----------------------------------------------
> > The purpose of writing is to inflate weak ideas,
> > obscure pure reasoning, and inhibit clarity.
> > With a little pratice, writing can be an intimidating
> > and impenetrable fog!
> >            - Calvin
> >
>=20
>=20
>=20
> --
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
> normal reply to wahlau@gmail.com
> urgent reply to slau@wahlau.org
> --- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>=20


--=20
Marcel Ball <maball@gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas,=20
obscure pure reasoning, and inhibit clarity.=20
With a little pratice, writing can be an intimidating=20
and impenetrable fog!
           - Calvin

From Bruce.Spencer@nrc-cnrc.gc.ca  Thu Aug 18 08:57:06 2005
Return-Path: <Bruce.Spencer@nrc-cnrc.gc.ca>
Delivered-To: jdrew-all@jdrew.org
Received: from nrccenexf1.nrc.ca (nrccenexf1.nrc.ca [132.246.15.80])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 6002633A629
	for <jdrew-all@jdrew.org>; Thu, 18 Aug 2005 08:57:06 -0300 (ADT)
Received: from nrccenexb1.nrc.ca ([132.246.15.96]) by nrccenexf1.nrc.ca with
	Microsoft SMTPSVC(6.0.3790.1830); Thu, 18 Aug 2005 07:57:31 -0400
X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Date: Thu, 18 Aug 2005 07:57:31 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E90A63E2@nrccenexb1.nrc.ca>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Welcome to jDREW, All!
Thread-Index: AcV2p1YwvRgkNeseSWS1SQMANBEohQtQ3r6w
From: "Spencer, Bruce" <Bruce.Spencer@nrc-cnrc.gc.ca>
To: <jdrew-all@jdrew.org>
X-OriginalArrivalTime: 18 Aug 2005 11:57:31.0535 (UTC)
	FILETIME=[037229F0:01C5A3EC]
Subject: [Jdrew-all] jDREW and OO- jDREW moving to LGPL
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Aug 2005 11:57:06 -0000


Hi All:

Both jDREW and OO-jDREW are available as open source under GPL =
licencing. We are planning to make jDREW and OO-jDREW available by LGPL =
license. See http://www.gnu.org/copyleft/lesser.html, so that our =
commercial partners can include these libraries in their products that =
are not open source (free to distribute).

We have considered this issue carefull. We are considering, by making =
this change, (1) whether  we are violating the rights of any other =
contributors, and (2) whether we are taking rights away from any of our =
existing users.
=20
For (1) if there were other contributors, we would have to get them all =
to agree to change the licence.  In this case it is easy since there are =
no other contributors yet.
=20
For (2) Since we are moving from GPL to LGPL we are not taking any =
rights away from existing users.  We are affording them new rights. =20
=20
Comments welcome; please post to this list.

Bruce Spencer
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Bruce Spencer
National Research Council Canada
46 Dineen Drive, Frederiction, New Brunswick, Canada, E3B 9W4

email: Bruce.Spencer@nrc.ca=20
phone: 506-444-0384, fax: 506-444-6114

Adjunct Professor, University of New Brunswick
http://www.cs.unb.ca/~bspencer

Group Leader: Internet Logic http://iit.nrc.gc.ca/il.html
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


From wahlau@gmail.com  Fri Sep  2 13:06:22 2005
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from nproxy.gmail.com (nproxy.gmail.com [64.233.182.196])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 2773C33A64B
	for <Jdrew-all@jdrew.org>; Fri,  2 Sep 2005 13:06:22 -0300 (ADT)
Received: by nproxy.gmail.com with SMTP id x4so217674nfb
	for <Jdrew-all@jdrew.org>; Fri, 02 Sep 2005 09:07:01 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
	b=VfmiUhUI/Osj0QcIUe4y0AWakdfIxzS7M7WhHuUD7VVa2dQDFAT1iUslwbXoz4svmqfGUd3y8b/JOSbl9OqSkkCaYg4oWyTEFeUBY74EvP0BfKCNUrFe+opelztEpVKCHZ16jkOhw0FvkDaC2dK1Zkmuu2b2j515kpWTAljHn8o=
Received: by 10.49.5.18 with SMTP id h18mr170640nfi;
	Fri, 02 Sep 2005 09:07:01 -0700 (PDT)
Received: by 10.48.142.2 with HTTP; Fri, 2 Sep 2005 09:07:01 -0700 (PDT)
Message-ID: <f85e157305090209075058fdd9@mail.gmail.com>
Date: Fri, 2 Sep 2005 18:07:01 +0200
From: Sian Lun Lau <wahlau@gmail.com>
To: Jdrew-all@jdrew.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Cc: 
Subject: [Jdrew-all] Negation in RuleML (and oo-jdrew)
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Fri, 02 Sep 2005 16:06:22 -0000

Hi all,

just wonder can anyone provide me a sample on how to use negation
<Neg> with oo-jdrew?

have not seen any example online anywhere...

thank you very much.

regards,
SianLun
--=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
normal reply to wahlau@gmail.com
urgent reply to slau@wahlau.org
--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

From david.hirtle@gmail.com  Fri Sep  2 14:50:41 2005
Return-Path: <david.hirtle@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.204])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 3D82333A64B
	for <Jdrew-all@jdrew.org>; Fri,  2 Sep 2005 14:50:41 -0300 (ADT)
Received: by zproxy.gmail.com with SMTP id 8so412960nzo
	for <Jdrew-all@jdrew.org>; Fri, 02 Sep 2005 10:51:22 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=I1cGdVc1qauJqM87qOKug/TOZZvlqabt7QptgMzr+rPuJzSSRaY6NI2/yudtFKgKB3Sh6+iTa9hU34UbRQsbJ4EYSvVpger5LqxM6VnDX2JTABw8IlAQXCzTO+Gf+/OErCfVNqA1DdEfPaTUg+hLhshRf7k9qUQ/B6e5VU9cDXg=
Received: by 10.37.20.59 with SMTP id x59mr2630479nzi;
	Fri, 02 Sep 2005 10:51:19 -0700 (PDT)
Received: by 10.36.8.13 with HTTP; Fri, 2 Sep 2005 10:51:17 -0700 (PDT)
Message-ID: <95f576e7050902105120a576e@mail.gmail.com>
Date: Fri, 2 Sep 2005 14:51:17 -0300
From: "David Z. Hirtle" <david.hirtle@gmail.com>
To: Sian Lun Lau <wahlau@gmail.com>
Subject: Re: [Jdrew-all] Negation in RuleML (and oo-jdrew)
In-Reply-To: <f85e157305090209075058fdd9@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <f85e157305090209075058fdd9@mail.gmail.com>
Cc: Jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
Reply-To: david.hirtle@unb.ca
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Fri, 02 Sep 2005 17:50:41 -0000

Hi SianLun,

As you may know, RuleML has two kinds of negation: classical "strong"
negation (<Neg>), and "weak" negation as failgure (<Naf>).  There are
plenty of examples of each at http://www.ruleml.org/0.89/exa.

The only negation currently supported by OO jDREW is the latter, i.e.
<Naf>.  An example of its use can also be found in a recent workshop
paper: http://www.w3.org/2004/12/rules-ws/paper/49/#extensions

Note that support for <Neg> is on the Roadmap for Open Source OO jDREW
Development posted to the list back in June
http://mail.jdrew.org/pipermail/jdrew-all/2005-June/000001.html.

Dave

On 9/2/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> Hi all,
>=20
> just wonder can anyone provide me a sample on how to use negation
> <Neg> with oo-jdrew?
>=20
> have not seen any example online anywhere...
>=20
> thank you very much.
>=20
> regards,
> SianLun
> --
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
> normal reply to wahlau@gmail.com
> urgent reply to slau@wahlau.org
> --- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>

From wahlau@gmail.com  Wed Nov 16 16:16:21 2005
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.206])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 46F3733A622
	for <Jdrew-all@jdrew.org>; Wed, 16 Nov 2005 16:16:21 -0400 (AST)
Received: by wproxy.gmail.com with SMTP id i14so1798492wra
	for <Jdrew-all@jdrew.org>; Wed, 16 Nov 2005 12:17:00 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
	b=nq8byVd3DK+dhUAVWTrd8TCH+4f6ubK+x+yjh5ZeajOh3T4cRwMgIytejtDgGfpXu2VroXWm+MO5y8Tv8+aqB4BpXSv39GFX/t88/pFz4BvQHPxkX5yLz2OcBqqYP5s5ZhcUZwxRi8iPqG6gVjLXXtY6dJ3Z6Gpnlf+dg8EClbU=
Received: by 10.65.122.16 with SMTP id z16mr2938814qbm;
	Wed, 16 Nov 2005 12:17:00 -0800 (PST)
Received: by 10.65.224.16 with HTTP; Wed, 16 Nov 2005 12:17:00 -0800 (PST)
Message-ID: <f85e15730511161217r50a65002r@mail.gmail.com>
Date: Wed, 16 Nov 2005 21:17:00 +0100
From: Sian Lun Lau <wahlau@gmail.com>
To: Jdrew-all@jdrew.org
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Cc: 
Subject: [Jdrew-all] Question on ooJdrew
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 16 Nov 2005 20:16:21 -0000

Hi all,

i have asked months ago how can i used <Naf> with ooJDrew, and we have
yet to get things work as it should. David had helped but i think we
just got stucked and did not moved on.

i tried the examples and looked through some codes, and wonder if i
have missed out something or perhaps misunderstood things. I would
appreciate it. if anyone can point out how negation be used with this
rule engine.

secondly, i was wondering if i can make rules not based on a direct
fact, but something relational such as more than or less than. Hope it
would, else perhaps i must try out some other engine/rule language
then.

thanks a lot.

regards,
SianLun
--
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
normal reply to wahlau@gmail.com
urgent reply to slau@wahlau.org
--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

From maball@gmail.com  Wed Nov 16 18:16:44 2005
Return-Path: <maball@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.204])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 9A5EB33A622
	for <Jdrew-all@jdrew.org>; Wed, 16 Nov 2005 18:16:44 -0400 (AST)
Received: by zproxy.gmail.com with SMTP id z6so1906073nzd
	for <Jdrew-all@jdrew.org>; Wed, 16 Nov 2005 14:17:24 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=RqqVjGe/fX8/bfFO4w3a6O8DKXH8I7nChU1e8NmpsDqc9sLjZir6RhMibxgDwKel8UreAkq345o1bHWvVVG7ZRUIM9umzVSLmNEKJQo9iGSmwCjKKssg83ZRex4UzMPOEG6pVe0JkUCTcNEK2T4AMVaHi4dFlS57K4HPHDsinCQ=
Received: by 10.65.250.6 with SMTP id c6mr2966034qbs;
	Wed, 16 Nov 2005 14:17:24 -0800 (PST)
Received: by 10.65.147.7 with HTTP; Wed, 16 Nov 2005 14:17:24 -0800 (PST)
Message-ID: <b66f3bc40511161417k2c035e98qdb8a162095c75806@mail.gmail.com>
Date: Wed, 16 Nov 2005 15:17:24 -0700
From: Marcel Ball <maball@gmail.com>
To: Sian Lun Lau <wahlau@gmail.com>
Subject: Re: [Jdrew-all] Question on ooJdrew
In-Reply-To: <f85e15730511161217r50a65002r@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <f85e15730511161217r50a65002r@mail.gmail.com>
Cc: Jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 16 Nov 2005 22:16:44 -0000

Hello,

One important consideration when attempting to do negation as failure
is that it only currently works in the top-down engine, so if you are
using the bottom-up engine Naf is not available to you.

If you have an Atom in the body of a query/rule that you want negation
as failure you should simply have to place <Naf></Naf> tags around
that Atom element.

As for the second question there are a set of built-in relations
(information about what ones are implement are on
http://www.jdrew.org/oojdrew/builtins.html) that can also be used - so
if you wanted to have the condition that ?X is greater than ?Y you
would have a condition in the body of your clause that is

greaterThan(?X, ?Y)

One thing to be careful about though is that the values that ?X and ?Y
are bound to must be typed as either "Integer" (for integer
comparison), "Real", or "String" (for lexicographical comparison).

For example in the following rule base:

a(1: Integer).
b(2: Integer).

c(?X, ?Y) :- a(?X), b(?Y), greaterThan(?Y, ?X).

the query c(?X, ?Y) will succeed with ?X being bound to 1: Integer and
?Y being bound to 2:Integer.

If instead you had:

a(1).
b(2).

c(?X, ?Y) :- a(?X), b(?Y), greaterThan(?Y, ?X).

the query c(?X, ?Y) will fail as it doesn't have types for what ?X and
?Y get bound to and thus can't do a comparison.

Marcel

On 11/16/05, Sian Lun Lau <wahlau@gmail.com> wrote:
> Hi all,
>
> i have asked months ago how can i used <Naf> with ooJDrew, and we have
> yet to get things work as it should. David had helped but i think we
> just got stucked and did not moved on.
>
> i tried the examples and looked through some codes, and wonder if i
> have missed out something or perhaps misunderstood things. I would
> appreciate it. if anyone can point out how negation be used with this
> rule engine.
>
> secondly, i was wondering if i can make rules not based on a direct
> fact, but something relational such as more than or less than. Hope it
> would, else perhaps i must try out some other engine/rule language
> then.
>
> thanks a lot.
>
> regards,
> SianLun
> --
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
> normal reply to wahlau@gmail.com
> urgent reply to slau@wahlau.org
> --- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>


--
Marcel Ball <maball@gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas,
obscure pure reasoning, and inhibit clarity.
With a little pratice, writing can be an intimidating
and impenetrable fog!
           - Calvin

From wahlau@gmail.com  Fri Mar 24 12:33:50 2006
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.194])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 01ED533A65A
	for <jdrew-all@jdrew.org>; Fri, 24 Mar 2006 12:33:50 -0400 (AST)
Received: by zproxy.gmail.com with SMTP id 13so794172nzn
	for <jdrew-all@jdrew.org>; Fri, 24 Mar 2006 08:33:51 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
	b=obDyWvP2n4V8hLK2E4imExx0E2GL9/hfytlnNf5FGNJseWsV5akXX+IzpTil0hCkiETGeZMjBEsVM7m+emL6c3kIVqAff2SvzYIBE/R+qqJ03Ac2DVmvbUZA+dg+LX3IpEUWJSatHa1Klp68QjIetcQ9IYgBKaPnwr3oeKQq9rU=
Received: by 10.65.137.12 with SMTP id p12mr845170qbn;
	Fri, 24 Mar 2006 08:33:51 -0800 (PST)
Received: by 10.65.243.16 with HTTP; Fri, 24 Mar 2006 08:33:51 -0800 (PST)
Message-ID: <f85e15730603240833r4e61397h@mail.gmail.com>
Date: Fri, 24 Mar 2006 17:33:51 +0100
From: "Wahlau -" <wahlau@gmail.com>
To: jdrew-all@jdrew.org
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: [Jdrew-all] licensing issue with (oo)jdrew
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Fri, 24 Mar 2006 16:33:50 -0000

Hi all,

been a while since i hear something from the list. Concerning a mail
in the list long ago, are jdrew and oojdrew now LGPL, or still GPL?

thanks.

regards,
SianLun
--
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
normal reply to wahlau@gmail.com
urgent reply to slau@wahlau.org
--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

From B.Orriens@uvt.nl  Tue Mar 28 10:08:24 2006
Return-Path: <B.Orriens@uvt.nl>
Delivered-To: jdrew-all@jdrew.org
Received: from agnes.uvt.nl (agnes.uvt.nl [137.56.247.33])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 5AE8A33A62A
	for <Jdrew-all@jdrew.org>; Tue, 28 Mar 2006 10:08:24 -0400 (AST)
Received: from localhost (localhost [127.0.0.1])
	by agnes.uvt.nl (Postfix) with ESMTP id AF6B751F
	for <Jdrew-all@jdrew.org>; Tue, 28 Mar 2006 16:08:23 +0200 (CEST)
Received: from agnes.uvt.nl ([127.0.0.1])
	by localhost (agnes [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
	id 29304-02 for <Jdrew-all@jdrew.org>;
	Tue, 28 Mar 2006 16:08:23 +0200 (CEST)
Received: from chatelet.uvt.nl (unknown [IPv6:fe80::20b:cdff:feff:ee6d%eth2])
	by agnes.uvt.nl (Postfix) with ESMTP id 8DEDB3D1
	for <Jdrew-all@jdrew.org>; Tue, 28 Mar 2006 16:08:23 +0200 (CEST)
Received: from kubnw9.kub.nl (kubnw9.uvt.nl [137.56.12.25])
	by chatelet.uvt.nl (Postfix) with ESMTP id 9F2DD84
	for <Jdrew-all@jdrew.org>; Tue, 28 Mar 2006 16:08:23 +0200 (CEST)
Received: from Borriens [137.56.45.36] by kubnw9.kub.nl
	with NetMail ModWeb Module; Tue, 28 Mar 2006 16:08:23 +0200
Subject: Re: [Jdrew-all] Question on ooJdrew
From: "Bart Orriens" <B.Orriens@uvt.nl>
To: Jdrew-all@jdrew.org
Date: Tue, 28 Mar 2006 16:08:23 +0200
X-Mailer: NetMail ModWeb Module
X-Sender: Borriens
MIME-Version: 1.0
Message-ID: <1143554903.b8e7fb00Borriens@kubnw9.kub.nl>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at uvt.nl
X-Spam-Cookie: 8b33bdc2c6b3ff1a9fc34476bdc31630232c4e84
X-Spam-Status: No, hits=-2.6, required=6.3 tests=BAYES_00
X-Spam-Level: -
X-Spam-Flag: No
Cc: 
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Tue, 28 Mar 2006 14:08:24 -0000


Hello everybody,

I've been out of the loop for a while, and trying to assess what the curren=
t status is on both ruleML and ooJdrew. Is there any new progress? (since=
 the mailing list has been extremely quiet) In particular, is there any a=
dvancement with regard to the incorporation of modal logics into the lang=
uage?

Cheers,
Bart Orriens
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Drs. Bart Orriens          
B704, Tilburg University =09
PO Box 90153, 5000 LE Tilburg, =09 
The Netherlands
Phone : +31 13 4662779 
Fax   : +31 13 4663069                 
Email : b.orriens@uvt.nl
Web   : http://infolab.uvt.nl/~borriens   
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

From wahlau@gmail.com  Wed Mar 29 15:17:32 2006
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.235])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id E16FE33A62A
	for <jdrew-all@jdrew.org>; Wed, 29 Mar 2006 15:17:31 -0400 (AST)
Received: by wproxy.gmail.com with SMTP id i31so242100wra
	for <jdrew-all@jdrew.org>; Wed, 29 Mar 2006 11:17:33 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
	b=LPe42KKs9jISyKJdhihvl6cg80kMQaKATxrt/S6KSNujG+E8PXqjZCL1RPAFQlYsKxg/3TW/QEKueaNLHPNhW6lPwwkBf8ryHtFg0KlUSHPP8DZ5f+6NRESIR3HS7W1sHXIPgVs8furLLoxMQdvzzAWklyRtXHogTCeQ5yArA4Q=
Received: by 10.65.105.13 with SMTP id h13mr775463qbm;
	Wed, 29 Mar 2006 11:17:33 -0800 (PST)
Received: by 10.65.224.7 with HTTP; Wed, 29 Mar 2006 11:17:33 -0800 (PST)
Message-ID: <f85e15730603291117h46a768b8w6d9c61bc412941be@mail.gmail.com>
Date: Wed, 29 Mar 2006 21:17:33 +0200
From: "Wahlau -" <wahlau@gmail.com>
To: jdrew-all@jdrew.org
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: [Jdrew-all] Negation revisited
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Wed, 29 Mar 2006 19:17:32 -0000

Hi guys,

have found Jing Mei's work in the website, and tried out the Naf with
oojdrew. In pricinple it works, but after playing around, the negation
takes place no matter any value the fact special carries (i am
refering to the given example). Is that normal? my understanding is,
if both onsale and special equals to clothes, then Naf should be
effective, while if i have onsale =3D clothes and special =3D shoes, i
will still get the same answer as special =3D clothes.

perhaps i have got something wrong here...

btw, does oojdrew supports <Or> in <Implies> anyhow? i have checked
through my best, and think oojdrew supports only <And>, <Atom> and
<Naf>.

thanks...

regards,
SianLun

--
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
normal reply to wahlau@gmail.com
urgent reply to slau@wahlau.org
--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

From jingmei.may@gmail.com  Thu Mar 30 04:43:27 2006
Return-Path: <jingmei.may@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.194])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 2FF2333A664
	for <jdrew-all@jdrew.org>; Thu, 30 Mar 2006 04:43:27 -0400 (AST)
Received: by zproxy.gmail.com with SMTP id z3so356382nzf
	for <jdrew-all@jdrew.org>; Thu, 30 Mar 2006 00:43:29 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:mime-version:content-type;
	b=SM+i6PIZ4Q2Uso7knk0rGW9+6Fee1qWBQGGTqySV2RC5UFaHZoUG4J6JD7giveogKYBWFnliyEzRRkRV23JkOXkkzw0xzRhLfVQjdmA0Cpeb+ULSDbhoBKFeFx6kuT/PF/z0f/kFKG7A10QqYJkAL4Zx4p7eNGPHFyIOQvLWvVI=
Received: by 10.36.59.17 with SMTP id h17mr908099nza;
	Thu, 30 Mar 2006 00:43:29 -0800 (PST)
Received: by 10.37.2.65 with HTTP; Thu, 30 Mar 2006 00:43:29 -0800 (PST)
Message-ID: <7c007810603300043v40ff186bi81d2744409d87e11@mail.gmail.com>
Date: Thu, 30 Mar 2006 16:43:29 +0800
From: "Jing Mei" <jingmei.may@gmail.com>
To: jdrew-all@jdrew.org
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_345_8885355.1143708209502"
Subject: [Jdrew-all] Sorry for NAF bugs in extended oo jdrew
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 30 Mar 2006 08:43:27 -0000

------=_Part_345_8885355.1143708209502
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hi SianLun and all,

I read your email "[Jdrew-all] Negation revisited" from
http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.html -- Thanks
for your comments!

Recalling to the strategy of NAF (e.g. *Naf(special(?product))* in our
example) in BUTree.java, we actually rebuild a fresh query (i.e.
*qDC=3Dspecial(?product)*) to the rule base. If such query is unified with
certain constant (i.e. *?product=3Dclothes* or *?product=3Dshoes*), then th=
e
corresponding rule is removed. Unfortunately, such unifier does not conside=
r
other bindings in the same rule (e.g. *onsale(?product)*, where *?product*
should be identical to that of *special*). That's the reason why the
negation takes place no matter any value the fact *special* carries, as you
pointed out.

Sorry for making such bugs -- i will try to figure it out, if possible.

Thanks,
Jing

------=_Part_345_8885355.1143708209502
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hi SianLun and all,<br>
<br>
I read your email &quot;[Jdrew-all] Negation revisited&quot; from
<a href=3D"http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.htm=
l">http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.html</a> --
Thanks for your comments!<br>
<br>
Recalling to the strategy of NAF (e.g. *Naf(special(?product))* in our
example) in BUTree.java, we actually rebuild a fresh query (i.e.
*qDC=3Dspecial(?product)*) to the rule base. If such query is unified
with certain constant (i.e. *?product=3Dclothes* or *?product=3Dshoes*),
then the corresponding rule is removed. Unfortunately, such unifier
does not consider other bindings in the same rule (e.g.
*onsale(?product)*, where *?product* should be identical to that of
*special*). That's the reason why the negation takes place no matter
any value the fact *special* carries, as you pointed out.<br>
<br>
Sorry for making such bugs -- i will try to figure it out, if possible.<br>
<br>
Thanks,<br>
Jing<br>

------=_Part_345_8885355.1143708209502--

From jingmei.may@gmail.com  Thu Mar 30 06:01:12 2006
Return-Path: <jingmei.may@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.207])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 395DC33A664
	for <jdrew-all@jdrew.org>; Thu, 30 Mar 2006 06:01:12 -0400 (AST)
Received: by zproxy.gmail.com with SMTP id z3so368435nzf
	for <jdrew-all@jdrew.org>; Thu, 30 Mar 2006 02:01:14 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references;
	b=kTo8mLi7FdPFWQWPjluEp3aBPvjA+VzNC920ubUNHLvDs3C5TrgqmT11n+cyxSaOyViWDuXRAoyFY2QC0CuQxol5mrfwljx4POYnTE7CjI6BiBqF1dKc+xLJynnuE94IVfjKqaNBxA+vHYo98ioW2ZCuu54DgTi1K0H7q1hkZAI=
Received: by 10.36.220.41 with SMTP id s41mr489024nzg;
	Thu, 30 Mar 2006 02:01:09 -0800 (PST)
Received: by 10.37.2.65 with HTTP; Thu, 30 Mar 2006 02:01:09 -0800 (PST)
Message-ID: <7c007810603300201v7f732a1che56b85547a7b367b@mail.gmail.com>
Date: Thu, 30 Mar 2006 18:01:09 +0800
From: "Jing Mei" <jingmei.may@gmail.com>
To: "Wahlau -" <wahlau@gmail.com>
Subject: Re: [Jdrew-all] Sorry for NAF bugs in extended oo jdrew
In-Reply-To: <f85e15730603300122h3a51d025y9cbbf31e33ac7390@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_521_23711311.1143712869224"
References: <7c007810603300043v40ff186bi81d2744409d87e11@mail.gmail.com>
	<f85e15730603300122h3a51d025y9cbbf31e33ac7390@mail.gmail.com>
Cc: jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 30 Mar 2006 10:01:12 -0000

------=_Part_521_23711311.1143712869224
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hi SianLun,

If the value does not match, then we will remove the *Naf* term rather than
the whole rule.

For more on the NAF in OO jDREW, the link of
http://www.w3.org/2004/12/rules-ws/paper/49/#extensions perhaps gives some
hints, besides that of http://www.jdrew.org/oojdrew/exa/extensions.html.

As far as I know (however, i am not sure), <Or> is supported by RuleML but
not implemented in OO jDREW yet.

Thanks,
Jing


On 3/30/06, Wahlau - <wahlau@gmail.com> wrote:
>
> Hi Jing,
>
> if it is confirmed a bug, i will try to hack it a little by not
> removing it if the value does not matches.
>
> is there any more detail descriptions or explantion on Naf?
>
> and since you answered :) is there any possibility that you know how
> <Or> can be implemented with oojdrew?
>
> thanks...
>
> regards,
> SianLun
>
> On 30/03/06, Jing Mei <jingmei.may@gmail.com> wrote:
> > Hi SianLun and all,
> >
> >  I read your email "[Jdrew-all] Negation revisited" from
> > http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.html
> > -- Thanks for your comments!
> >
> >  Recalling to the strategy of NAF (e.g. *Naf(special(?product))* in our
> > example) in BUTree.java, we actually rebuild a fresh query (i.e.
> > *qDC=3Dspecial(?product)*) to the rule base. If such query is unified w=
ith
> > certain constant (i.e. *?product=3Dclothes* or *?product=3Dshoes*), the=
n the
> > corresponding rule is removed. Unfortunately, such unifier does not
> consider
> > other bindings in the same rule (e.g. *onsale(?product)*, where
> *?product*
> > should be identical to that of *special*). That's the reason why the
> > negation takes place no matter any value the fact *special* carries, as
> you
> > pointed out.
> >
> >  Sorry for making such bugs -- i will try to figure it out, if possible=
.
> >
> >  Thanks,
> >  Jing
> >
> > _______________________________________________
> > Jdrew-all mailing list
> > Jdrew-all@jdrew.org
> > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> >
> >
> >
>
>
> --
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
> normal reply to wahlau@gmail.com
> urgent reply to slau@wahlau.org
> --- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
>

------=_Part_521_23711311.1143712869224
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hi SianLun,<br>
<br>
If the value does not match, then we will remove the *Naf* term rather than=
 the whole rule.<br>
<br>
For more on the NAF in OO jDREW, the link of
<a href=3D"http://www.w3.org/2004/12/rules-ws/paper/49/#extensions">http://=
www.w3.org/2004/12/rules-ws/paper/49/#extensions</a> perhaps gives
some hints, besides that of
<a href=3D"http://www.jdrew.org/oojdrew/exa/extensions.html">http://www.jdr=
ew.org/oojdrew/exa/extensions.html</a>.<br>
<br>
As far as I know (however, i am not sure), &lt;Or&gt; is supported by RuleM=
L but not implemented in OO jDREW yet.<br>
<br>
Thanks,<br>
Jing<br>
<br><br><div><span class=3D"gmail_quote">On 3/30/06, <b class=3D"gmail_send=
ername">Wahlau -</b> &lt;<a href=3D"mailto:wahlau@gmail.com">wahlau@gmail.c=
om</a>&gt; wrote:</span><blockquote class=3D"gmail_quote" style=3D"border-l=
eft: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left:=
 1ex;">
Hi Jing,<br><br>if it is confirmed a bug, i will try to hack it a little by=
 not<br>removing it if the value does not matches.<br><br>is there any more=
 detail descriptions or explantion on Naf?<br><br>and since you answered :)=
 is there any possibility that you know how
<br>&lt;Or&gt; can be implemented with oojdrew?<br><br>thanks...<br><br>reg=
ards,<br>SianLun<br><br>On 30/03/06, Jing Mei &lt;<a href=3D"mailto:jingmei=
.may@gmail.com">jingmei.may@gmail.com</a>&gt; wrote:<br>&gt; Hi SianLun and=
 all,
<br>&gt;<br>&gt;&nbsp;&nbsp;I read your email &quot;[Jdrew-all] Negation re=
visited&quot; from<br>&gt; <a href=3D"http://mail.ruleml.org/pipermail/jdre=
w-all/2006-March/000019.html">http://mail.ruleml.org/pipermail/jdrew-all/20=
06-March/000019.html
</a><br>&gt; -- Thanks for your comments!<br>&gt;<br>&gt;&nbsp;&nbsp;Recall=
ing to the strategy of NAF (e.g. *Naf(special(?product))* in our<br>&gt; ex=
ample) in BUTree.java, we actually rebuild a fresh query (i.e.<br>&gt; *qDC=
=3Dspecial(?product)*) to the rule base. If such query is unified with
<br>&gt; certain constant (i.e. *?product=3Dclothes* or *?product=3Dshoes*)=
, then the<br>&gt; corresponding rule is removed. Unfortunately, such unifi=
er does not consider<br>&gt; other bindings in the same rule (e.g. *onsale(=
?product)*, where *?product*
<br>&gt; should be identical to that of *special*). That's the reason why t=
he<br>&gt; negation takes place no matter any value the fact *special* carr=
ies, as you<br>&gt; pointed out.<br>&gt;<br>&gt;&nbsp;&nbsp;Sorry for makin=
g such bugs -- i will try to figure it out, if possible.
<br>&gt;<br>&gt;&nbsp;&nbsp;Thanks,<br>&gt;&nbsp;&nbsp;Jing<br>&gt;<br>&gt;=
 _______________________________________________<br>&gt; Jdrew-all mailing =
list<br>&gt; <a href=3D"mailto:Jdrew-all@jdrew.org">Jdrew-all@jdrew.org</a>=
<br>&gt; <a href=3D"http://mail.jdrew.org/mailman/listinfo/jdrew-all">
http://mail.jdrew.org/mailman/listinfo/jdrew-all</a><br>&gt;<br>&gt;<br>&gt=
;<br><br><br>--<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D : : : ---<br>normal reply to <a href=3D"mailto:wahlau@gmail.com">=
wahlau@gmail.com</a><br>urgent reply to <a href=3D"mailto:slau@wahlau.org">
slau@wahlau.org</a><br>--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br></blockquote></div><br>

------=_Part_521_23711311.1143712869224--

From maball@gmail.com  Thu Mar 30 18:53:31 2006
Return-Path: <maball@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.193])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id EC8DD33A628
	for <jdrew-all@jdrew.org>; Thu, 30 Mar 2006 18:53:30 -0400 (AST)
Received: by zproxy.gmail.com with SMTP id 14so630610nzn
	for <jdrew-all@jdrew.org>; Thu, 30 Mar 2006 14:53:34 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references;
	b=O4JZNZqKcpU4NuFnkx35vOJDcfRwclYT8r3fZPE++88n/6tcL0JjlWKCJw43zV5Yi666XCDqhntsAR2etR2nu/k/5vMj7e0UkkAFtH7ebyFu0JfvtDTC0gJVRLDL46/9PQTw2mjLZcD9Q580onHKzpSxiosIqFeOCZ6gZcus2zA=
Received: by 10.65.103.19 with SMTP id f19mr61439qbm;
	Thu, 30 Mar 2006 14:53:22 -0800 (PST)
Received: by 10.65.141.16 with HTTP; Thu, 30 Mar 2006 14:53:22 -0800 (PST)
Message-ID: <b66f3bc40603301453s2e477373rfa90ede8890284b9@mail.gmail.com>
Date: Thu, 30 Mar 2006 15:53:22 -0700
From: "Marcel Ball" <maball@gmail.com>
To: "Wahlau -" <wahlau@gmail.com>
Subject: Re: [Jdrew-all] Sorry for NAF bugs in extended oo jdrew
In-Reply-To: <7c007810603300201v7f732a1che56b85547a7b367b@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_11990_2599015.1143759202954"
References: <7c007810603300043v40ff186bi81d2744409d87e11@mail.gmail.com>
	<f85e15730603300122h3a51d025y9cbbf31e33ac7390@mail.gmail.com>
	<7c007810603300201v7f732a1che56b85547a7b367b@mail.gmail.com>
Cc: jdrew-all@jdrew.org
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Thu, 30 Mar 2006 22:53:31 -0000

------=_Part_11990_2599015.1143759202954
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

If possible you may want consider using the top-down version of OO jDREW fo=
r
working with NAF, it has had NAF implemented longer and may be less
problematic (although I cannot guarantee this).

With regards to <Or>, Jing's statements are correct; while <Or> is specifie=
d
in the RuleML standard, it has not yet been implemented in OO jDREW. You
would need to rewrite any implications with <Or>s in the body as multiple
rules that only use <And>.

~marcel

On 3/30/06, Jing Mei <jingmei.may@gmail.com> wrote:
>
> Hi SianLun,
>
> If the value does not match, then we will remove the *Naf* term rather
> than the whole rule.
>
> For more on the NAF in OO jDREW, the link of
> http://www.w3.org/2004/12/rules-ws/paper/49/#extensions perhaps gives som=
e
> hints, besides that of http://www.jdrew.org/oojdrew/exa/extensions.html.
>
> As far as I know (however, i am not sure), <Or> is supported by RuleML bu=
t
> not implemented in OO jDREW yet.
>
> Thanks,
> Jing
>
>
> On 3/30/06, Wahlau - <wahlau@gmail.com> wrote:
> >
> > Hi Jing,
> >
> > if it is confirmed a bug, i will try to hack it a little by not
> > removing it if the value does not matches.
> >
> > is there any more detail descriptions or explantion on Naf?
> >
> > and since you answered :) is there any possibility that you know how
> > <Or> can be implemented with oojdrew?
> >
> > thanks...
> >
> > regards,
> > SianLun
>
>
>
> On 30/03/06, Jing Mei <jingmei.may@gmail.com> wrote:
> > Hi SianLun and all,
> >
> >  I read your email "[Jdrew-all] Negation revisited" from
> > http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.html
> > -- Thanks for your comments!
> >
> >  Recalling to the strategy of NAF (e.g. *Naf(special(?product))* in our
> > example) in BUTree.java, we actually rebuild a fresh query (i.e.
> > *qDC=3Dspecial(?product)*) to the rule base. If such query is unified w=
ith
>
> > certain constant (i.e. *?product=3Dclothes* or *?product=3Dshoes*), the=
n the
> > corresponding rule is removed. Unfortunately, such unifier does not
> consider
> > other bindings in the same rule (e.g. *onsale(?product)*, where
> *?product*
> > should be identical to that of *special*). That's the reason why the
> > negation takes place no matter any value the fact *special* carries, as
> you
> > pointed out.
> >
> >  Sorry for making such bugs -- i will try to figure it out, if possible=
.
>
> >
> >  Thanks,
> >  Jing
> >
> > _______________________________________________
> > Jdrew-all mailing list
> > Jdrew-all@jdrew.org
> > http://mail.jdrew.org/mailman/listinfo/jdrew-all
> >
> >
> >
>
>
> --
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : : ---
> normal reply to wahlau@gmail.com
> urgent reply to slau@wahlau.org
> --- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D
>
>
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all@jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>
>
>


--
Marcel Ball <maball@gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas,
obscure pure reasoning, and inhibit clarity.
With a little pratice, writing can be an intimidating
and impenetrable fog!
           - Calvin

------=_Part_11990_2599015.1143759202954
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

If possible you may want consider using the top-down version of OO jDREW fo=
r working with NAF, it has had NAF implemented longer and may be less probl=
ematic (although I cannot guarantee this). <br><br>With regards to &lt;Or&g=
t;, Jing's statements are correct; while &lt;Or&gt; is specified in the Rul=
eML standard, it has not yet been implemented in OO jDREW. You would need t=
o rewrite any implications with &lt;Or&gt;s in the body as multiple rules t=
hat only use &lt;And&gt;.
<br><br>~marcel<br><br><div><span class=3D"gmail_quote">On 3/30/06, <b clas=
s=3D"gmail_sendername">Jing Mei</b> &lt;<a href=3D"mailto:jingmei.may@gmail=
.com">jingmei.may@gmail.com</a>&gt; wrote:</span><blockquote class=3D"gmail=
_quote" style=3D"border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt=
 0pt 0.8ex; padding-left: 1ex;">
<div style=3D"direction: ltr;">Hi SianLun,<br>
<br>
If the value does not match, then we will remove the *Naf* term rather than=
 the whole rule.<br>
<br>
For more on the NAF in OO jDREW, the link of
<a href=3D"http://www.w3.org/2004/12/rules-ws/paper/49/#extensions" target=
=3D"_blank" onclick=3D"return top.js.OpenExtLink(window,event,this)">http:/=
/www.w3.org/2004/12/rules-ws/paper/49/#extensions</a> perhaps gives
some hints, besides that of
<a href=3D"http://www.jdrew.org/oojdrew/exa/extensions.html" target=3D"_bla=
nk" onclick=3D"return top.js.OpenExtLink(window,event,this)">http://www.jdr=
ew.org/oojdrew/exa/extensions.html</a>.<br>
<br>
As far as I know (however, i am not sure), &lt;Or&gt; is supported by RuleM=
L but not implemented in OO jDREW yet.<br>
<br>
Thanks,<br>
Jing<br>
<br><br><div><span class=3D"gmail_quote">On 3/30/06, <b class=3D"gmail_send=
ername">Wahlau -</b> &lt;<a href=3D"mailto:wahlau@gmail.com" target=3D"_bla=
nk" onclick=3D"return top.js.OpenExtLink(window,event,this)">wahlau@gmail.c=
om</a>
&gt; wrote:</span><blockquote class=3D"gmail_quote" style=3D"border-left: 1=
px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"=
>
Hi Jing,<br><br>if it is confirmed a bug, i will try to hack it a little by=
 not<br>removing it if the value does not matches.<br><br>is there any more=
 detail descriptions or explantion on Naf?<br><br>and since you answered :)=
 is there any possibility that you know how
<br>&lt;Or&gt; can be implemented with oojdrew?<br><br>thanks...<br><br>reg=
ards,<br>SianLun</blockquote></div><div style=3D"direction: ltr;"><span cla=
ss=3D"e" id=3D"q_10a4a99a4acfd7d2_1"><br><br>On 30/03/06, Jing Mei &lt;<a h=
ref=3D"mailto:jingmei.may@gmail.com" target=3D"_blank" onclick=3D"return to=
p.js.OpenExtLink(window,event,this)">
jingmei.may@gmail.com</a>&gt; wrote:<br>&gt; Hi SianLun and all,
<br>&gt;<br>&gt;&nbsp;&nbsp;I read your email &quot;[Jdrew-all] Negation re=
visited&quot; from<br>&gt; <a href=3D"http://mail.ruleml.org/pipermail/jdre=
w-all/2006-March/000019.html" target=3D"_blank" onclick=3D"return top.js.Op=
enExtLink(window,event,this)">
http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.html
</a><br>&gt; -- Thanks for your comments!<br>&gt;<br>&gt;&nbsp;&nbsp;Recall=
ing to the strategy of NAF (e.g. *Naf(special(?product))* in our<br>&gt; ex=
ample) in BUTree.java, we actually rebuild a fresh query (i.e.<br>&gt; *qDC=
=3Dspecial(?product)*) to the rule base. If such query is unified with
<br>&gt; certain constant (i.e. *?product=3Dclothes* or *?product=3Dshoes*)=
, then the<br>&gt; corresponding rule is removed. Unfortunately, such unifi=
er does not consider<br>&gt; other bindings in the same rule (e.g. *onsale(=
?product)*, where *?product*
<br>&gt; should be identical to that of *special*). That's the reason why t=
he<br>&gt; negation takes place no matter any value the fact *special* carr=
ies, as you<br>&gt; pointed out.<br>&gt;<br>&gt;&nbsp;&nbsp;Sorry for makin=
g such bugs -- i will try to figure it out, if possible.
<br>&gt;<br>&gt;&nbsp;&nbsp;Thanks,<br>&gt;&nbsp;&nbsp;Jing<br>&gt;<br></sp=
an></div><div style=3D"direction: ltr;">&gt; ______________________________=
_________________<br>&gt; Jdrew-all mailing list<br>&gt; <a href=3D"mailto:=
Jdrew-all@jdrew.org" target=3D"_blank" onclick=3D"return top.js.OpenExtLink=
(window,event,this)">
Jdrew-all@jdrew.org</a><br>&gt; <a href=3D"http://mail.jdrew.org/mailman/li=
stinfo/jdrew-all" target=3D"_blank" onclick=3D"return top.js.OpenExtLink(wi=
ndow,event,this)">
http://mail.jdrew.org/mailman/listinfo/jdrew-all</a><br>&gt;<br>&gt;<br>&gt=
;<br><br><br>--<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D : : : ---<br>normal reply to <a href=3D"mailto:wahlau@gmail.com" =
target=3D"_blank" onclick=3D"return top.js.OpenExtLink(window,event,this)">
wahlau@gmail.com</a><br>urgent reply to <a href=3D"mailto:slau@wahlau.org" =
target=3D"_blank" onclick=3D"return top.js.OpenExtLink(window,event,this)">
slau@wahlau.org</a><br>--- : : : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br></div><br>

</div><br>_______________________________________________<br>Jdrew-all mail=
ing list<br><a onclick=3D"return top.js.OpenExtLink(window,event,this)" hre=
f=3D"mailto:Jdrew-all@jdrew.org">Jdrew-all@jdrew.org</a><br><a onclick=3D"r=
eturn top.js.OpenExtLink(window,event,this)" href=3D"http://mail.jdrew.org/=
mailman/listinfo/jdrew-all" target=3D"_blank">
http://mail.jdrew.org/mailman/listinfo/jdrew-all</a><br><br><br></blockquot=
e></div><br><br clear=3D"all"><br>-- <br>Marcel Ball &lt;<a href=3D"mailto:=
maball@gmail.com">maball@gmail.com</a>&gt;<br><br>-------------------------=
----------------------
<br>The purpose of writing is to inflate weak ideas, <br>obscure pure reaso=
ning, and inhibit clarity. <br>With a little pratice, writing can be an int=
imidating <br>and impenetrable fog!<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp; - Calvin

------=_Part_11990_2599015.1143759202954--

From B.Orriens@uvt.nl  Tue Apr  4 05:52:28 2006
Return-Path: <B.Orriens@uvt.nl>
Delivered-To: jdrew-all@jdrew.org
Received: from agnes.uvt.nl (agnes.uvt.nl [137.56.247.33])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id EAAB133A622
	for <jdrew-all@jdrew.org>; Tue,  4 Apr 2006 05:52:27 -0300 (ADT)
Received: from localhost (localhost [127.0.0.1])
	by agnes.uvt.nl (Postfix) with ESMTP id 684DE4DB
	for <jdrew-all@jdrew.org>; Tue,  4 Apr 2006 10:52:34 +0200 (CEST)
Received: from agnes.uvt.nl ([127.0.0.1])
	by localhost (agnes [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
	id 26644-05 for <jdrew-all@jdrew.org>;
	Tue, 4 Apr 2006 10:52:34 +0200 (CEST)
Received: from chatelet.uvt.nl (unknown [IPv6:fe80::20b:cdff:feff:adf0%eth1])
	by agnes.uvt.nl (Postfix) with ESMTP id 3F8514BF
	for <jdrew-all@jdrew.org>; Tue,  4 Apr 2006 10:52:34 +0200 (CEST)
Received: from kubnw9.kub.nl (kubnw9.uvt.nl [137.56.12.25])
	by chatelet.uvt.nl (Postfix) with ESMTP id 55AFE85
	for <jdrew-all@jdrew.org>; Tue,  4 Apr 2006 10:52:34 +0200 (CEST)
Received: from Borriens [137.56.45.36] by kubnw9.kub.nl
	with NetMail ModWeb Module; Tue, 04 Apr 2006 10:52:34 +0200
From: "Bart Orriens" <B.Orriens@uvt.nl>
To: jdrew-all@jdrew.org
Date: Tue, 04 Apr 2006 10:52:34 +0200
X-Mailer: NetMail ModWeb Module
X-Sender: Borriens
MIME-Version: 1.0
Message-ID: <1144140754.c3f63ee0Borriens@kubnw9.kub.nl>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at uvt.nl
X-Spam-Cookie: 1027b38f2deb2889ccc43621b2607ee8f3150d8b
X-Spam-Status: No, hits=-2.6, required=6.3 tests=BAYES_00
X-Spam-Level: -
X-Spam-Flag: No
Subject: [Jdrew-all] Questions regarding RuleML status
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pipermail/jdrew-all>
List-Post: <mailto:jdrew-all@jdrew.org>
List-Help: <mailto:jdrew-all-request@jdrew.org?subject=help>
List-Subscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=subscribe>
X-List-Received-Date: Tue, 04 Apr 2006 08:52:29 -0000


Hello everyone,

I have a couple of questions concerning the status of RuleML as it stands r=
ight now. Hopefully you can provide me with (some of) the answers. The qu=
estions I have are the following:

Concerning RuleML itself:

* how are rule labels defined, and what does this look like in the POSL cou=
nterpart?
* is modality supported, if so which ones and how? (like modal logic, deont=
ic logic, temporal logic)
* how are quantifiers expressed in POSL? 

Concerning OO jDREW:

* does the engine support strong negation already, i.e. 'Not'? and what abo=
ut 'Naf'
* are priority statements of the type 'overrides' already supported?
* related to that, can rules be labelled already in OO jDREW?

Concerning Policy RuleML:

* has anything been happening in that regard, like an inital policy languag=
e?

I would be much obliged if you could answer one or more of these questions.

Kind regards,
Bart Orriens
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Drs. Bart Orriens          
B704, Tilburg University =09
PO Box 90153, 5000 LE Tilburg, =09 
The Netherlands
Phone : +31 13 4662779 
Fax   : +31 13 4663069                 
Email : b.orriens@uvt.nl
Web   : http://infolab.uvt.nl/~borriens   
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

From wahlau@gmail.com  Tue Apr  4 06:24:11 2006
Return-Path: <wahlau@gmail.com>
Delivered-To: jdrew-all@jdrew.org
Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.205])
	by iitfrddmz05.iit.nrc.gc.ca (Postfix) with ESMTP id 0629133A622
	for <jdrew-all@jdrew.org>; Tue,  4 Apr 2006 06:24:10 -0300 (ADT)
Received: by zproxy.gmail.com with SMTP id 14so1913080nzn
	for <jdrew-all@jdrew.org>; Tue, 04 Apr 2006 02:24:17 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=WyIYamebZeEyKxR5eOv2Z3r+fIDZfjMpuL9aTpgSXL0PqEH0g0OyT6RcqZEEmmT7oIHDuH7WXBPTRvj+s935NUJU0RLDyQf7g9nGehl1Km+OJFuVcy15KtWqbZX486okSla+vwSRMcIlLcDG2VGK2miIkA0zy8Izc5DkipvhHGM=
Received: by 10.65.54.20 with SMTP id g20mr201016qbk;
	Tue, 04 Apr 2006 02:24:17 -0700 (PDT)
Received: by 10.65.232.9 with HTTP; Tue, 4 Apr 2006 02:24:17 -0700 (PDT)
Message-ID: <f85e15730604040224u29da0b48ld82ec6b96c489adc@mail.gmail.com>
Date: Tue, 4 Apr 2006 11:24:17 +0200
From: "Wahlau -" <wahlau@gmail.com>
To: jdrew-all@jdrew.org
Subject: Re: [Jdrew-all] Questions regarding RuleML status
In-Reply-To: <1144140754.c3f63ee0Borriens@kubnw9.kub.nl>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <1144140754.c3f63ee0Borriens@kubnw9.kub.nl>
X-BeenThere: jdrew-all@jdrew.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: General topics of the Java Deductive Reasoning Engine (jDREW)
	<jdrew-all.jdrew.org>
List-Unsubscribe: <http://mail.jdrew.org/mailman/listinfo/jdrew-all>,
	<mailto:jdrew-all-request@jdrew.org?subject=unsubscribe>
List-Archive: <http://mail.ruleml.org/pip