W3C home > Mailing lists > Public > www-rdf-rules@w3.org > October 2001

Re: How do RDF and Formal Logic fit together?

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 10 Oct 2001 15:52:53 -0500
Message-Id: <p0510104ab7ea655fa886@[]>
To: "Seth Russell" <seth@robustai.net>
Cc: www-rdf-rules@w3.org
>From: "Sandro Hawke" <sandro@w3.org>
>>  Why use a logic language instead of, say, Java byte code?  Java (as
>>  slow as it is!) would certainly run faster.  My guess is that the
>>  right thing to do is both.  Provide a logical formula which constrains
>>  the behavior of a program, and allow any program to be run which is
>>  proven (or claimed, in some circumstances) to meet those constraints.
>>  Trivial programs, like date validation, could probably be handled by
>>  an automated theorem prover.  More complex ones written in a
>>  conventional language and proven compliant with machine assistance.
>>  But perhaps now I'm off in never-never land.
>That might be an interesting train of thought.  There is nothing that
>prevents RDF graphs from including (and\or referencing) programs.

You mean, because a URI could refer to some code? Or in some other sense?

Pat Hayes
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Wednesday, 10 October 2001 16:52:59 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:46:14 UTC