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:
http://www.ai.sri.com/pubs/files/986.pdf
  this appears in mark maybury's collection:
http://www.mitpressjournals.org/doi/abs/10.1162/089120105774321055

in biological question answering:

http://www.aifb.uni-karlsruhe.de/WBS/phi/RoW06/procs/waldinger.pdf

http://www.plosone.org/article/info:doi%2F10.1371%2Fjournal.pone.0000339


---richard


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.