[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.