John (01)
Thanks for your response - I think Len has a good way of expressing my
query, but just to make sure: (02)
Data model - old fashion technology, written in EXPRESS, in this case
ISO 10103-203 - the point I was making was one from the experience of using
older
semantic standards. (03)
Grounding - what the data means in the context of the business processes
that use it. For example, by the term "part" I mean a design for a
physical component of a product, but not the engineering drawing of the
part (which is the presentation of the representation of the shape of
the mechanical design view of a version of the part), although this was the
way
it was interpreted in one well publicised project. (04)
Aside: the STEP construct "Product" has been extensively reused for a
wide variety of configuration items, including document (or drawing).
However, STEP models are grounded in a specific business process, and
the context of 10303-203 specific excludes the interpretation of
"product" as "drawing". (05)
My point is not that the same statements about the world may not be
identically grounded, but that the grounding itself is not defined in
the axioms. Or rather, I have yet to see anything in an ontology that
allows me to state that what you mean by "part" is what I mean by
"part". In fact, computers could calculate forever whether two systems
of axioms are isomorphic, but never decide whether axioms have the same
grounding because ultimately the question is answered by the
<b>behaviour</b> of the people reading the computer output. (06)
I think (probably wrongly) Pat H would say that the truth of an axiom
could be decided by looking at the world - the question that I am
raising is - how can we ensure that two people checking the truth of an
axiom check the same part of the world? If we don't do that, then we
cannot confirm that the ontologies are the same, even if they have the same
axioms. (07)
Sean Barker
Bristol, UK (08)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Len Yabloko
Sent: 15 January 2009 23:19
To: [ontolog-forum]
Subject: Re: [ontolog-forum] FW: Lattice of theories (09)
*** WARNING *** (010)
This mail has originated outside your organization, either from an
external partner or the Global Internet.
Keep this in mind if you answer this message. (011)
Sean and John, (012)
>
>Sean,
>
>All the ontologies that have been proposed so far have been collections (013)
>of statements (often called axioms) in some version of logic. (014)
I think that you are talking about different ontologies here.
Using Semantic Web terminology the set of axioms is called "T-Box"
(if I not mistaken "T" refers to taxonomy or terminology or both) The is
also so called A-Box http://en.wikipedia.org/wiki/ABox (015)
>
> > I have noted the use of standard data models to exchange
> > incompatible data - incompatible not because the data structures
> > were different, but because the groundings of the model were
> > different.
>
>I don't know what you mean by the word "grounding" or the term "data
>model". (016)
It seems that Sean is calling T-Box a "data model" and his concern is
that the lattice of T-Boxes is not useful for some reasoning with
A-Boxes.
What may be called a "grounding" is this context is another structure
(may be lattice) that orders A-Boxes. Then the question may be: how do
these different structures relate and what to call them. I don't know
the answer. (017)
>
>If by grounding, you mean some part of the world for which some set of
>statements (or axioms) are true, then two identical sets of statements
>would be true of exactly the same parts of the world. Therefore,
>identical axioms would have identical grounding. (018)
If we accept T-Box/A-box distinction, the the statement above is not
necessarily true. (019)
>
>I don't know whether there is some confusion of terminology or a true
>disagreement.
> (020)
Neither do I. May be Pat H can help us. (021)
>John
> (022)
_________________________________________________________________
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 (023)
_________________________________________________________________
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 (024)
|