Re: SWRL sameAs/differentFrom inconsistency

• Previous message: Mike Dean: "SWRL builtinAtom/List inconsistency"
• In reply to: Mike Dean: "SWRL sameAs/differentFrom inconsistency"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi all,

At 05:36 AM 11/15/2004 -0500, Mike Dean wrote:
>While recently writing translators between SWRL XML and SWRL RDF, I noticed
>an inconsistency in the SWRL specification ([1] and previous versions).
>
>The Abstract Syntax (and the RDF Concrete Syntax) use
>
>   sameAs '(' i-object i-object ')'
>   differentFrom '(' i-object i-object ')'
>
>while the XML Concrete Syntax (and swrlx.xsd) uses
>
>   <swrlx:sameIndividualAtom>
>     Content: ( swrlx:iObject* )
>   </swrlx:sameIndividualAtom>
>
>   <swrlx:differentIndividualsAtom>
>     Content: ( swrlx:iObject* )
>   </swrlx:differentIndividualsAtom>
>
>My preference would be to modify the XML Concrete Syntax to take exactly 2
>iObject's for both atoms.

Mine too -- with one caveat.  We should be consistent with what OWL does, 
and presumably that's exactly two?

In the longer term, it might be convenient to permit k-ary sameAs and k-ary 
differentFrom, how about we add that to the issues list?

Benjamin


>         Mike
>
>[1] http://www.daml.org/rules/proposal/

________________________________________________________________________________________________
Prof. Benjamin Grosof
Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, 
XML, Agents, Semantic Web Services
MIT Sloan School of Management, Information Technology group
http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof

• Next message: Benjamin Grosof: "Re: SWRL builtinAtom/List inconsistency"
• Previous message: Mike Dean: "SWRL builtinAtom/List inconsistency"
• In reply to: Mike Dean: "SWRL sameAs/differentFrom inconsistency"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 11/15/04 EST