1st Edinburgh Workshop on Formal Methods in Knowledge Sharing
July 13th, 1998
There has been much interest recently in knowledge sharing of various
kinds. Some niches for formal methods have been suggested but it is not
yet clear how viable these are, or whether there are other undiscovered
opportunities. A small, local workshop has been arranged, at which speakers
will describe a number of different views on the problem. Anyone
with an interest in this area is invited to attend. The meeting will
be informal so you are welcome to drop by at any time, as it suits you.
A scene-setting document (giving one of the many possible points of view)
can be found here.
Monday 13th July - D Floor Seminar Room
Department of Artificial Intelligence, University of Edinburgh
9.15-9.30 Welcome and introduction
Part 1: What people do with ontologies
9.30-10.00 Virginia Brilhante (Dept. AI)
"Construction of an 'Ecolingua' using the ontology server"
10.00-10.30 Allen Young (Institute for Ecology and Resource
"An ontology for individual-based forest simulation models"
11.00-11.30 Steve Polyak (Dept. AI)
"The Common Process Ontology"
11.30-12.00 Stuart Aitken (AI Applications Institute)
"Experiences with Cyc"
Part 2: What formal methods have to offer
13.30-14.00 Flavio Correa da Silva (University of São
"Protocols for knowledge sharing between logics"
14.00-14.30 Wamberto Vasconcelos (State University of
"Methods from logic programming applied to knowledge sharing"
15.00-15.30 Yannis Kalfoglou (Dept. AI)
"Building ontological error checkers"
15.30-16.00 Jaume Agusti (AI Institute, Barcelona)
"An experiment in building a generic visual tool for a logic"
16.00-16.30 Corin Gurr (Human Communication Research Centre)
"Communication, architectures and knowledge sharing"
16.30-17.00 Daniela Carbogim (Dept. AI)
"An ontology of argumentation?"
17.00-17.15 Closing remarks