Workshop 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 that: Preliminary Program may be subject to variations.
[home] [submission [organization] [abstracts] [program] [links]