<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#ffffff" text="#000000">
Greetings!<br>
<br>
Before I enter this as an issue for the TMCL project I wanted to check
my reading for section 6. TMCL Declarations.<br>
<br>
6.1 General says:<br>
<br>
<blockquote type="cite">TMCL provides a number of constructs known as
declarations, which allow Topic Maps constructs to be used in ways
which would otherwise be forbidden by the global validation rules.
Declarations are in a sense the opposite of constraints, in that their
effect is to relax constraints built into TMCL. </blockquote>
<br>
OK, so there are global validation rules that prevent some use and the
declarations provide exceptions to those rules. <br>
<br>
Yes?<br>
<br>
But then for 6.2 Topic Type, the global validation rule says:<br>
<br>
<blockquote type="cite">any topic <i>t</i> which plays a role of type <code>tmdm:type</code>
in an association of type <code>tmdm:type-instance</code>, but which
is not an instance of <code>tmcl:topic-type</code>, is invalid. </blockquote>
<br>
OK, so how does a topic become *an instance of tmcl:topic type*?<br>
<br>
Err, I think it says:<br>
<br>
<blockquote type="cite">Making a topic an instance of <code>tmcl:topic-type</code>
is a declaration that the topic may be used as a topic type. </blockquote>
<br>
So, the declaration is the only way to *meet* the constraint. Yes? <br>
<br>
How is that a relaxing of the constraint? Or use in some way forbidden
by the global validation rules? <br>
<br>
I may be missing something real obvious since I am working my way from
front to back but I have read section 6 relatively carefully and
something isn't right about the introduction in 6.1.<br>
<br>
Yes?<br>
<br>
I wanted to check before I entered an issue for the project because
there may be explanation lurking in the prose that I just haven't seen.<br>
<br>
Hope everyone is having a great day!<br>
<br>
Patrick<br>
<pre class="moz-signature" cols="72">--
Patrick Durusau
<a class="moz-txt-link-abbreviated" href="mailto:patrick@durusau.net">patrick@durusau.net</a>
Chair, V1 - US TAG to JTC 1/SC 34
Convener, JTC 1/SC 34/WG 3 (Topic Maps)
Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300
Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)
</pre>
</body>
</html>