Re: [ontology-summit] Roles, Fillers, and Role Relations

["Matthew West" <dr.matthew.west@xxxxxxxxx>]

Dear John,    (01)


> 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).    (02)

MW: You have taken a subtype of physical object and an instance of role, so
not surprisingly that works.    (03)

Regards    (04)

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/    (05)

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.    (06)




_________________________________________________________________
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/     (07)