Apologies for Multiple Postings<br><br>=======================<br>CALL FOR PARTICIPATION<br> <br>ARCOE-10 at ECAI-10<br><br>August 16-17, 2010<br>Lisbon, Portugal<br>=======================<br><br><br>The ECAI-10 Workshop on<br>
<br>Automated Reasoning about Context and Ontology Evolution (ARCOE-10)<br><a href="http://www.arcoe.org/2010/index.html" target="_blank">http://www.arcoe.org/2010/index.html</a><br><br>held on August 16-17, 2010 <br><br>
at the European Conference on Artificial Intelligence (ECAI-10) <br>
<a href="http://ecai2010.appia.pt/" target="_blank">http://ecai2010.appia.pt/</a><br><br>-- Description of the workshop --<br><br>Methods
of automated reasoning have solved a large number of problems in
Computer Science by using formal ontologies expressed in logic. Over
the years, though, each problem or class of problems has required a
different ontology, and sometimes a different version of logic.
Moreover, the processes of conceiving, controlling and maintaining an
ontology and its versions have turned out to be inherently complex. All
this has motivated much investigation in a wide range of disparate
disciplines -- from logic-based Knowledge Representation and Reasoning
to Software Engineering, from Databases to Multimedia -- about how to
relate ontologies to one another. <br>
<br>ARCOE-10 aims at bringing together researchers and practitioners
from core areas of Artificial Intelligence (Knowledge Representation
and Reasoning, Contexts, and Ontologies) to discuss these kinds of
problems and relevant results. Historically, there have been at least
three different, yet interdependent motivations behind this type of
research: defining the relationship between an ontology and its
context, providing support to ontology engineers, enhancing problem
solving and communication for software agents. <br>
<br>Ontology and Context. Most application areas have recognised the
need for representing and reasoning about knowledge that is distributed
over many resources. Such knowledge depends on its context, i.e., on
the syntactic and/or semantic structure of such resources. Research on
information integration, distributed knowledge management, the semantic
web, multi-agent and distributed reasoning have pinned down different
aspects of how ontologies relate to and/or develop within their context.<br>
<br>Ontology Engineering. Ontology engineers are not supposed to
succeed right from the beginning when (individually or collaboratively)
developing an ontology. Despite their expertise and any assistance from
domain experts, revision cycles are the rule. Research on the
automation of the process of engineering an ontology has improved
efficiency and reduced the introduction of unintended meanings by means
of interactive ontology editors. Moreover, ontology matching has
studied the process of manual, off-line alignment of two or more known
ontologies.<br>
<br>Problem Solving and Communication for Agents. Agents that
communicate with one another without having full access to their
respective ontologies or that are programmed to face new
non-classifiable situations must change their own ontology dynamically
at run-time -- they cannot rely on human intervention. Research on this
problem has either concentrated on non-monotonic reasoning and belief
revision or on changes of signature, i.e., of the grammar of the
ontology's language, with a minimal disruption to the original theory.<br>
<br>ARCOE-10 will provide a multi-disciplinary forum, where differences
in methodologies, representation languages and techniques are
over-arched and hopefully overcome. Accordingly, the workshop will be
structured into four tracks: three of them will focus on specific
areas, the fourth one will foster links and integration.<br>
<br>Track 1: Context and Ontology<br>This track will select and
present works about Context and Ontology, a well-established research
area that has mainly concentrated on the relationship between contexts
and ontologies for distributed information and for the enhancement of
software agents.<br>
<br>Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies<br>This
track will select and present works about logic-based Knowledge
Representation and Reasoning, a classic area of AI, which since its
origins has produced remarkable results on logic-based methods for
supporting knowledge engineers and for enhancing software agents.<br>
<br>Track 3: Automated Ontology Evolution<br>This track will select
and present works about Automated Ontology Evolution, an area which in
recent years has been drawing the attention of Artificial Intelligence
and Knowledge Representation and Reasoning on the automation of
ontology evolution. <br>
<br>Track 4: Links and integration<br>This track will foster links and
integration by means of invited talks and (panel) discussions. Topics
that are likely to be covered are: the formalisation of software
engineering concepts for ontology development; the relationship between
automated reasoning and information retrieval; relationships between
representation languages; relationships between canonical domains;
relationships between contexts and ontology evolution and between
Non-Monotonic Reasoning and ontology evolution. <br>
<br>ARCOE-10 will bring the participants to position the various
approaches with respect to one another. Hopefully, though, the workshop
will also start a process of cross-pollination and set out the
constitution of a truly interdisciplinary research-community dedicated
to automated reasoning about contexts and ontology evolution. <br>
<br><br>-- Topics -- <br><br>Track 1: Context and Ontology <br>Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: <br><br>- Information Integration<br>
- The role of context and ontology in Distributed Reasoning and Knowledge Management <br>- The role of context and ontology in Semantic Web <br>- Multi-Agent Systems <br>- Data Grid and Grid Computing <br>- Pervasive Computing and Ambient Intelligence <br>
- Peer-to-peer Information Systems <br>- Comparison of uses of contexts and ontologies <br><br>Track 2: Common Sense and Non-Monotonic Reasoning <br>Submissions
are welcome on the role of common sense and non-monotonic reasoning for
ontologies in areas that include but are not limited to the following
ones: <br>
<br>- Ontology Debugging, Update and Merging<br>- Inconsistency Handling, Belief Revision and Theory Change for DL ontologies <br>- Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies <br>- Heuristic and Approximate Reasoning <br>
- Planning and Reasoning about Action and Change on the Semantic Web<br>- Rules and Ontologies <br>- Temporal and Spatial Reasoning<br> <br>Track 3: Automated Ontology Evolution <br>Submissions
are welcome on the role of automated ontology evolution in areas that
include but are not limited to the following ones: <br>
<br>- Ontology fault diagnosis and repair <br>- Problem Solving <br>- Agent Communication <br>- Persistent Agents in Changing Environment <br>- Multimedia on the Web <br>- IT and Automated Reasoning<br><br><br>-- Attendance -- <br>
<br>Authors will be selected on significance of their submission and
will be preferred to simple attendees. Attendees will be selected on a
first-come-first-served basis. Please check <a href="http://ecai2010.appia.pt/" target="_blank">http://ecai2010.appia.pt/</a> for registration procedure and fees.<br>
<br><br>-- Submission Requirements and Dates --<br><br>ARCOE-10 will
accept submissions of long abstracts, for both long presentations and
poster presentations. The distinction during the selection-phase will
be based on the significance and the quality of submissions as well as
oriented towards fostering cross-pollination and discussions during the
event. All selected abstracts will be included in the Working Notes.
Authors are kindly requested to provide keywords upon submission. The
format for submissions is the same as that of ECAI-10. Please check <a href="http://ecai2010.appia.pt/index.php?option=com_content&task=view&id=44&Itemid=69" target="_blank">http://ecai2010.appia.pt/index.php?option=com_content&task=view&id=44&Itemid=69</a> for the style files. Submissions should be no longer than 3 pages.<br>
<br>Abstract submission: May 7, 2010<br>Notification: June 7, 2010<br>Camera ready: June 21, 2010<br>Early registration: T.B.A.<br>Late registration: T.B.A.<br>Workshop: August 16-17, 2010<br>
<br>-- Submit to -- <br><br>Please submit to <a href="https://www.easychair.org/login.cgi?conf=arcoe10" target="_blank">https://www.easychair.org/login.cgi?conf=arcoe10</a><br>