[Elsnet-list] ARCOE-09: Call for Registration

ARCOE-09 arcoe-09 at aifb.uni-karlsruhe.de
Mon Jun 15 11:40:03 CEST 2009


================================
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.let.uu.nl/pipermail/elsnet-list/attachments/20090615/59ef1c7a/attachment-0001.htm


More information about the Elsnet-list mailing list