Re: [isabelle] Semantic Web

this uses the theorem prover snark (not isabelle) to access web pages (not necessarily in OWL) and other sources to answer questions. questions are phrased as conjectures; answers are extracted from (sufficiently constructive) proofs:

in geographical question answering:
  this appears in mark maybury's collection:

in biological question answering:


On Dec 7, 2007, at 3:06 AM, Cristiano Longo wrote:

Hi all, i'm lookig for some application of isabelle to the semantic web, and ontologies, or viceversa some experiments to use semantic web features with
isabelle or some other prover.

Sorry for my english,
Cristiano Longo

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.