Re: [ontolog-forum] syntax & semantics

[Pat Hayes <phayes@xxxxxxx>]

On May 6, 2009, at 12:11 PM, Richard H. McCullough wrote:

----- Original Message -----

From: Pat Hayes

<RHM> Consider the English sentence, "Fido is a dog."

 

#### Thank you for your comments on this example.

#### You have correctly interpreted what I was trying to say.

<PJH>

What you seem to have with mKR is an ad-hoc semi-formal notation

(I say semi- because you have never given us a grammar for it)

 

#### As I have said, the grammar is available on my web site.

OK, I see it. Sorry,  I should have checked first: my apologies.

#### I will give you a more polished version in the near future.

#### I am currently removing old, obsolete features of mKR.

 

<PJH>

And you havn't shown us any mKR ontologies,

or any actual axioms which might pin down the

meanings you claim to be capturing.

 

#### Again, there are example ontologies and axioms

#### on my web site.  

Ah, but if they are written in mKR, then they don't count as ontologies or axioms until you tell us what counts as mKR-valid reasoning. Or, equivalently, give us a precise, formal, semantic specification for the notation. There is no magic way out of this box. 

Pat

I will give you an example.

#### Do you want a kilobyte or terabyte example?

 

Pat

 

 

Dick McCullough
http://mkrmke.org

_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx

------------------------------------------------------------

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/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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)