ARea2008

From ONTOLORE

ESWC-08 Workshop on Advancing Reasoning on the Web: Scalability and Commonsense

Workshop at ESWC 2008

Semantic Web Technologies provide concepts, architectures, and tools for interconnected vocabularies and applications. One of the declared goals of Semantic Web research is to enable intelligent software agents to reason about information and knowledge which is pervaded on the Web. To realize this, Semantic Web reasoning research has to face two apparently contradictory challenges: On the one hand, scalability to web size is crucial. On the other hand, expressive knowledge representation capabilities are needed, as traditionally studied in the are of commonsense reasoning.

We therefore seek to bring together researchers interested in scalable reasoning solutions for the Semantic Web as well as researchers in commonsense reasoning.

Area 2008 is sponsored by the EU funded Large Knowledge Collider (LarKC, http://www.larkc.eu)

Topics

We invite technical contributions and short statements of interest concerning all aspects of scalable reasoning and commonsense reasoning on and for the semantic web.

These include:

new forms of reasoning
heuristic and approximate reasoning
querying and searching
scalability of reasoning to web level
nonmonotonicity for ontology languages
computational models of argumentation
dynamics of ontologies
contextualisation
temporal and spatial reasoning
inconsistency handling
rules and ontologies
uncertainty handling
planning and reasoning about action and change on the semantic web

Program

09:00 - 10:00	Invited talk: Bernardo Cuenca Grau, University of Oxford, UK Representing Structured Objects Using Description Graphs
10:00 - 10:20	Jürgen Bock, Peter Haase, Qiu Ji, Raphael Volz: Benchmarking OWL Reasoners
10:20 - 10:40	Barry Bishop, Florian Ficsher: IRIS - Integrated Rule Inference System
10:40 - 11:00	Coffee Break
11:00 - 11:20	Fernando Bobillo, Miguel Delgado, and Juan Gómez-Romero: Representation of Context-Dependant Relevance Relations with Fuzzy Ontologies
11:20 - 11:40	Philipp Cimiano, Peter Haase, Qiu Ji, T. Mailis, Giorgos B. Stamou, Giorgos Stoilos, Thanh Tran, Vassilis Tzouvaras: Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An experimental evaluation
11:40 - 12:00	Anne Schlicht, Heiner Stuckenschmidt: Distributed Resolution for ALC - First Results
12:00 - 12:20	Stephan Grimm, Pascal Hitzler: Defeasible Inference with Circumscribed OWL Ontologies
12:20 - 12:40	Philipp Obermeier, Lyndon Nixon: A Cost Model for Querying Distributed RDF-Repositories with SPARQL
12:40 - 13:00	Gregory Todd Williams: Supporting Identity Reasoning in SPARQL Using Bloom Filters
13:30 - 14:00	Lunch Break

Important Dates

Submission Deadline: 14th of March 2008 (extended)
Notification: 11th of April, 2008
Camera-ready version: 25th of April, 2008
Workshop day: 2nd of June, 2008

Submissions

We will accept full papers (up to 15 pages) as well as short statements of interest (2 pages) in LNCS format. Both of these will be reviewed by members of the programme committee.

Proceedings will be published in CEUR Workshop Proceedings (bearing an ISSN number).

Submissions should be sent to Guilin Qi, gqi@aifb.uni-karlsruhe.de, no later than 14th of March 2008.

Organisers

Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands
Andreas Herzig, Université Paul Sabatier, Toulouse, France
Pascal Hitzler, AIFB, University of Karlsruhe, Germany
Zuoquan Lin, Peking University, Beijing, China
Ruzica Piskac, EPFL, Lausanne, Switzerland
Guilin Qi, AIFB, University of Karlsruhe, Germany

Primary Contact: Guilin Qi, gqi@aifb.uni-karlsruhe.de