John, (01)
I think we are largely in agreement. (02)
I was surprised by one statement. (03)
you wrote:
> The point I was trying to make is that the semantic content
> of the UML diagrams (and the many other notations that were being
> discussed) can be captured in a notation-independent way. I used
> Common Logic as a very general example of how to do that.
> (04)
With all due respect, it is not possible to capture anything in a
"notation-independent way". You need a notation to present the
information to anyone else. (That was the subject of another diatribe.) (05)
I assume that what you meant is that the concepts can be captured in
terms of FOL concepts. But FOL is really just the abstract syntax for a
set of languages, with a common set of basic conceptual elements. One
can make the argument that the same is true of UML or OWL. The trick
with FOL is that the set of elements is simpler and more powerful. (06)
I strongly agree with the following: (07)
> Therefore, we must have systematic ways of distinguishing content
> and intent in various notations. And we must develop systematic
> ways of integrating and promoting interoperability among systems
> from the past and those proposed for the future.
> (08)
-Ed (09)
--
Edward J. Barkmeyer Email: edbark@xxxxxxxx
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528
Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694 (010)
"The opinions expressed above do not reflect consensus of NIST,
and have not been reviewed by any Government authority." (011)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (012)
|