ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Incompatibilities in 3D to 4D

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, "Pat Hayes" <phayes@xxxxxxx>
From: "Christopher Spottiswoode" <cms@xxxxxxxxxxxxx>
Date: Tue, 17 Mar 2009 19:46:14 +0200
Message-id: <51AC55908B844ACAA8CEDAF1124FC8EF@Dev>
Pat,    (01)

> So if both sides are willing to not gag when they see something 
> apparently meaningless, treating it as ugly sugar for something 
> meaningful, then both can get
along.
>
> The hard part is social, getting each side to not gag when they 
> see apparent nonsense in their ontology.    (02)

But is it always clear that the respective automated reasoners - 
or at least the one charged with the translation - will not gag? 
Or can the translation axioms always be applied independently of 
the reasoners while still preserving the semantics?  If so, why 
has the whole issue not been resolved in this way long ago?  If 
not, well, then there is still a problem...?  (Or that is why you 
say it is "the hard part", because you mean "social" in a "society 
of mind" way, between automated agents, and not in a human-social 
way?)    (03)

If my questions are merely ignorant (which wouldn't surprise me at 
all in this matter...) perhaps you can easily point out where I 
have got it wrong?    (04)

Christopher     (05)



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

<Prev in Thread] Current Thread [Next in Thread>