Wouldn't a trope (if it was represented in OWL for example) be an
individual as opposed to a class? Presumably the same concept would
apply in other notations. (01)
In which case, I would take it as a given that any proposed, reusable
ontology is unlikely to include any individual / instance information
anyway, except for specific instances that are referred to in class
definitions of other kinds of thing. (02)
But I agree that this is all the more reason to include the definition
of this in any discourse around the subject. (03)
Mike (04)
Pat Hayes wrote:
> On Aug 6, 2009, at 12:33 PM, ingvar_johansson wrote:
>
>
>> Pat Hayes wrote:
>>
>>
>>> I think this is not what is meant, if I understand the 'trope'
>>> language. Take a concrete case, a measurement of length in meters and
>>> two identical sticks A and B, with exactly the same length. There is
>>> one property here, called "length", which applies to both sticks and
>>> produces the same value in each case, say 3.1 meters. So: two sticks,
>>> one property, one length value of that property.
>>>
>> I think the solution is to accept the existence of both properties and
>> tropes (property instances). So: two sticks, one property, two
>> property
>> instances, one length value of that property that are instantiated
>> twice.
>>
>>
>
> Well, my purpose was only to make the difference clear; but as to my
> own opinion, I see no good reason to allow tropes. They serve only to
> confuse things, and have no useful ontological role. As John Sowa has
> mentioned, one can always consider a trope to be a subproperty of the
> original property, one which applies only to one individual. That is
> if tropes are felt to be indispensable in your metaphysics. On this
> view, the length of A is identical to the length of B, and the A-
> length of A is equal to the length of A, but B simply does not have an
> A-length.
>
> Pat
>
>
>
>> Ingvar Johansson
>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
>> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
>> Config/Unsubscribe:
>http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
>> Shared Files: http://ontolog.cim3.net/file/work/UoM/
>> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard
>>
>>
>>
>
> ------------------------------------------------------------
> IHMC (850)434 8903 or (650)494 3973
> 40 South Alcaniz St. (850)202 4416 office
> Pensacola (850)202 4440 fax
> FL 32502 (850)291 0667 mobile
> phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
>
>
>
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
> Config/Unsubscribe:
>http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
> Shared Files: http://ontolog.cim3.net/file/work/UoM/
> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard
>
>
>
> (05)
--
Mike Bennett
Director
Hypercube Ltd.
89 Worship Street
London EC2A 2BF
Tel: +44 (0) 20 7917 9522
Mob: +44 (0) 7721 420 730
www.hypercube.co.uk
Registered in England and Wales No. 2461068 (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
Shared Files: http://ontolog.cim3.net/file/work/UoM/
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard (07)
|