<div>Sincere apologies for multiple postings.</div><div><br></div><div>==============================</div><div>CALL FOR PARTICIPATION</div><div><br></div><div>ARCOE-11 at IJCAI-11</div><div><br></div><div>Date: July 18 2011 (*NEW*)</div>
<div>Barcelona, Spain</div><div><br></div><div>Accepted contributions:</div><div><a href="http://www.arcoe.org/2011/abstracts.html">http://www.arcoe.org/2011/abstracts.html</a></div><div>==============================</div>
<div><br></div><div>The IJCAI-11 Workshop on</div><div><br></div><div>Automated Reasoning about Context and Ontology Evolution (ARCOE-11)</div><div><a href="http://www.arcoe.org/2011">http://www.arcoe.org/2011</a></div><div>
<br></div><div>held on 18 July 2011</div><div><br></div><div>at the International Joint Conference on Artificial Intelligence (IJCAI-11)</div><div><br></div><div>-- Description of the workshop --</div><div><br></div><div>
Methods of automated reasoning have solved a large number of problems</div><div>in Computer Science by using formal ontologies expressed in logic-based </div><div>languages. Over the years, though, each problem or class of problems has </div>
<div>required a different ontology, and sometimes a different version of logic.</div><div>Moreover, the processes of designing, controlling and maintaining an</div><div>ontology as well as its different versions have turned out to be inherently </div>
<div>complex. All this has motivated much investigation in a wide range of </div><div>disparate disciplines -- from logic-based Knowledge Representation and </div><div>Reasoning to Software Engineering, from Databases to Multimedia -- about </div>
<div>how to relate ontologies to one another.</div><div><br></div><div>ARCOE-11 aims at bringing together researchers and practitioners from</div><div>core areas of Artificial Intelligence (Knowledge Representation and</div>
<div>Reasoning, Contexts, and Ontologies) and related disciplines to discuss </div><div>these kinds of problems and relevant results. Historically, there have </div><div>been at least three different, yet interdependent motivations behind this </div>
<div>type of research: defining the relationship between an ontology and its </div><div>context; providing support to ontology engineers; enhancing problem solving </div><div>and communication for software agents.</div><div>
<br></div><div>Ontology and Context.  Most application areas have recognised the need </div><div>for representing and reasoning about knowledge that is distributed over many </div><div>resources. Such knowledge, as well as its intrinsic relevance and usability,</div>
<div>depends on its context. The latter is determined by the syntactic and/or</div><div>semantic structure of the resources, the scope of the underlying language, </div><div>among other things. Research on information integration, distributed </div>
<div>knowledge management, the semantic web, multi-agent and distributed </div><div>reasoning have pinned down different aspects of how ontologies relate to </div><div>and/or develop within their context.</div><div><br></div>
<div>Ontology Engineering.  Ontology engineers are not supposed to succeed</div><div>right from the beginning when (individually or collaboratively)</div><div>developing and maintaining an ontology. Despite their expertise and any</div>
<div>assistance from domain experts, revision cycles are the rule. Moreover</div><div>quite often different ontologies have to be integrated in such a way for</div><div>them to be operable together (merging). Research on the automation of the</div>
<div>process of engineering an ontology has improved efficiency and reduced the</div><div>introduction of unintended meanings by means of interactive ontology </div><div>editors that provide support for ontology change (debugging, updates and </div>
<div>repair), maintenance (versioning) and integration (merging). Moreover, </div><div>ontology matching has studied the process of manual, off-line alignment </div><div>of two or more known ontologies.</div><div><br></div>
<div>Problem Solving and Communication for Agents.  Agents that communicate</div><div>with one another without having full access to their respective ontologies </div><div>or that are programmed to face new non-classifiable situations must change </div>
<div>their own ontology dynamically at run-time -- they cannot rely solely on </div><div>human intervention. Research on this problem has either concentrated on </div><div>techniques borrowed from the non-monotonic reasoning and belief revision </div>
<div>communities or on changes of signature, i.e., of the grammar of the </div><div>ontology's language, with a minimal disruption to the original theory. This</div><div>is also an important issue in the emerging area of General Game Playing.</div>
<div><br></div><div>ARCOE-11 will provide a multi-disciplinary forum, where differences in</div><div>methodologies, representation languages and techniques are over-arched and</div><div>hopefully overcome. Accordingly, the workshop will be structured into four </div>
<div>tracks: three of them will focus on specific areas, the fourth one will </div><div>foster links and integration.</div><div><br></div><div>Track 1:  Context and Ontology</div><div>This track will consist of presentations and discussions around the theme </div>
<div>of Context and Ontology, a well-established research area that has mainly </div><div>concentrated on the relationship between contexts and ontologies for </div><div>distributed information and for the enhancement of software agents.</div>
<div><br></div><div>Track 2:  Common Sense and Non-Monotonic Reasoning for Ontologies</div><div>This track will consist of presentations and discussions around the theme </div><div>of Common Sense and Non-Monotonic Reasoning in logic-based Knowledge </div>
<div>Representation and Reasoning for ontologies. These are classic areas of AI, </div><div>which since their origins have produced remarkable results on logic-based </div><div>methods for supporting knowledge engineers and for enhancing software agents.</div>
<div><br></div><div>Track 3:  Automated Ontology Evolution</div><div>This track will consist of presentations and discussions around the theme </div><div>of Automated Ontology Evolution for agents and general problem solving, an </div>
<div>area which in recent years has been drawing the attention of Artificial </div><div>Intelligence and Knowledge Representation and Reasoning on the assessment </div><div>of change impact and the automation of ontology evolution.</div>
<div><br></div><div>Track 4: Links and integration</div><div>This track will foster links and integration by means of invited talks</div><div>and (panel) discussions. Topics that are likely to be covered are: the</div><div>
formalisation of software engineering concepts for ontology development; </div><div>the relationship between automated reasoning and information retrieval; </div><div>relationships between representation languages; relationships between </div>
<div>canonical domains; relationships between contexts and ontology evolution </div><div>and between non-monotonic reasoning and ontology evolution.</div><div><br></div><div>ARCOE-11 will bring the participants to position the various approaches </div>
<div>with respect to one another. Hopefully, though, the workshop will also </div><div>start a process of cross-pollination and set out the constitution of a </div><div>truly interdisciplinary research community dedicated to automated </div>
<div>reasoning about contexts and ontology evolution.</div><div><br></div><div>-- Attendance and Important Dates --</div><div> </div><div>Please check the IJCAI-11 website for registration procedure, fees as well </div><div>
as cancellation policies.</div><div><br></div><div>Early registration: 17 May 2011</div><div>Late registration: Please check the IJCAI-11 website</div><div>Workshop date: 18 July 2011</div><div><br></div><div>N.B.: When registering for the workshop at the IJCAI-11 website, please make sure you select a 1-day workshop.</div>
<div><br></div><div>-- Special Issue on ARCOE-related Themes --</div><div><br></div><div>There has recently been an agreement with the Journal of Web Semantics for </div><div>a Special Issue on Reasoning with context in the Semantic Web. The Call for</div>
<div>Papers is open to anyone and it certainly is an opportunity to submit for</div><div>publication quality work about ARCOE-like themes. </div><div><br></div><div>The special issue aims at bringing together work on reasoning with context</div>
<div>in the Semantic Web as seen from various perspectives, e.g., ontology </div><div>integration, ontology development, ontology evolution etc. Submitted articles,</div><div>which may describe either theoretical results or applications, must clearly</div>
<div>pertain to the Semantic Web and/or to semantic technologies. They should </div><div>present either Semantic Web specific approaches to reasoning with context, </div><div>or approaches that have characteristics that are interesting for the Semantic</div>
<div>Web (e.g., scalability, bounded reasoning), or approaches that are of value </div><div>to a larger community containing a non-trivial Semantic Web sub-community </div><div>(e.g. revision/update techniques and error pin-pointing). </div>
<div><br></div><div>Have a look at the Call for Papers on:</div><div><a href="http://www.websemanticsjournal.org/index.php/ps/announcement/view/1">http://www.websemanticsjournal.org/index.php/ps/announcement/view/1</a></div>
<div><br></div><div>For further details please send requests to: organization [at] arcoe [dot] org </div><div><br></div><div>-- Workshop Co-Chairs --</div><div><br></div><div>Alan Bundy - <a href="http://homepages.inf.ed.ac.uk/bundy">http://homepages.inf.ed.ac.uk/bundy</a></div>
<div>School of Informatics, University of Edinburgh</div><div>Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK.</div><div>Tel: +44-131-650-2716, Fax: +44-131-650-6899</div><div><br></div><div>Jos Lehmann - <a href="http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html">http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html</a></div>
<div>School of Informatics, University of Edinburgh</div><div>Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK.</div><div>Tel: +44-131-650-2725, Fax: +44-131-650-6899</div><div><br></div><div>Ivan Varzinczak (primary contact) - <a href="http://en.varzinczak.net16.net">http://en.varzinczak.net16.net</a></div>
<div>CSIR Meraka Institute and University of KwaZulu-Natal</div><div>Meiring Naude Road, CSIR, 0001 Pretoria, South Africa.</div><div>Tel: +27-12-841-2594, Fax: +27-12-841-4720</div><div><br></div><div>-- Program Committee --</div>
<div><br></div><div>- Franz Baader (TU Dresden, Germany)</div><div>- Christoph Benzmueller (Articulate Software, USA) </div><div>- Richard Booth (University of Luxembourg and Mahasarakham University, Thailand)</div><div>- Paolo Bouquet (University of Trento, Italy)</div>
<div>- Jim Delgrande (Simon Fraser University, Canada) </div><div>- Jerome Euzenat (INRIA & LIG, France)</div><div>- Nicola Fanizzi (University of Bari, Italy)</div><div>- Giorgos Flouris (FORTH, Greece) </div><div>- Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy)</div>
<div>- Fausto Giunchiglia (University of Trento, Italy)</div><div>- Deborah McGuinness (Rensselaer Polytechnic Institute, USA)</div><div>- Thomas Meyer (CSIR Meraka Institute, South Africa)</div><div>- Alessandra Mileo (Digital Enterprise Research Institute, Ireland)</div>
<div>- Amedeo Napoli (LORIA CNRS, France)</div><div>- Maurice Pagnucco (The University of New South Wales, Australia)</div><div>- Valeria de Paiva (Cuil Inc., USA) </div><div>- Jeff Pan (University of Aberdeen, UK)</div><div>
- Dimitris Plexousakis (FORTH, Greece)</div><div>- Guilin Qi (Southeast University, China) </div><div>- Marcio Ribeiro (University of Sao Paulo, Brazil) </div><div>- Luciano Serafini (FBK Fondazione Bruno Kessler, Italy)</div>
<div>- Renata Wassermann (University of Sao Paulo, Brazil)</div><div><br></div>