|
Vol-115
© 2004 for the individual papers
by the papers' authors. Copying permitted for private and scientific purposes.
Re-publication of material on this page requires permission by the copyright
owners.
|
ADL'04
Third International Workshop on
Applications of Description Logics
Edited by
Sean Bechhofer
, University of Manchester.
Volker Haarslev
,
Computer Science Department, Concordia University, Montreal.
Carsten Lutz
,
Institute for Theoretical Computer Science, TU Dresden.
Ralf Moeller
, Hamburg University of Science and Technology
Table of Contents
-
Content-based Image Retrieval by Ontology-based Object Recognition
J.P. Schober, Th. Hermes, O. Herzog
-
Implementing the Instance Store
S. Bechhofer, I. Horrocks, D. Turi
-
Query Answering Systems in the Semantic Web
B. Glimm, I. Horrocks
-
Querying the Semantic Web with Racer + nRQL
V. Haarslev, R. Moeller, M. Wessel
-
Design and Implmentation of a Benchmark Testing Infrastructure for the DL System Racer
A. Kaya, K. Selzer
-
The Need for an n-ary Existential Quantifier in Description Logics
M. Theißen
-
Inconsistency Detection between UML Models Using Racer and nRQL
R. Van Der Straeten
-
Development of an Intelligent Tutor for Description Logics
Chr. Kemke, S. Mithun
-
Implementing Matching in ALN
S. Brandt, H. Liu
-
Deciding Weak Monadic Second-order Logics using Complex-value Datalog
D. Toman
submitted by Ralf Moeller, October 07, 2004