[Top] [All Lists]

Re: [oor-forum] Ontologies vs Theories / Axioms vs Rules

To: Pat Hayes <phayes@xxxxxxx>
Cc: OpenOntologyRepository-discussion <oor-forum@xxxxxxxxxxxxxxxx>, Ali SH <asaegyn+out@xxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Wed, 19 Oct 2011 11:22:40 +0200
Message-id: <8D568A58-96E1-4209-917F-624951088B42@xxxxxxxx>
On Oct 19, 2011, at 12:52 AM, Pat Hayes wrote:
> Guys, you have to adapt your terminology to the people you are trying to 
>communicate with. In the OWL/RDF/RIF/Semantic-Web/LInked-Data world, there is 
>no such thing as an 'inference rule'.    (01)

Pat, I believe I adapted my terminology quite precisely to the people I was 
trying to communicate with, namely, Ali and interested observers. :-) My 
purpose was nothing grander than to note the ambiguity of "rule" in the sense 
he was talking about and the use of "rule" in logic. As I noted in my post:    (02)

> The senses of "rule" you describe for the most part seem rather different.    (03)

That said, your lengthy discourse (with Bijan's qualifications) was very 
informative.    (04)

-chris    (05)

Message Archives: http://ontolog.cim3.net/forum/oor-forum/  
Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx 
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/  
Shared Files: http://ontolog.cim3.net/file/work/OOR/ 
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository     (06)
<Prev in Thread] Current Thread [Next in Thread>