Dear Chris, Matthew, John, Adrian, and Florian, (01)
I thought that all those issues had been settled decades ago: (02)
CP> Would there be a single object (John), who is an instance
> of both employee and person, in your scheme of things?
> I think you need this to get your sub-type relation. (03)
Of course. (04)
CP> This enables me to allocate responsibility to the employee
> but not to the person. (05)
We don't have two individuals here. There is only one.
If I'm assigned a task as an employee, it's my task, not
the task of some virtual employee. (06)
MW> This is also what we now do with a 4-dimensionalist
> approach. However, it is this approach that also demonstrates,
> as I explained to Duane that employee is not a subtype of
> person, taking person as the person-for-the-whole-of-their-life. (07)
Subtype has a very clear and simple definition: X < Y
means that every instance of X is an instance of Y. (08)
This is true in a 3-D version and in a 4-D version. When a
person stops being an employee, there is no employee. But
as long as a person is an employee, that employee is one
and the same individual as that person. (09)
MW> Let us look at a couple of possibilities here: (010)
This definition covers every case. It is true in a 3-D
version and in a 4-D version. It implies that the entire
spatiotemporal extent of Employee is included in the
spatiotemporal extent of Person. (011)
MW> Note this does not stop roles being subtypes of role (we
> use the term participation). (012)
In the KR ontology (from my KR book), participation is a
subtype of role. (013)
JB> pet is the name of the second participant in
> a having-pet-relationship.
>
> In English, we have some minimal but productive
> morphology for such entities: e.g.,
>
> employer, employee
>
> This provides more background to what it means
> to place something under 'Role'. (014)
That is covered by two subtypes of Role called the
PrehendingEntity and the PrehendedEntity. The employer
and the owner are prehending, and the employee and pet
are prehended. That's all in the KR book or on the web: (015)
http://www.jfsowa.com/ontology/roles.htm
Roles and Relations (016)
JB> Another advantage is that it is easier to relate such
> treatments to a broader range of linguistic expressions
> and in a broader range of languages. (017)
That is one of my primary motivations, and the KR ontology
handles all that beautifully. (018)
AW> In other words, take the purpose of the modelling into account.
> As John Sowa and others have pointed out, natural language evolves
> through analogous usage. (019)
Yes, in natural language both natural kinds and role types
are represented as nouns. It is very important to have a
representation that supports both the similarities and the
distinctions in a systematic way. (020)
Children don't learn the distinctions between names and nouns
at the beginning, and the distinctions between natural kinds
and role types come much later. Furthermore, metaphor and
metonymy keep introducing expanding the relationships in a
systematic way. The formalism must support all the distinctions
and the transitions from one to another. (021)
AW> A third thought is that it may help to express prototypes
> of at least some of the applications in executable English**, (022)
I certainly agree. The version of executable English I have
been developing is called CLCE (Common Logic Controlled English). (023)
FP> I am wondering what a role is ontologically? What are the
> super-categories of ROLE? (024)
See the KR ontology (op. cit.). (025)
FP> Why should employee be a role while chair is not? (026)
For very good reasons: a chair can be recognized by the
properties it has in itself without looking at anything else
(but one can use things that are not chairs *as* a chair).
But you can't tell whether a person is an employee without
considering something else. See the KR book for a discussion
of Firstness, Secondness, and Thirdness. (027)
John (028)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (029)
|