DL99 program

All sessions take place in the room BIKUPAN.
The system demonstrations session on Sunday morning also takes place in FLUGAN.
-------------------------------------------------------------------------------

Thursday, July 29
-----------------

17.45 - 18.15: Registration

-------------------------------------------------------------------------------

Friday, July 30
---------------

 8.30 -  8.55: Registration 

 8.55 -  9.00: Opening of the workshop 

 9.00 - 10.30: invited talk, Natasha Alechina
	(Modal) logics for semi-structured data.

10.30 - 10.50: Coffee break

10.50 - 12.30: joint session with KRDB99 (chair: Diego Calvanese)
              
	Towards expressive KR systems integrating Datalog 
	and Description Logics
	Riccardo Rosati
        
	Backward Reasoning in Aboxes for Query Answering
	Marie-Christine Rousset

	Theory-driven Logical Scaling: Conceptual Information Systems 
	meet Description Logics
	Susanne Prediger and Gerd Stumme

	DFL - A Dialog Based Integration of Concept and Rule Reasoners 
	Mira Balaban, Adi Eyal

12.30 - 13.40: Lunch 

13.40 - 15.40: applications I (chair: Volker Haarslev)

	Spatial Reasoning for Image Retrieval
	Marco Aiello, Carlos Areces, Maarten de Rijke

	Description Logics for Image Recognition: a preliminary proposal
	Eugenio Di Sciascio, Francesco Donini

	Description Logics and Feature Interaction
	Carlos Areces, Wiet Bouma, Maarten de Rijke

	Integrating Concept-Based Knowledge Bases
	Aida Vitoria, Margarida Mamede

	Feature-Based Learners for Description Logics
	Daniel Kudenko, Haim Hirsh

15.40 - 16.00: Coffee break

16.00 - 18.00: applications II   (chair: Ralf Möller)

	ICARUS: Intelligent Classification and Retrieval of Unlabelled Scenes
	Emilio Domenicucci, Francesco M. Donini, Marco Schaerf

	A New Application for Description Logics: Disaster Management
	Martina Grathwohl, Francois de Beuvron, Francois Rousselot

	Applying DLs for Retrieval in Case-Based Reasoning
	Pedro A. Gonzalez-Calero, Mercedes Gomez-Albarran, Belen Diaz-Agudo

	Explaining ALC Subsumption
	Alex Borgida, Enrico Franconi, Ian Horrocks, Deborah McGuinness, 
	Peter F. Patel-Schneider

	A Proposal for a Description Logic Interface,
	Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris

	PANEL discussion

19.00: mayoral reception 

-------------------------------------------------------------------------------

Saturday, July 31 
-----------------

 8.30 -  9.00: Registration

 9.00 - 10.30: theory I (chair: Maurizio Lenzerini)

	On the Complexity of Counting in Description Logics 
	Stephan Tobies 

	ABox Reasoning with Transitive Roles and Axioms 
	Sergio Tessaris, Graham Gough 

	A Suggestion for an n-ary Description Logic 
	Carsten Lutz, Ulrike Sattler, Stephan Tobies 

	Set Description Languages and Reasoning 
	about Numerical Features of Sets 
	Hans Jürgen Ohlbach 

	Discussion

10.30 - 10.50: Coffee break

10.50 - 12.30: theory II (chair: Maurizio Lenzerini)

	Matching in Description Logics with Existential Restrictions 
	Franz Baader, Ralf Küsters 

	Rewriting in Description Logics Using Terminologies 
	Franz Baader, Ralf Molitor 

	Computing Least Common Subsumers in Expressive Description Logics 
	Thomas Mantay 

	Reasoning in a Closed Terminology 
	Francois Rousselot, Francois de Beuvron, Michael Schlick, David Rudloff
 
	Discussion

12.30 - 13.30: Lunch 

13.30 - 15.00: invited talk, Robert MacGregor and Deborah McGuinness
	DARPA's High Performance Knowledge Base (HPKB) Program 

15.00 - 15.45: systems I  (chair: Peter Patel-Schneider)

	*SAT, KSATC, DLP and TA: a comparative analysis 
	Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia 

	An Empirical Evaluation of Optimization Strategies 
	for ABox Reasoning in Expressive Description Logics 
	Volker Haarslev, Ralf Möller 

	Performance of DLP on Random Modal Formulae 
	Ian Horrocks, Peter F. Patel-Schneider 

	Discussion on performance analysis

15.45 - 16.05: Coffee break

16.05 - 17.50: systems II (chair: Peter Patel-Schneider)

	*SAT System Description 
	Armando Tacchella 

	CICLOP
	Francois de Bertrand de Beuvron, Francois Rousselot, 
	Martina Grathwohl, David Rudloff, Michael Schlick 

	DLP 
	Peter F. Patel-Schneider 

	FaCT and iFaCT 
	Ian Horrocks 

	MSPASS: Subsumption testing with SPASS
	Ullrich Hustadt, Renate Schmidt, Christoph Weidenbach

	RACE system description
	Volker Haarslev, Ralf Möller 

	Integrating Descriptions and Classification 
	into a Predicate Calculus Framework 
	Robert MacGregor

	Discussion on systems comparison, users, challenges, future plans

18.30: DL99 social event


-------------------------------------------------------------------------------

Sunday, August 1
----------------

 9.00 - 10.00: System demonstrations

10.00 - 10.20: Coffee break

10.20 - 12.00: extensions (chair: Patrick Lambrix)

	Description Logics and Facets 
	Uta Priss 

	A Correspondence between Temporal Description Logics 
	Alessandro Artale, Carsten Lutz 

	Reasoning with enhanced Temporal Entity-Relationship Models 
	Alessandro Artale, Enrico Franconi 

	On Terminological Default Reasoning 
	about Spatial Information: Extended Abstract 
       	Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel 

	Answering Queries Using Views in Description Logics 
	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini 

12.00 - 12.30: future DL workshops and closing
 
12.30 - 13.30: Lunch