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.
Registration
Registration will be via the KI-2004 site. Note that ADL workshop participants do not need to register for the main conference.
Programme
Speakers should plan for twenty minutes plus five minutes for questions.
| 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 |
Workshop notes will be made available in electronic format via CEUR proceedings.
In the evening, a social dinner will be arranged to promote informal discussions.
Submission Details
To submit to ADL'04, please send a paper not exceeding 10 pages, formatted following the example LaTeX file. You can also view compiled PostScript or PDF versions.
Please send your submissions by email to clu@lat.inf.tu-dresden.de
Submissions are now closed.
Important Dates
*** Note Extended Deadline ***
- Deadline for Submissions: 23th August 2004
- Acceptance Notificaton: 29th August 2004
- Final Versions due: 7th September 2004
- Workshop Date: 24th September 2004
*** Note Extended Deadline ***