1st Edinburgh Workshop on Formal Methods in Knowledge Sharing

Edinburgh, Scotland
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 Management)
             "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 Paulo, Brazil)
             "Protocols for knowledge sharing between logics"
 14.00-14.30 Wamberto Vasconcelos (State University of Ceará, Brazil)
             "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