ARCOE-09: Call for Registration

[ARCOE-09]

================================
ARCOE-09 at IJCAI-09
July 11-12, 2009
Pasadena, CA, USA

CALL FOR REGISTRATION

Register on http://ijcai-09.org/
================================

ARCOE-09 is an IJCAI-09 workshop on Automated Reasoning about Context and Ontology Evolution
http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09

Program

** Day 1 (July 11th 2009)

08h00 to 08h45: Registration

08h45 to 09h00: Introduction to ARCOE

Track 1: COMMON SENSE AND NON-MONOTONIC REASONING

09h00 to 10h00: Invited talk: Small is again beautiful in Description Logics
Baader

---Coffee Break (30min)---

10h30 to 11h00: Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach
Moguillansky, Wassermann

11h00 to 11h30: Forgetting for Knowledge Bases in DL-Lite_{bool}          
Wang, Wang, Topor

---Lunch (2h)---

13h30 to 14h00: AGM Revision in Description Logics
Ribeiro, Wasserman

14h00 to 14h30:    First Steps in EL Contraction          
Booth, Meyer, Varzinczak

Track 2: CONTEXT AND ONTOLOGY

14h30 to 15h00: Shifting Valence Helps Verify Contextual Appropriateness of Emotions  
Ptaszynski, Dybala, Shi, Rzepka, Araki

---Coffee Break (30min)---
 
15h30 to 16h00: Context Discovery via Theory Interpretation          
Kutz, Normann

16h00 to 16h30: Contextualized OWL-DL KB for the management of OWL-S effects  
Redavid, Palmisano, Iannone, Doran (presentation)

16h30 to 17h30: Panel discussion: Theme TBA

** Day 2 (July 12th 2009)

09h00 to 10h00: Invited talk: Title TBA
McGuinness

---Coffee break (30min)---

10h30 to 11h00: Modeling the External Quality of Context to Fine-tune Context Reasoning in Geo-spatial Interoperability  
Sboui, Bedard, Badard

11h00 to 11h30: A Conflict-based Operator for Mapping Revision      
Qi, Ji, Haase

---Lunch (2h)---

Track 3: AUTOMATED ONTOLOGY EVOLUTION

13h30 to 14h00: Unite: A New Plan for Automated Ontology Evolution in Physics      
Bundy

14h00 to 14h30: An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics      
Chan, Bundy

14h30 to 15h00: A Case Study of Ontology Evolution in Atomic Physics as the Basis of the Open Structure Ontology Repair Plan      
Lehmann

---Coffee break (30min)---

15h30 to 16h00: Atypicalities in Ontologies: Inferring New Facts from Topological Axioms  
Jouis, Habib, Liu

Track 4: LINKS AND INTEGRATION BETWEEN TRACKS 1 TO 3

16h00 to 17h00: Participants Scientific Discussion

17h00 to 18h00: Plenary Business Meeting, closing of the workshop followed by social activities

================================


Please note thatProgram may be subject to variations.