ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontologies and individuals

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Bill Andersen <andersen@xxxxxxxxxxxxx>
Date: 2012年12月11日 13:01:32 -0500
Message-id: <EC08CA03-7A87-4D7A-AEF1-0D744F300056@xxxxxxxxxxxxx>
Hi Nicola

I was wondering if you could clear this up, specifically wrt what you intend by "necessary"

On Dec 11, 2012, at 09:45 , Nicola Guarino <guarino@xxxxxxxxxxxxxxx> wrote:

So, statements like "The United States are a country" or "The United States have a president" may perfectly go, say, in a eGov ontology. On the contrary, a statement like "The present president of United States is Barack Obama", should not go in an ontology (the Tbox), it rather goes to the Abox, simply because it doesn't hold necessarily.

For example, that "the United States is a country" seems necessary given the existence of the United States. And by necessary I mean something like

(w)(t)[E(us,<w,t>) -> Country(us,<w,t>)]

where w is a world and t a time and E an existence predicate. Of course a separate discussion would be needed about what the accessibility relation looks like for worlds and times. In the case of Obama, we'd have something like

E(obama,<@,now>) & President(obama,us,<@,now>)

Where @ is the actual world. So, Obama is contingently president at this time.

But if this is true would it not be necessary, wrt this (actual) world and time that Obama is president for his term?

In sum, I sympathize with your intuition, but it would take some work to pin it down precisely.

Cheers

.bill

Bill Andersen
Highfleet, Inc.(www.highfleet.com)
3600 O'Donnell Street, Suite 600
Baltimore, MD 21224
Office: +1.410.675.1201
Cell: +1.443.858.6444
Fax: +1.410.675.1204





_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J  (01)
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] Ontologies and individuals , William Frank
Next by Date: Re: [ontolog-forum] Ontologies and individuals , Pat Hayes
Previous by Thread: Re: [ontolog-forum] Ontologies and individuals , Richard Dapoigny
Next by Thread: Re: [ontolog-forum] Ontologies and individuals , John F Sowa
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /