[DL] Reasoning in DLs: JAR special issue

[baader at tcs.inf.tu-dresden.de]

                           Call for papers

                         Special issue of the

                    JOURNAL OF AUTOMATED REASONING
                   http://www-unix.mcs.anl.gov/JAR/

                                  on

                   REASONING IN DESCRIPTION LOGICS

IMPORTANT DATES

Paper submission:    April 16, 2006
Reviews due:         July 16, 2006
Revised version due: September 3, 2006
Final reviews due:   October 1, 2006
Final version due:   November 5, 2006
Publication date:    March 2007

GENERAL INFORMATION

Description Logics (DLs) are a successful family of logic-based
knowledge representation formalisms, which can be used to represent
the conceptual knowledge of an application domain in a structured
and formally well-understood way. They are employed in various 
areas, such as natural language processing, configuration, and
databases, but their most notable success so far is the adoption
of the DL-based language OWL as ontology language for the Semantic 
Web.

The most important selling point for DL systems is that they provide
their users with highly optimized reasoning procedures for expressive
representation languages, which -- despite their high worst-case 
complexity -- behave quite well in practice. Most DL systems employ
tableau-based reasoning procedures, but several promising alternative
approaches to reasoning in DLs are currently investigated. The purpose
of this special issue is to provide a snapshot of the current research
on reasoning in DLs, which shows different approaches and ranges from
theoretical to applied work.

TOPICS

This special issue is concerned with all aspects of reasoning in 
Description Logics. Topics of interest include the following:

    * tableau-based reasoning procedures
    * resolution-based reasoning procedures
    * automata-based reasoning procedures
    * translation-based reasoning procedures
    * tractable reasoning in inexpressive DLs
    * procedures for non-standard inference problems
    * complexity of reasoning
    * implementation and optimization techniques
    * empirical evaluations of reasoning techniques
    * application of reasoning in DLs

SUBMISSIONS

This special issue seeks original high-quality contributions that
have not been published in or submitted to any journal. Long versions
of papers previously published at a conference are welcome, but the
journal version must significantly extend the conference version
(e.g., by new results; full proofs for theoretical papers; more
thorough empirical evaluations for practical papers). The submissions 
will be refereed according to the usual standards of the Journal of 
Automated Reasoning.

Electronic submissions (in postscript- or pdf-format) should be prepared 
using the style files at

        http://www.wkap.nl/authors/jrnlstylefiles

and should be sent to 

  jar at tcs.inf.tu-dresden.de

GUEST EDITOR

Franz Baader (TU Dresden, Germany)
http://lat.inf.tu-dresden.de/~baader/index-en.html

FURTHER INFORMATION

If you have further questions, please contact the guest editor
by sending an email to "jar at tcs.inf.tu-dresden.de".