http://sekt.semanticweb.org/ WP3.4 Reasoning with Inconsistency Milestone 3.4 D3.4.3: Reasoning with Inconsistency (version 2). P/PU/Month 36 PION: a prototype for Processing Inconsistent ONtology. PION website: PION package: new release supports Linux. PION (version 1.3.0) for Windows and Linux (released on April 22, 2006)

http://sekt.semanticweb.org/ We start to work on the semantic relevance approach for PION Use Google to obtain light-weight semantics for the selection functions New framework of inconsistency, negation and ontology changes, which are based on the distinction between incoherence(i.e, the existence of unsatisfiable concept) and inconsistency (i.e., no model). PION: New extensions

http://sekt.semanticweb.org/ SEKT 3.4: Publication Inconsistencies, Negations and Changes in Ontologies, Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06), Boston, July, ( to appear). Cooperation work with Knowledge Web (H. Wache and J. Pan) and FORTH, Greece (G. Flouris and D. Plexousakis)

http://sekt.semanticweb.org/ Integration with SIP PION pipeline system has been implemented. PION has been integrated with the SEKT initial platform.

http://sekt.semanticweb.org/ WP3.5 Multi-Version Reasoning Milestone 3.5 – Evaluation and Prototype D3.5.2: Evaluation of Multi-version reasoning (Delayed) D3.5.3: Prototype of Multi-version reasoning (version 2), M36. We are working on a new prototype which achieves the scalability, which can deal with more than 2000 versions of ontologies (rdf/rdfs data) on an ordinary PC (528MB memory).

http://sekt.semanticweb.org/ Evaluation of MORE We are working on the evaluation of the prototype MORE with the legal case study data. VUA / UAB session at this afternoon to discuss the data test issue.

http://sekt.semanticweb.org/ WP3.6 Inconsistency Diagnosis and Repair Milestone 3.6 – Software Prototypes D3.6.3: Inconsistency Diagnosis and Repair V2. P/PU/Month 36 Task: Given an inconsistent ontology, locate possible sources of inconsistencies and offer the user (a knowledge engineer) to repair them.

http://sekt.semanticweb.org/ Prototype of DION/MUPSter DION/MUPSter are Debuggers of Inconsistent ONtologies, which use the bottom-up/top-down approaches for inconsistency diagnosis by the support of external/internal DL reasoners respectively.

http://sekt.semanticweb.org/ Debugger and Ontology Learning We are using DION to debug inconsistency of ontologies which are obtained from Ontology Learning (Johanna Volker, York Sure, and Peter Haase)

http://sekt.semanticweb.org/ Integration with SIP We will start to work on DION and MUPSter pipeline systems to integrate them with the SEKT initial platform.

http://sekt.semanticweb.org/ Integrating with KAON2 We are going to integrate all of the prototypes (PION, MORE, and DION) with KAON2 via its DIG interface