On 02/03/12 01:41, henson graves wrote:
> MW: Its foundations are in EXPRESS (strictly a subset of EXPRESS) from which
> it gets its logic based semantics.
>
> HG: This puzzles me a lot and even frightens me. I am unaware that EXPRESS
> has a logic based semantics. What is it? By logic-based semantics I mean
> FOL, DL, type theory, HOL, or something with a real inferfence system and a
> model theory. I am using model theory in the logician's sense. And I would
> hope that the logic system has the requisite soundness and completeness
> results. (01)
Actually, ISO 15926 does not get it's logic based semantics from the
EXPRESS language itself. ISO 15926 EXPRESS schema and text defines a
modeling language (e.g. Class, PossibleIndividual, Specialization,
partOf, classification, etc. and EXPRESS knows nothing of these). The
important question is whether the ISO 15926 language has a logic based
semantics or not. A better way to think of it is that EXPRESS is just
the exchange format for models written using the ISO 15926 language so
it plays a role more like XML wrt ISO 15926 or think of it as the
meta-model language like MOF in the definition of UML. (02)
Cheers,
David (03)
--
Managing Director and Consultant
TopQuadrant Limited. Registered in England No. 05614307
UK +44 7788 561308
US +1 336-283-0606 (04)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012
Community Portal: http://ontolog.cim3.net/wiki/ (05)
|