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 |