Journal of Annals of Mathematics and Artificial Intelligence (AMAI)
Special Issue on Commonsense Reasoning for the Semantic Web
(https://logic.aifb.uni-karlsruhe.de/wiki/AMAI_special_issue_on_commmonsense_reasoning_in_the_semantic_web)
Editor-in-Chief: Martin Charles Golumbic (University of Haifa, Israel)

Guest Editors

Frank van Harmelen, Vrije University Amsterdam (Frank.van.Harmelen@cs.vu.nl)
Andreas Herzig, IRIT-CNRS (herzig@irit.fr)
Pascal Hitzler, University of Karlsruhe (hitzler@aifb.uni-karlsruhe.de)
Guilin Qi, University of Karlsruhe (gqi@aifb.uni-karlsruhe.de)

Descriptions
---------------
Semantic Web Technologies provide concepts, architectures, and tools
for interconnected vocabularies and applications. One of the declared
goals of Semantic Web research is to enable intelligent software
agents to reason about information and knowledge which is pervaded on
the Web. To achieve this goal, a challenging and important problem is
to represent commonsense knowledge on the Web and to reason with it.
Indeed, commonsense reasoning is a central part of human behaviour,
and how to endow computers with common sense capabilities is one of
the major long-term goals of Artificial Intelligence research and is
therefore also relevant to the realization of the ambitious Semantic
Web vision. At the same time, the forthcoming Semantic Web constitutes
an ideal application scenario for formal logic and traditional
commonsense reasoning approaches. In recent years, there is a
substantially increasing interest in applying theoretical approaches
of commonsense reasoning to deal with practical application problems
in the Semantic Web. It is indeed widely accepted that extensions of
commonsense reasoning to the Semantic Web will have to be provided in
the near future. In this special issue we intend to publish articles
discussing commonsense reasoning aspects on the Web. Submissions
describing original and solid theoretical contributions to commonsense
reasoning with application to the Semantic web are especially
encouraged.

Topics of Interest
------------------
We encourage original and high quality work on all topics related to
commonsense reasoning for the Semantic Web. Topics of interest
include, but are not limited to:
-reasoning about change and dynamics of ontologies, including ontology
integration, ontology evolution, revision and update of ontologies in
the Semantic Web

-nonmonotonic extensions of ontology languages, including
circumscriptive, default,  defeasible logic, diagnosis, and
autoepistemic approaches
-temporal and spatial extensions of ontology languages
-planning and action in the Semantic Web and Semantic Web services
-combining modal logics and description logics
-commonsense knowledge acquisition from the (Semantic) Web
-integration of logic programming and description logics
-abductive reasoning in the Semantic Web
-extensions of ontology languages to enable uncertainty reasoning,
including fuzzy, probabilistic and possibilistic approaches
-contextualized, distributed, and modular ontology languages
-non-standard reasoning in description logics, such as computing least
common subsumer and matching.
-paraconsistent extension of ontology languages
-computational models of argumentation in the Semantic Web
-approximate reasoning and compilation in description logics
-scalability issues
-other mathematical tools for using commonsense reasoning on the Semantic Web

Important Dates
---------------
Submission Deadline: February 28, 2009
Acceptance Deadline: May 31, 2009
Revised Version Deadline: July 31, 2009
Final Decision: September 30, 2009
Final Paper: November 30, 2009

Submission Procedure
--------------------
Manuscripts must follow the AMAI guidelines for submission and have to
be accompanied by abstracts. Details regarding the submission format
and on-line submission site can be found at
http://www.editorialmanager.com/amai/. All manuscripts should be
submitted through that online system. All manuscripts must be of high
quality and are subject to peer review performed by three reviewers.
The refereeing will be at the same level as in any of the major
journal publications in the area.

Editorial Board
---------------------------
Grigoris Antoniou, University of Crete, Greece
Jos de Bruijn, Free University of Bolzano, Italy
Diego Calvanese, Free University of Bozen-Bolzano, Italy
Xiaoping Chen, University of Science and Technology of China, China
Patrick Doherty, University of Linkoping, Sweden
Thomas Eiter, TU Wien, Austria
Jerome Euzenat, INRIA, France
Zhisheng Huang, Vrije University Amsterdam, Netherlands
Maurizio Lenzerini, Dipartimento di Informatica e Sistemistica, Italy
Thomas Lukasiewicz, University of Oxford, UK
Thomas Meyer, Meraka Institute, South Africa
Boris Motik : Oxford University Computing Laboratory, UK
Jeff Z. Pan, University of Aberdeen, UK
Bijan Parsia, University of Manchester, UK
Riccardo Rosati, Sapienza Università di Roma, Italy
Luciano Serafini, Fondazione Bruno Kessler, Italy
Heiner Stuckenschmidt, Universität Mannheim, Germany
Chris Welty, IBM Watson Research Center, USA
Renata Wassermann, Universidade de São Paulo, Brazil
Mary-Anne Williams, the University of Technology, Australia

Main contact:

Dr. Guilin Qi
Institute AIFB, University of Karlsruhe (TH)
Telefon: +49 (721) 608 7362
Fax: +49 (721) 608 5998
web: http://www.aifb.uni-karlsruhe.de/WBS/gqi/