W3C home > Mailing lists > Public > public-xg-w3pm@w3.org > August 2008

Re: Paper on Quantities in OWL

From: Bijan Parsia <bijan@clarkparsia.com>
Date: Tue, 26 Aug 2008 19:42:29 +0100
Message-ID: <6356365e0808261142jeb16637t58536383c885d212@mail.gmail.com>
To: "David Leal" <david.leal@caesarsystems.co.uk>
Cc: public-xg-w3pm@w3.org


I was thinking a bit more, and I was wondering if you happened to have
any pointers to quantity typing in computational systems beyond
dimensionality. My usual sources seem a bit dry on this, e.g.,:


On page 3 of:

He mentions the problem that dimensional consistency is not sufficient
for comparability. Grr. I don't have time to find today other places
where he talks about that right now :(

But I suppose he'd rely on the rest of the type system (but isn't ML's
structural?) for such additional subdivisions.

Received on Tuesday, 26 August 2008 18:43:11 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:38:52 UTC