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