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:
- Are there ontological facts that cannot be expressed perspicuously in OWL or problems that cannot be solved using OWL technology? In what ways is Common Logic better suited for expressing an upper-level ontological framework, such as BFO?
- Are there reforms pending for Common Logic? Which extensions of Common Logic might be ontologically useful (such as IKL)? Are there additional notational standards (including sweeteners) for CLIF that might useful in ontology and agreed upon by practitioners?
- What tools exist for theorem proving and inference in Common Logic and its extensions (PrIKL)? Can the efficiency of access and theorem-proving be enhanced by restrictions or alterations, such as by Highfleet Inc.'s ECLIF?
- What tools are available for translating between ontology languages (OWL), CLIF, and the different notations required for theorem-provers (Prover9, Isabelle, etc.)? This will include a discussion of the translation algorithms for TPTP, and the multi-framework systems HETS and CASL.
Registration
- Registration is free but the deadline is July 1, 2011
- There will be no submitted papers, but additional topics may be suggested, and further inquiries about the Workshop may be made to the organisers at: rdipert@buffalo.edu.
Important dates
Registration deadline: July 1, 2011
Workshop date: July 26, 2011
Organisation
- Randall R. Dipert, University at Buffalo, USA
- Fabian Neuhaus, National Institute of Standards (NIST), USA
- Chris Mungall, Lawrence Berkeley National Laboratory, USA
Other Participants
- Bill Andersen, Highfleet Inc., USA
- Alan Ruttenberg, University at Buffalo, USA