IW Meeting 2009-12-10
From Inference Web
- 2009-12-10
- IW Meeting 2009-12-03
agenda
combine proof followup
- mizar proofs for combine, http://inference-web.org/tmp/formulau/
- owl:sameAs relations
- iw:combine proof paper outlined
CHIP PML data generation planning
pml ontology update
- cynthia: hasSource
aug poster
action
- next meeting will be at AGU09@San Francisco, Li will check email for updates
