================================<br>ARCOE-09 at IJCAI-09<br>July 11-12, 2009<br>Pasadena, CA, USA<br><br>CALL FOR REGISTRATION<br><br>Register on <a href="http://ijcai-09.org/">http://ijcai-09.org/</a><br>================================<br>
<br>ARCOE-09 is an IJCAI-09 workshop on Automated Reasoning about Context and Ontology Evolution <br><a href="http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09">http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09</a><br><br>Program<br>
<br>** Day 1 (July 11th 2009)<br><br>08h00 to 08h45: Registration<br><br>08h45 to 09h00: Introduction to ARCOE<br><br>Track 1: COMMON SENSE AND NON-MONOTONIC REASONING<br><br>09h00 to 10h00: Invited talk: Small is again beautiful in Description Logics<br>
Baader<br><br>---Coffee Break (30min)---<br><br>10h30 to 11h00: Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach<br>Moguillansky, Wassermann<br><br>11h00 to 11h30: Forgetting for Knowledge Bases in DL-Lite_{bool}           <br>
Wang, Wang, Topor<br><br>---Lunch (2h)---<br><br>13h30 to 14h00: AGM Revision in Description Logics<br>Ribeiro, Wasserman<br><br>14h00 to 14h30:    First Steps in EL Contraction           <br>Booth, Meyer, Varzinczak<br><br>
Track 2: CONTEXT AND ONTOLOGY<br><br>14h30 to 15h00: Shifting Valence Helps Verify Contextual Appropriateness of Emotions   <br>Ptaszynski, Dybala, Shi, Rzepka, Araki<br><br>---Coffee Break (30min)---<br>  <br>15h30 to 16h00: Context Discovery via Theory Interpretation           <br>
Kutz, Normann<br><br>16h00 to 16h30: Contextualized OWL-DL KB for the management of OWL-S effects   <br>Redavid, Palmisano, Iannone, Doran (presentation)<br><br>16h30 to 17h30: Panel discussion: Theme TBA<br><br>** Day 2 (July 12th 2009)<br>
<br>09h00 to 10h00: Invited talk: Title TBA<br>McGuinness<br><br>---Coffee break (30min)---<br><br>10h30 to 11h00: Modeling the External Quality of Context to Fine-tune Context Reasoning in Geo-spatial Interoperability   <br>
Sboui, Bedard, Badard<br><br>11h00 to 11h30: A Conflict-based Operator for Mapping Revision       <br>Qi, Ji, Haase<br><br>---Lunch (2h)---<br><br>Track 3: AUTOMATED ONTOLOGY EVOLUTION<br><br>13h30 to 14h00: Unite: A New Plan for Automated Ontology Evolution in Physics       <br>
Bundy<br><br>14h00 to 14h30: An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics       <br>Chan, Bundy<br><br>14h30 to 15h00: A Case Study of Ontology Evolution in Atomic Physics as the Basis of the Open Structure Ontology Repair Plan       <br>
Lehmann<br><br>---Coffee break (30min)---<br><br>15h30 to 16h00: Atypicalities in Ontologies: Inferring New Facts from Topological Axioms   <br>Jouis, Habib, Liu<br><br>Track 4: LINKS AND INTEGRATION BETWEEN TRACKS 1 TO 3<br>
<br>16h00 to 17h00: Participants Scientific Discussion<br><br>17h00 to 18h00: Plenary Business Meeting, closing of the workshop followed by social activities<br><br>================================<br><br><br>Please note thatProgram may be subject to variations.<br>
<br>