RE: SWRL sameAs/differentFrom inconsistency

From: Mike Dean ([email protected])
Date: 11/16/04

Next message: Benjamin Grosof: "my notes from today's 11/16/04 JC telecon"

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

> We should be consistent with what OWL does,
> and presumably that's exactly two?

OWL primarily uses the binary predicates owl:sameAs and owl:differentFrom.

owl:AllDifferent was a late addition that provides a shorthand for
expressing pairwise owl:differentFrom's among the specified individuals.

See [1].

> 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?

Adding it to the issues list seems fine to me.

	Mike

[1] http://www.w3.org/TR/owl-ref/#IndividualIdentity

Next message: Benjamin Grosof: "my notes from today's 11/16/04 JC telecon"
Previous message: Benjamin Grosof: "RE: SWRL builtinAtom/List inconsistency"
In reply to: Benjamin Grosof: "Re: 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/16/04 EST