Bremen, 22-24.02.2005
- Minutes (password protected)
- Topics
- Project organization
- Installation of tools (CASL, UDraw, Hets, Isabelle)
- Ontology modularization and parametrization in CASL
- Translation from CASL to OWL
- Mathematical tools (category theory) for the integration and alignment of ontologies
- Using DOLCE qualities for capturing aspects of language and linguistics
- Using the treatment of roles proposed in Trento for capturing aspects of linguistic roles, in particular thematic roles and/or semantic participant roles
Trento, 04-08.04.2005
- Minutes (password protected)
- Topics
- Project management
- Approval of the website
- Update of tools and introduction of the CASL-mode for emacs
- Set up of a CVS repository for the project
- Ontology Development with CASL and Hets
- Linguistic Ontologies: relation between the Generalised Unpper Model (GUM) and DOLCE
- Discussion of the first draft of the encoding of DOLCE in CASL
Trento, 27-29.06.2005
- Minutes (password protected)
- Topics
- Project management
- Update of tools
- How to prove/verify theorems using Isabelle
- Ontological knowledge for language generation
- Ontological nature of ³site² and ³niche²
- Discussion of the second version of the encoding of DOLCE in CASL
Bremen, 12-13.09.2005
- Minutes (password protected)
- Topics
- Project organization
- Update of tools
- How to characterize the GUM notions of configuration, process, object, and circumstance in DOLCE
- How to extend the CASL encoding of DOLCE to manage the links to other ontological options
- The notions of weak and strong representation of a composition table
- How to integrate different spatial representations using the DOLCE notion of quality space
- Discussion of possible common papers
|
home