Workshop on Common Logic as a Vehicle for Expressing Ontologies


at the International Conference on Biomedical Ontology (ICBO 2011)

26 July 2011, Buffalo, USA



Objective

Common Logic (especially as represented in its CLIF notation) is the only logical language that has received international and official endorsement (ISO 24707, 2008). As a full version of First-Order Predicate Logic (FOL or FOPL), Common Logic offers a surprisingly rich and versatile way of expressing ontologies, and of utilizing widespread knowledge of First-Order (and Higher-Order) logics, as well as being able to utilize a wide array of computational tools, such as theorem-provers.

Topics:

Registration

Important dates

  • Registration deadline: July 1, 2011
  • Workshop date: July 26, 2011
  • Organisation

    Other Participants