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)
|