|To:||Bill Andersen <andersen@xxxxxxxxxxxxxxxxx>|
|Cc:||"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||Pat Hayes <phayes@xxxxxxx>|
|Date:||Mon, 5 May 2008 11:09:41 -0400|
At 10:22 AM -0400 5/5/08, Bill Andersen wrote:
.... I'm going to find an ontology where I can say
Yes, and it's now officially OWL 2. No more decimal fractions of OWLs.
Well, I have to say that I don't have this problem. I can imagine myself to be a property. For example, I might be the property of pieces of space-time that is true when they are wholly occupied by my body (construed as a 4-d entity; or if you prefer, make me a continuant and switch to 3-d and say that the property is time-dependent.) This might be odd, but it seems quite coherent, and its an alternative way of talking, and if someone wanted to adopt it, I wouldn't say they were wrong, or expect my software to give them an error message.
If you can tell me how that makes any sense while preserving what we mean when we talk of 'Type'
Ive never understood that to mean anything more than "satisfying a type predicate" where being a 'type predicate' is a rather mysterious property of predicates, one that I confess to not really understanding, but Im happy to allow people to use it if they feel that it means something. I have no idea which of the various properties that are true of me count as 'types' and which don't. (In case the first on your list is 'being a member of the species homo sapiens', read "On the poverty of the Linnaean hierarchy" by Marc Ereshefsky, which will completely destroy your confidence in any of these Latinate binary classifications.)
, I'm all ears. All else you said
is just fine (not just fine, but great) with me. Nothing I said in my original post implied that it was not.
Hmm, OK. Types can themselves have types? Without that making them into individuals? So you aren't advocating GOFOL-style strictness about arguments? That isn't obvious from what you said (though I admit it is consistent with what you said... :-)
40 South Alcaniz St.
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] [Obo-relations] Heterarchy & Hierarchy, oh my my, Bill Andersen|
|Next by Date:||Re: [ontolog-forum] Heterarchy & Hierarchy, oh my my, Christopher Spottiswoode|
|Previous by Thread:||Re: [ontolog-forum] [Obo-relations] Heterarchy & Hierarchy, oh my my, Bill Andersen|
|Next by Thread:||Re: [ontolog-forum] [Obo-relations] Heterarchy & Hierarchy, oh my my, Christopher Menzel|
|Indexes:||[Date] [Thread] [Top] [All Lists]|