<div>Sincere apologies for multiple postings.</div><div><br></div><div>=======================</div><div>CALL FOR PAPERS</div><div><br></div><div>ARCOE-11 at IJCAI-11</div><div><br></div><div>Date: July 17-18 2011</div><div>
Barcelona, Spain</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 17 and 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>-- Topics --</div><div><br></div><div>ARCOE-11 welcomes submissions on the tracks below as well on their</div><div>intersection. (The division in tracks is only for organizational purposes</div>
<div>during the workshop. Authors are not required to assign themselves to a </div><div>specific track at the time of submission.)</div><div><br></div><div>Track 1: Context and Ontology</div><div>Submissions are welcome on the role of context and ontology in areas that</div>
<div>include but are not limited to the following ones:</div><div><br></div><div>- Information integration</div><div>- The role of context and ontology in distributed reasoning and knowledge </div><div>management</div><div>
- The role of context and ontology in the Semantic Web</div><div>- Multi-agent systems</div><div>- Data grid and grid computing</div><div>- Pervasive computing and ambient intelligence</div><div>- Peer-to-peer information systems</div>
<div>- Comparison of uses of contexts and ontologies</div><div><br></div><div>Track 2: Common Sense and Non-Monotonic Reasoning</div><div>Submissions are welcome on the role of common sense and non-monotonic</div><div>reasoning for ontologies in areas that include but are not limited to</div>
<div>the following ones:</div><div><br></div><div>- Ontology debugging, update and merging</div><div>- Non-classical belief revision</div><div>- Inconsistency handling, belief revision and theory change for DL ontologies</div>
<div>- Uncertainty handling, defeasible reasoning and argumentation in ontologies</div><div>- Heuristic and approximate reasoning</div><div>- Planning and reasoning about action and change on the Semantic Web</div><div>- Rules and ontologies</div>
<div>- Temporal and spatial reasoning</div><div><span class="Apple-tab-span" style="white-space:pre">       </span></div><div>Track 3: Automated Ontology Evolution</div><div>Submissions are welcome on the role of automated ontology evolution in</div>
<div>areas that include but are not limited to the following ones:</div><div><br></div><div>- Ontology fault diagnosis and repair</div><div>- Ontology versioning</div><div>- Adaptive systems and reconfiguration</div><div>
- General problem solving</div><div>- Agent communication</div><div>- Persistent agents in changing environment</div><div>- Multimedia on the Web</div><div>- IT and automated reasoning</div><div><br></div><div>-- Attendance --</div>
<div><br></div><div>Authors and submissions will be selected on the significance of the </div><div>contribution, on how the work positions itself with respect to Tracks 1-3 </div><div>above, and on the submission's potential to foster discussions and </div>
<div>integration. Also, authors will be preferred to simple attendees. Attendees </div><div>are welcome, but will be selected on a first-come-first-served basis. </div><div>Please check the IJCAI-11 website for registration procedure, fees as well </div>
<div>as cancellation policies.</div><div><br></div><div>-- Submission Requirements and Dates --</div><div><br></div><div>ARCOE-11 will accept submissions of long abstracts, for both long</div><div>presentations and poster presentations. The distinction during the</div>
<div>selection-phase will be based on</div><div><br></div><div>1) Relevance, significance and quality of the submission;</div><div><br></div><div>2) Degree of interdisciplinarity of the contribution with respect to Tracks </div>
<div>1-3 above, i.e., the contribution's potential to foster cross-pollination </div><div>and discussions on ARCOE main themes during the event.</div><div><br></div><div>In an effort to integrate this relatively new research area, submissions to </div>
<div>ARCOE-11 should be able to explicitly and uniformly introduce their work </div><div>relative to the call for papers and to other approaches. For instance, given</div><div>specific approaches such as DL-based belief revision, or Context Logic </div>
<div>integrated by Natural Language Processing (NLP), or Higher-Order Logic </div><div>(HOL) or Machine Learning (ML), the authors are expected to introduce their </div><div>proposals by clearly positioning themselves relative to:</div>
<div><br></div><div>1) Specific canonical problems in their respective area;</div><div>2) Paradigms, tools and applications within their own approach;</div><div>3) ARCOE's list of canonical problems in Tracks 1-3, i.e., the contribution </div>
<div>should be able to make clear how it is positioned relative to ontology and </div><div>context, ontology engineering and/or general problem solving and </div><div>communication for agents.</div><div><br></div><div>All selected abstracts will be included in the Working Notes. Authors are </div>
<div>kindly requested to provide keywords upon submission. The format for </div><div>submissions is the same as that of IJCAI-11. Please check the IJCAI author </div><div>instructions website for the style files. Submissions should be no longer </div>
<div>than 5 pages and in PDF format. The possibility is being considered of </div><div>publishing extended versions of the best works from the workshop in a </div><div>special issue of a peer-reviewed journal.</div><div><br>
</div><div>Submission deadline: March 14, 2011</div><div>Notification: April 25, 2011 </div><div>Camera ready: May 16, 2011  </div><div>Early registration: [TBA]</div><div>Late registration: [TBA]</div><div>Workshop dates: 17 and 18 July 2011</div>
<div><br></div><div>-- Submit to --</div><div><br></div><div>Please submit to <a href="http://www.easychair.org/conferences/?conf=arcoe11">http://www.easychair.org/conferences/?conf=arcoe11</a></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</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 (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>