================================ 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.