Description Logics 2004: Whistler, BC, Canada

@proceedings{DBLP:conf/dlog/2004,
  editor    = {Volker Haarslev and
               Ralf M{\"o}ller},
  title     = {Proceedings of the 2004 International Workshop on Description
               Logics (DL2004), Whistler, British Columbia, Canada, June 6-8,
               2004},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {104},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Theory 1

• Alessandro Artale:
  Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.
  
• Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
  Computing the Least Common Subsumer w.r.t. a Background Terminology.
  
• Sebastian Brandt:
  On Subsumption and Instance Problem in ELH w.r.t. General TBoxes.
  

Implementation Techniques 1

• Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer:
  The Instance Store: DL Reasoning with Large Numbers of Individuals.
  
• Dmitry Tsarkov, Ian Horrocks:
  Efficient Reasoning with Range and Domain Constraints.
  
• Eldar Karabaev, Carsten Lutz:
  Mona as a DL Reasoner.
  

Graphical Interfaces 1

• Volker Haarslev, Ying Lu, Nematollaah Shiri:
  OntoXpl: Exploration of OWL Ontologies.
  
• Holger Knublauch, Mark A. Musen, Alan L. Rector:
  Editing Description Logic Ontologies with the Protégé OWL Plugin.
  
• Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke:
  Reasoning Services for an OWL Authoring Tool: An Experience Report .
  

Implementation Techniques 2

• Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo:
  Towards Implementing Finite Model Reasoning in Description Logics.
  
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
  DL-Lite: Practical Reasoning for Rich Dls.
  
• Luciano Serafini, Andrei Tamilin:
  Local Tableaux for Reasoning in Distributed Description Logics.
  

Applications 1

• Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
  A Description Logic Based Approach for Matching User Profiles.
  
• Paolo Dongilli, Enrico Franconi, Sergio Tessaris:
  Semantics Driven Support for Query Formulation.
  

Posters

• Bernardo Cuenca Grau, Bijan Parsia:
  From SHOQ(D) Toward E-connections.
  
• Cartik R. Kothari, David J. Russomanno:
  Specifying the Disjoint Nature of Object Properties in DL.
  
• Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva:
  Towards Explaining Semantic Matching.
  
• Jeff Z. Pan, Ian Horrocks:
  Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?").
  

Applications 2

• Ronald Cornet, Ameen Abu-Hanna:
  Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases.
  
• Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel:
  Extended Query Facilities for Racer and an Application to Software-Engineering Problems.
  

Theory 2

• Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
  A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.
  
• Jan Hladik, Jörg Model:
  Tableau Systems for SHIO and SHIQ.
  
• David Toman, Grant E. Weddell:
  Attribute Inversion in Description Logic with Path Functional Dependencies .
  

Graphical Interfaces 2

• Anni-Yasmin Turhan, Christian Kissig:
  Sonic: System Description.
  
• Brian R. Gaines:
  Understanding Ontologies in Scholarly Discipline.
  

Position Papers

• Daniela Berardi:
  Description Logics for e-Service Composition.
  
• Ken Kaneiwa:
  Description Logic and Order-sorted Logic.
  
• Francis Kwong:
  Explaining Description Logic Reasoning.
  
• Toni Mancini:
  Finite Satisfiability of UML Class Diagrams by Constraint Programming.
  
• Evren Sirin, Bijan Parsia:
  Pellet: An OWL DL Reasoner.
  
• Stefan Schulz:
  DL Requirements from Medicine and Biology.