W3C home > Mailing lists > Public > public-owl-wg@w3.org > May 2008

Re: ISSUE-125 (min1some): Min 1 QCR = someValuesFrom - Serialize as someValuesFrom?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 21 May 2008 09:49:53 +0100
Message-Id: <F579159D-DA52-403A-B4B8-D6E404661DC2@cs.man.ac.uk>
To: OWL Working Group WG <public-owl-wg@w3.org>

On May 21, 2008, at 8:12 AM, Rinke Hoekstra wrote:

> Hi,
> I suppose, the least we could do is add a short description of some  
> of these equivalencies to the Primer. For instance at [1] to  
> mention the equivalence between minCardinality and someValuesFrom.  
> And at [2] to say something about equivalentTo vs. subClassOf.  
> Conversely, some notions seem intuitively equivalent, but are not,  
> such as functional properties and exactly 1 cardinality restrictions.

I'm gearing up to work on the primer, and I agree some discussion of  
equivalent forms would be helpful. Not necessarily a list, but at  
least some insight into equivalence and when one might use one form  
over another.

I'll also point out that some of this occurs in the strucspec:

I agree, as well, that an exhaustive list isn't a goal. Interesting  
equivalences is more to the point.

Received on Wednesday, 21 May 2008 08:50:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:04 UTC