Monday, 4 February 2002 |
||
| 0900-1215 | Introductions | |
| 0900-1015 | Introduction of participants; introduction by organizers | |
| 1015-1030 | Coffee/Tea | |
| 1030-1130 | Pitfalls and Practicalities of Reasoning on the Web | Eric Prud'hommeaux, W3C |
| 1130-1215 | On the Role of Rule Markup Techniques in Ontology-based Knowledge Management | Nenad Stojanovic, Universit�t Karlsruhe |
| 1215-1345 | Lunch | |
| 1345-1515 | Fuzziness and Ontologies | |
| 1345-1430 | Arguments and Misunderstandings: A Fuzzy Approach to Conflict Resolution in Open Systems | Michael Schroeder, City University - London |
| 1430-1515 | Decomposing Ontology into an Ontology Base and its Interpretation Layer | Mustafa Jarrar, Vrije Universiteit Brussel |
| 1515-1545 | Coffee/Tea | |
| 1545-1800 | Ontology Principles | |
| 1545-1645 | The Project GOL: A Generic Ontological Language | Heinrich Herre, Universit�t Leipzig |
| 1645-1700 | Discussion on Ontology Principles | |
| 1700-1800 | Ontology Reconciliation | Leon Sterling, University of Melbourne |
| 1800-1930 | Dinner | |
| 1930-2015 | OntoWeb News | Dieter Fensel, Vrije Universiteit, Amsterdam |
| 2015-2030 | Current and planned rule projects | Jan Maluszynski, Link�ping University |
| 2030-2045 | ISTEC Workshops | Bruce E. Spencer, University of New Brunswick at Fredericton |
Thursday, 7 February 2002 |
||
| 0900-1215 | Description Logics, Rules, and Information Integration | |
| 0900-1000 | Axioms and Rules | Ian Horrocks, University of Manchester |
| 1000-1015 | Coffee/Tea | |
| 1015-1115 | Information Integration in the Semantic Web | Maurizio Lenzerini, Universit� di Roma "La Sapienza" |
| 1115-1130 | Discussion on Description Logics and Rules | |
| 1130-1215 | XML Data Integration using XPathLog and LoPiX | Wolfgang May, Universit�t Freiburg |
| 1215-1345 | Lunch | |
| 1345-1515 | Mathematics, XML, and Semistructured Data | |
| 1345-1430 | Semantic Representation of Math Content | Paul Libbrecht, Universit�t Saarbr�cken |
| 1430-1515 | Towards a Declarative Query-Answering of XML and Semistructured Data | Fran�ois Bry, Universit�t M�nchen |
| 1515-1545 | Coffee/Tea | |
| 1545-1800 | DAML, Rules, and XML | |
| 1545-1630 | Rules for Efficient XPath Evaluation | Dan-Alexandru Olteanu, Universit�t M�nchen |
| 1630-1715 | DAML Demo | Mike Dean, BBN Technologies / Verizon |
| 1715-1800 | A Rule-based Language for Querying and Transforming | Sebastian Schaffert, Universit�t M�nchen |
| 1800-1930 | Dinner | |
| 1930-2015 | TRIPLE: A Query, Inference, and Transformation Language for the Semantic Web | Stefan Decker, Stanford University |
| 2015-2045 | Open discussion on possible projects | |