Description Logics 2003: Rome, Italy

@proceedings{DBLP:conf/dlog/2003,
  editor    = {Diego Calvanese and
               Giuseppe De Giacomo and
               Enrico Franconi},
  title     = {Proceedings of the 2003 International Workshop on Description
               Logics (DL2003), Rome, Italy September 5-7, 2003},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {81},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• John Mylopoulos:
  Modeling Software.
  
• Richard Hull:
  E-Service Composition: Models and Formalisms.
  

Applications

• Ian Horrocks, Peter F. Patel-Schneider:
  Reducing OWL Entailment to Description Logic Satisfability.
  
• Lubomir Stanchev, Grant E. Weddell:
  Index Selection for Embedded Control Applications using Description Logics.
  
• Sanjay Modgil:
  Rule Based Computation of Updates to Terminologies.
  
• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
  Reasoning on UML Class Diagrams is EXPTIME-hard.
  
• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
  e-Service Composition by Description Logics Based Reasoning.
  
• Volker Haarslev, Ralf Möller:
  Incremental Query Answering for Implementing Document Retrieval Services.
  
• Jeff Z. Pan, Ian Horrocks:
  RDFS(FA): A DL-ised Sub-language of RDFS.
  
• David DeHaan, David Toman, Grant E. Weddell:
  Rewriting Aggregate Queries using Description Logic.
  

Standard Reasoning Services

• Franz Baader:
  Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles.
  
• Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx:
  Handling Boolean A Boxes.
  
• Yevgeny Kazakov, Hans de Nivelle:
  Subsumption of Concepts in FL_0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
  

Non-standard Reasoning Services

• Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
  Concept Abduction and Contraction in Description Logics.
  
• Francesca A. Lisi:
  Data Minig in Hybrid Languages vis ILP.
  
• Stefan Schlobach, Ronald Cornet:
  Explanation of Terminological Reasoning: A Preliminary Report.
  
• Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
  Resasoning about Concepts and Similarity.
  

Implementations and Systems

• Dmitry Tsarkov, Ian Horrocks:
  DL Reasoner vs. First-Order Prover.
  
• Sebastian Brandt:
  Implementing Matching in ALE--First Results.
  
• Sean Bechhofer, Ralf Möller, Peter Crowther:
  The DIG Description Logic Interface.
  

Extensions

• Enrico Franconi, David Toman:
  Fixpoint Extensions of Temporal Description Logics.
  
• Carsten Lutz, Ulrike Sattler, Lidia Tendera:
  Finite Model Reasoning in ALCQI is EXPTIME Logics.
  
• Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
  E-connections of Description Logics.
  

Posters

• François de Bertrand de Beuvron, Amadou Coulibaly:
  Applying Description Logic to Product Behavioral Design within Advanced CAD Systems.
  
• Sebastian Brandt, Anni-Yasmin Turhan:
  Computing Least Common Subsumers for FLE⁺.
  
• Jan Hladik:
  Reasoning about Nominals with FaCT and RACER.
  
• Eric I. Hsu, Deborah L. McGuinness:
  Wine Agent: Semantic Web Testbed Application.
  
• Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt:
  From Lexicon To Mammographic Ontology: Experiences and Lessons.
  
• Bo Hu, Nigel Shadbolt:
  Visualising a DL Knowledge Base with DeLogViz.
  
• Naouel Karam, Michel Schneider:
  Comparing Natural Language Documents: a DL Based Approach.
  
• Patrick Lambrix, Anna Edberg, Carolyn Manis, He Tan:
  Merging DAML+OIL Bio-ontologies.
  
• Chan Le Duc, Nhan Le Thanh:
  On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs.
  
• Lei Li, Ian Horrocks:
  Matchmarking Using an Instance Store: Some Preliminary Results.
  
• Ralf Möller, Ronald Cornet, Volker Haarslev:
  Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.
  
• Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens:
  Detecting Inconsistencies between UML Models Using Description Logic.
  

Statements of Interest

• Shinyoung Lim:
  Status Report on Description Logics related Project in Korea.
  
• Carlo Meghini, Yannis Tzitzikas:
  Query Evaluation over Networks of Logic-based Mediators (Position Paper).
  
• Umberto Straccia:
  Distributed Search in the Semantic Web.