Workshop Scope
Recent years have seen a growing interest in description logics and the proposal of exciting new applications. This is mainly due to the development of very expressive description logics and optimized description logic systems supporting terminological and/or assertional reasoning. An important example of the applications of description logics is the use of DL technology as the "backbone" of the Semantic Web initiative, which will rapidly foster commercial applications.
In the same spirit as previous workshops on applications of description logics, ADL'01 at KI-2001 and ADL'02 at KI-2002, this workshop intends to gather researchers and practitioners who are interested in description logics and their applications. Topics of interest include the following.
- Applications, for instance from the following areas:
- Semantic web and Grid (with languages such as OWL/DAML+OIL/RDF/RDFS)
- Databases
- Natural language processing
- Medicine and bioinformatics
- Software engineering (e.g., formalizing UML or ER)
- Knowledge engineering
- Process engineering, services, and scheduling
- Temporal and spatial reasoning
- Reasoning about actions, services, business processes, etc.
- Experiences in applying reasoners (e.g., FaCT, Racer, etc.) and/or
ontology interfaces (e.g., OilEd, Protege, RICE, etc)
- Success stories
- Unsatisfactory runtime behavior for answering specific queries
- Problems that cannot be dealt with at the moment
- Experiences in applying or implementing description logic techniques
- Hard inference problems
- Computation of least common subsumers, most-specific subsumers, rewriting, unification, and approximation algorithms
- Architectures for DL sytems
- Management of TBoxes and ABoxes
- Requirements for APIs
- Requirements for description logics from practical modeling experiences
Invited Speaker
Scene Interpretation with Description Logics, Bernd Neumann, Universität Hamburg.
Programme
| Time | Speaker | Title |
|---|---|---|
| 09:00—10:00 | Bern Neumann (Invited Speaker) | Scene Interpretation with Description Logics |
| 10:00—10:25 | Schober et al. | Content-based Image Retrieval by Ontology-based Object Recognition |
| 10:25—10:50 | Break | |
| 10:50—11:15 | Bechhofer et al. | Implementing the Instance Store |
| 11:15—11:40 | Glimm et al. | Query Answering Systems in the Semantic Web |
| 11:40—12:05 | Haarslev at el. | Querying the Semantic Web with Racer and nRQL |
| 12:05—12:30 | Kaya et al. | Design and Implementation of a Benchmark Testing Infrastructure for the DL System Racer |
| 12:30—14:00 | Lunch | |
| 14:00—14:25 | Theissen et al. | The Need for an n-ary Existential Quantor in Description Logics |
| 14:25—14:50 | van der Straeten | Inconsistency Detection between UML Models Using RACER and nRQL |
| 14:50—15:15 | Kemke et al. | Development of an Intelligent Tutor for Description Logics |
| 15:15—15:40 | Break | |
| 15:40—16:05 | Brandt et al. | Implementing Matching in ALN |
| 16:05—16:30 | Toman et al. | Deciding Weak Monadic Second-order Logics using Complex-value Datalog |
| 16:30—16:45 | Break | |
| 16:45—17:50 | Demo Session |
Proceedings
Workshop notes are now available in electronic format from CEUR proceedings.