SWAD-Europe notes

bullet1 Success metrics

bullet2 Question   How much inference is enough?

  • Completeness proof (e.g. FoL)
  • C.f. DAML functional/inverse functional properties
  • C.f. Guha's reference by description

bullet3 Completeness proof (e.g. FoL)

bullet3 C.f. DAML functional/inverse functional properties

bullet3 C.f. Guha's reference by description