- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Tue, 15 Jul 2003 17:08:29 +0200
- To: franconi@acm.org
- We apologise if you receive this more than once. You're receiving -
- this message since you are a subscriber of a relevant mailing list -
2003 International Description Logic Workshop (DL'03)
Rome, Italy -- 5-7 September 2003
http://dl.kr.org/dl2003/
Registration to the workshop is now open; check the information at the
workshop web site. Participation to the workshop is by invitation
only. If you wish to participate and you have not already submitted a
paper or a statement of interest, please contact the organizers at
dl03@dis.uniroma1.it
PROGRAM:
Friday, September 5
8:00 - 9:00 REGISTRATION
9:00 - 10:15 INVITED TALK: John Mylopoulos
10:15 - 10:45 COFFEE BREAK
10:45 - 12:25 TECHNICAL SESSION: "Applications I"
Reducing OWL Entailment to DL Satisfiability
(Ian Horrocks, Peter F. Patel-Schneider)
Index Selection for Embedded Control Applications using
DLs
(Lubomir Stanchev, Grant Weddell)
Rule Based Computation of Updates to Terminologies
(Sanjay Modgil)
Reasoning on UML Class Diagrams is EXPTIME-hard
(Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo)
12:25 - 14:00 LUNCH
14:00 - 15:40 TECHNICAL SESSION: "Techniques for Standard Inferences"
Restricted role-value-maps in a DL with existential
restrictions and terminological cycles
(Franz Baader)
Handling Boolean ABoxes
(C. Areces, P. Blackburn, B. Martinez Hernandez, M.
Marx)
Subsumption of concepts in DL FL_0 for (cyclic)
terminologies
with respect to descriptive semantics is PSPACE-complete
(Yevgeny Kazakov, Hans de Nivelle)
A Tableau Algorithm for ALCN(o,U)
(Fabio Grandi)
15:40 - 16:10 COFFEE BREAK
16:10 - 18:00 POSTER SESSION
Saturday, September 6
9:00 - 10:15 INVITED TALK: Richard Hull
10:15 - 10:45 COFFEE BREAK
10:45 - 12:25 TECHNICAL SESSION: "Applications II"
e-Service Composition by DL-based Reasoning
(D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini,
M. Mecella)
Incremental Query Answering for Implementing Document
Retrieval Services
(Volker Haarslev, Ralf Moeller)
RDFS(FA): A DL-ised Sub-language of RDFS
(Jeff Z. Pan, Ian Horrocks)
Rewriting Aggregate Queries using DL
(David DeHaan, David Toman, Grant Weddell)
12:25 - 14:00 LUNCH
14:00 - 15:40 TECHNICAL SESSION: "Non-standard Reasoning Services"
Concept Abduction and Contraction in DLs
(S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini,
M. Mongiello)
Data Mining in Hybrid Languages via ILP
(Francesca A. Lisi)
Explanation of Terminological Reasoning
(Stefan Schlobach)
Reasoning about concepts and similarity
(Carsten Lutz, Frank Wolter, Michael Zakharyaschev)
15:40 - 16:10 COFFEE BREAK
16:10 - 16:35 TECHNICAL SESSION: "Systems"
DL Reasoner vs. First-Order Prover
(Dmitry Tsarkov, Ian Horrocks)
16:35 - 18:00 GENERAL DISCUSSION
20:00 - ... SOCIAL DINNER
Sunday, September 7
9:00 - 10:15 TECHNICAL SESSION: "Extensions of DLs"
Fixpoint Extensions of Temporal DLs
(Enrico Franconi, David Toman)
Finite Model Reasoning in ALCQI is ExpTime-complete
(Carsten Lutz, Ulrike Sattler, Lidia Tendera)
E-connections of DLs
(O. Kutz, C. Lutz, F. Wolter, M. Zakharyaschev)
10:15 - 10:45 COFFEE BREAK
10:45 - 11:35 TECHNICAL SESSION: "Implementations"
Implementing Matching in ALE - First Results
(Sebastian Brandt)
The DIG DL Interface
(Sean Bechhofer, Ralf Moeller, Peter Crowther)
11:35 - 13:00 DL-2003 WRAP UP SESSION
Discussion about next DL Workshop
POSTERS:
Applying DL to Product Bahavioural Design within Advanced CAD Systems
(Francois de Bertrand de Beuvron, Amadou Coulibaly)
Computing least common subsumers for FLE_trans
(Sebastian Brandt, Anni-Yasmin Turhan)
Reasoning about Nominals with FaCT and RACER
(Jan Hladik)
Wine Agent: Testbed Application for Semantic Web Technologies
(Eric Hsu, Deborah McGuinness)
From Lexicon To Mammographic Ontology: Experiences and Lessons
(Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt)
Visualising a DL Knowledge Base with DeLogViz
(Bo Hu, Nigel Shadbolt)
Comparing natural language documents: a DL based approach
(Naouel Karam, Michel Schneider)
Merging DAML+OIL bio-ontologies
(Patrick Lambrix, Anna Edberg, Carolyn Manis, He Tan)
On the Problems of Computing Approximation and Representing LSC in DLs.
(Chan Le Duc and Nhan Le Thanh)
Matchmaking Using an Instance Store: Some Preliminary Results
(Lei Li, Ian Horrocks)
Graphical Interfaces for Racer: Querying DAML+OIL and RDF documents
(Ralf Moeller, Ronald Cornet, Volker Haarslev)
DL-Based Natural Language Understanding for Geometry Tutoring
(Octav Popescu, Ken Koedinger)
Simple Concrete Domains Constraints for ALCQI
(Mathieu Roger, Ana Simonet, Michel Simonet)
Detecting Inconsistencies between UML Models Using DL
(Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens)
Received on Tuesday, 15 July 2003 11:08:46 UTC