RE: Doubts in TMCL Requirements

Hi everyone,

Just for confirm: as well the examples below (thanks Lars), is the
constraint "4.1.2.U4.c" of TMCL requirements valid?

U4. Valid topic type
--------------------
(c). Topic T can be used for typing subject indicator.
Example: Topic locator can only be used for typing subject indicator and
must not occur anywhere else.

Thanks in advance,

------------------------------------=20
Giovani Rubert Librelotto=20
Ph.D. Student - Informatics Department
Universidade do Minho=20
Braga - Portugal=20
[email protected]=20

"Trago dentro do meu cora=E7=E3o
como num cofre que n=E3o pode fechar de cheio,=20
todos os lugares onde estive,=20
todos os portos que cheguei,=20
todas as paisagens que vi atrav=E9s de janelas
ou vigias ou de tombadilho, sonhando,
e tudo isso que =E9 tanto =E9 pouco
para o que eu quero"
(Fernando Pessoa)


> --__--__--
>=20
> Message: 2
> To: [email protected]
> Subject: Re: [tmcl-wg] Doubts in TMCL Requirements
> From: Lars Marius Garshol <[email protected]>
> Date: Thu, 26 Feb 2004 23:43:26 +0100
> Reply-To: [email protected]
>=20
>=20
> * Giovani Librelotto
> =20
> | U3. Valid subject indicator
> | ---------------------------

> | (c). Topic of type T must have a subject indicator in scope S.
> | Example: Topic of type person must have a subject indicator=20
> in scope=20
> | social-security-number.
> |=20
> | (d). Topic of type T must have a subject indicator of type O.
> | Example: Topic of type country must have a subject=20
> indicator of type map.
> |=20
> | =3D=3D> Please, could you give me short XTM examples for this=20
> three cases?=20
> | For each use case, a valid topic and a invalid one.
>=20
> --- (c)
>=20
> This one makes no sense. Subject indicators don't have scope,=20
> so this can't be done. (I guess this might have been one=20
> reason you were confused by these. :-)
>=20
>=20
> --- (d)
>=20
> This one makes no sense, either, since subject indicators=20
> don't have types, either. (Another reason you were confused,=20
> I suppose.)
>=20
> Does this help?
>=20
> --=20
> Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
> GSM: +47 98 21 55 50                  <URL:=20
> http://www.garshol.priv.no >