D2.1.1 Survey of Scalability Techniques for Reasoning with Ontologies

EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB Deliverable D2.1. 1 (WP2.1) This deliverable gives an overview of methods necessary for achieving scalability. This includes general methods for approximating symbolic inference engines and for compiling knowledge bases, different methods for modularisation and distributed reasoning, and a survey of benchmarking to evaluate the proposed techniques for the Semantic Web. Keyword list: state-of-the-art, scalability, approximation, modularisation, distribution, symbolic reasoning Copyright © 2004 The contributors Document Identifier KWEB/2004/D2.1. 1/v1.0 Project KWEB EU-IST-2004-507482 Version v0.3 Date 18. July, 2004 State quality review Distribution public Knowledge Web Consortium This document is part of a research project funded by the IST Programme of the Commission of the European Communities as project number IST-2004-507482. University of Innsbruck (UIBK) Coordinator Institute of Computer Science Technikerstrasse 13 A-6020 Innsbruck Austria Contact person: Dieter Fensel E-mail address: dieter.fensel@uibk.ac. at Ecole Polytechnique Federale de Lausanne (EPFL) Computer Science Department Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne Switzerland Contact person: Boi Faltings E-mail address: boi.faltings@epfl.ch France Telecom (FT) 4 Rue du Clos Courtel 35512 Cesson Sevigne France. PO Box 91226 Contact person : Alain Leger E-mail address: alain.leger@rd.francetelecom. com Freie Universitat Berlin (FU Berlin) Takustrasse 9 14195 Berlin Germany Contact person: Robert Tolksdorf E-mail address: tolk@inf.fu-berlin.de Free University of Bozen-Bolzano (FUB) Piazza Domenicani 3 39100 Bolzano Italy Contact person: Enrico Franconi E-mail address: franconi@inf.unibz. it Institut National de Recherche en Informatique et en Automatique (INRIA) ZIRST 655 avenue de l’Europe Montbonnot Saint Martin 38334 Saint-Ismier France Contact person: Jerome Euzenat E-mail address: Jerome.Euzenat@inrialpes.fr Centre for Research and Technology Hellas / Informatics and Telematics Institute (ITI-CERTH) 1st km Thermi Panorama road 57001 Thermi-Thessaloniki Greece. Po Box 361 Contact person: Michael G. Strintzis E-mail address: strintzi@iti.gr Learning Lab Lower Saxony (L3S) Expo Plaza 1 30539 Hannover Germany Contact person: Wolfgang Nejdl E-mail address: nejdl@learninglab.de National University of Ireland Galway (NUIG) National University of Ireland Science and Technology Building University Road Galway Ireland Contact person: Christoph Bussler E-mail address: chris.bussler@deri.ie The Open University (OU) Knowledge Media Institute The Open University Milton Keynes, MK7 6AA United Kingdom Contact person: Enrico Motta E-mail address: e.motta@open.ac.uk Universidad Politecnica de Madrid (UPM) Campus de Montegancedo sn 28660 Boadilla del Monte Spain Contact person: Asuncion Gomez Perez E-mail address: asun@fi.upm. es University of Karlsruhe (UKARL) Institut fur Angewandte Informatik und Formale Beschreibungsverfahren AIFB Universitat Karlsruhe D-76128 Karlsruhe Germany Contact person: Rudi Studer E-mail address: studer@aifb.uni-karlsruhe.de University of Liverpool (UniLiv) Chadwick Building, Peach Street L697ZF Liverpool United Kingdom Contact person: Michael Wooldridge E-mail address: M.J.Wooldridge@csc.liv. ac.uk University of Manchester (UoM) Room 2.32. Kilburn Building, Department of Computer Science, University of Manchester, Oxford Road Manchester, M13 9PL United Kingdom Contact person: Carole Goble E-mail address: carole@cs.man. ac.uk University of Sheffield (USFD) Regent Court, 211 Portobello street S14DP Sheffield United Kingdom Contact person: Hamish Cunningham E-mail address: hamish@dcs.shef. ac.uk University of Trento (UniTn) Via Sommarive 14 38050 Trento Italy Contact person: Fausto Giunchiglia E-mail address: fausto@dit.unitn. it Vrije Universiteit Amsterdam (VUA) De Boelelaan 1081a 1081HV. Amsterdam The Netherlands Contact person: Frank van Harmelen E-mail address: Frank.van. Harmelen@cs.vu. nl Vrije Universiteit Brussel (VUB) Pleinlaan 2, Building G1