From: David Martin (martin@AI.SRI.COM)
Date: 12/16/03
Hello Joint Committee -- This may be of some interest, in the category of "related work". And also in the category of requirements. That is, we OWL-S folks would sure like to be able to express non-rule conditions; that is, logical expressions that evaluate to true or false, without having to rely on any approaches based on either empty-antecedent or empty-consequent. If that's already in SWRL, please let me know (I'm a bit behind). Regards, David Martin -------- Original Message -------- Subject: OWL-S Date: Thu, 04 Dec 2003 16:14:44 +0100 From: Juergen Zimmer <jzimmer@ags.uni-sb.de> To: martin@AI.SRI.COM Dear David Martin, I'm interested in service descriptions for the semantic web and had a brief look at the OWL-S webpage: http://www.daml.org/services/owl-s/1.0/ ... - One thing that I immediately thought when looking at the note at http://www.daml.org/services/owl-s/1.0/conditions.html is that you encode some (subset of) first-order logic there, with quantifiers etc. I wonder whether you know of the OpenMath and MathML-Content intiatives which try to cover exactly this part. Looking at the OpenMath example for Forall, the structure looks pretty much like what you have written on page 3 of the above-mentioned document. <OMOBJ> <OMBIND> <OMS cd="quant1" name="forall"/> <OMBVAR> <OMV name="x"/> </OMBVAR> <OMA> <OMS name="implies" cd="logic1"/> <OMA> <OMS name="in" cd="set1"/> <OMV name="x"/> <OMS name="R" cd="setname1"/> </OMA> <OMA> <OMS cd="relation1" name="leq"/> <OMA> <OMS cd="arith1" name="abs"/> <OMA> <OMS cd="transc1" name="sin"/> <OMV name="x"/> </OMA> </OMA> <OMF dec="1.0"/> </OMA> </OMA> </OMBIND> </OMOBJ> OpenMath (MathML) is pretty well supported and already used by many people in Europe (USA). Cheers Jürgen
This archive was generated by hypermail 2.1.4 : 12/16/03 EST