1 / 11

WP3.4 Reasoning with Inconsistency

WP3.4 Reasoning with Inconsistency. Milestone 3.4 D3.4.3: Reasoning with Inconsistency (version 2) . P/PU/Month 36 PION : a prototype for P rocessing I nconsistent ON tology. PION website: http://wasp.cs.vu.nl/sekt/pion PION package: new release supports Linux.

omar
Download Presentation

WP3.4 Reasoning with Inconsistency

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. 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: http://wasp.cs.vu.nl/sekt/pion • PION package: new release supports Linux. PION (version 1.3.0) for Windows and Linux (released on April 22, 2006) http://sekt.semanticweb.org/

  2. PION: New extensions • 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). http://sekt.semanticweb.org/

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

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

  5. 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/

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

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

  8. 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/

  9. 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/

  10. 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/

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

More Related