W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2009

ARCOE-09: Call for Registration

From: ARCOE-09 <arcoe-09@aifb.uni-karlsruhe.de>
Date: Mon, 15 Jun 2009 11:40:03 +0200
Message-ID: <52c479f40906150240l15a41095p71ed89077b34f698@mail.gmail.com>
To: conferences@computer.org, digicult-forum@digicult.info, ecoop-info@ecoop.org, elsnet-list@elsnet.org, events_calendar@acm.org, linguist@linguistlist.org, ontolog-forum@ontolog.cim3.net, potokte@ornl.gov, project@aktors.org, public-owl-dev@w3.org, public-rif-wg@w3.org, public-semweb-lifesci@w3.org, ruleml-all@ruleml.org, semantic-web@w3.org, semanticweb@egroups.com, semanticweb@yahoogroups.com, web-semantics-italia@yahoogroups.com, www-rdf-logic@w3.org, www-rdf-rules@w3.org, www-ws@w3.org
================================
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.
Received on Monday, 15 June 2009 09:40:59 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:03 GMT