W3C home > Mailing lists > Public > public-swbp-wg@w3.org > June 2004

OEP] Constrained hierarchies and meta-classes

From: Bernard Vatant <bernard.vatant@mondeca.com>
Date: Wed, 9 Jun 2004 00:00:09 +0200
To: "SWBPD" <public-swbp-wg@w3.org>
Message-ID: <GOEIKOOAMJONEFCANOKCOEJHEEAA.bernard.vatant@mondeca.com>

I have been struggling for a while to find out a generic representation of situations of
which the following one is an example. Seems close to the "Classes as Values" issue, but
quite different.

Suppose I have the three following classes and instances

Country :  France
Region  :  Alsace
City	  :  Strasbourg

The instances Strasbourg, Alsace and France are bound by a partitive (administrative or
geographical) relationship

Strasbourg 	 partOf	Alsace
Alsace 	 partOf 	France

The classes themselves are instances of a meta-class "Geographical Unit", being both Range
and Domain of another hierarchical relation like "isSubdivisionOf" (whatever, something to
make it distinct from the partOf relation at instance level)

Region subdivisionOf  Country
City   subdivisionOf  Region

It's clear that this relation is neither a subClassOf, nor a partOf relation

I have three questions about it :

1. What generic kind of relation is subdivisionOf? What are the modeling current

2. How to express it in SW languages?

3. How to express that the hierarchy defined by the partOf relation is "conformant" to, or
"inherited from" the hierarchy declared by the subdivisionOf relation, without having to
declare each specific restriction it entails, e.g:

Any City is part of some Region
Any Region is part of some Country


Bernard Vatant
Senior Consultant
Knowledge Engineering
Mondeca - www.mondeca.com
Received on Tuesday, 8 June 2004 18:03:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:09:39 UTC