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
ontologies, or viceversa some experiments to use semantic web
isabelle or some other prover.
Sorry for my english,
This archive was generated by a fusion of
Pipermail (Mailman edition) and