[isabelle] Semantic Web

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.