MW:
With respect to your roles example; Please consider expanding "driver" to
"Licensed driver". (01)
One interpretation of this would be "licensed driver" with respect to
"authority"
- Cory is currently a licensed driver in Virginia
Another would be that the person is a "licensed driver" (implicitly with
respect to one or more authorities)
- Cory has been a licensed driver since 1970 {Note that this may include
multiple licensing authority relations} (02)
There could be relations and constraints concerning either, as we see in the
above examples.
Perhaps we could call this "role with respect to" and "role status",
respectively (you may have better terms). (03)
Another example I have used is "Parent"; if I have 2 children am I a parent
once or twice? (04)
It seems that both interpretations are valid and common forms of expression.
The cardinalities are different - "role with respect to" has a cardinality of
one with respect to some relation and a cardinality of "*" with respect to the
entity playing the role. " role status" has a cardinality of 0..1 with respect
to the entity playing the role and a cardinality of "*" (or 1..n) with respect
to the "role with respect to". "Role with respect to" is the necessary and
sufficient condition for "role status". (05)
It is possible (but not required) to consider "role status" as a dynamic
classification on the entity playing the role, but not so for "role with
respect to". (06)
Are you and John talking about the same role? (07)
-Cory (08)
-----Original Message-----
From: ontology-summit-bounces@xxxxxxxxxxxxxxxx
[mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Matthew West
Sent: Sunday, February 05, 2012 9:38 AM
To: 'Ontology Summit 2012 discussion'
Subject: Re: [ontology-summit] Roles, Fillers, and Role Relations (09)
Dear John, (010)
> That depends on how you define Role and PhysicalObject:
...
> For example, the role Driver and the natural type Male can be defined
> by predicates Driver(x) and Male(x). A male driver is defined by
> their conjunction: Male(x) & Driver(x). (011)
MW: You have taken a subtype of physical object and an instance of role, so not
surprisingly that works. (012)
Regards (013)
Matthew West
Information Junction
Tel: +44 1489 880185
Mobile: +44 750 3385279
Skype: dr.matthew.west
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (014)
This email originates from Information Junction Ltd. Registered in England and
Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (015)
_________________________________________________________________
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/ (016)
_________________________________________________________________
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/ (017)
|