Distributed RDFS knowledge-based system update in case of deletions

This article presents a method for maintaining the materialization of a RDFS Knowledge-Base in case of fact deletions in a distributed way. MapReduce framework is used to implement and test the method. Current MapReduce framework-based distributed reasoning is used for static RDFS knowledge bases. However, any changes in KB have been followed by rebuilding the closure which is very time consuming. The alternative is to update it. The method preserves soundness and completeness which are necessary conditions to any materialization process. The steps involved in fact deletion is recognized and a set of RDFS rules is devised accordingly to preserve correctness properties. Finally, we analyze the time and space consumed by the presented method.

[1]  Frank van Harmelen,et al.  Scalable Distributed Reasoning Using MapReduce , 2009, SEMWEB.

[2]  Dieter Fensel,et al.  Towards LarKC: A Platform for Web-Scale Reasoning , 2008, 2008 IEEE International Conference on Semantic Computing.

[3]  Heiner Stuckenschmidt,et al.  Towards Distributed Ontology Reasoning for the Web , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[4]  Frank van Harmelen,et al.  Marvin: Distributed reasoning over large-scale Semantic Web data , 2009, J. Web Semant..

[5]  Steffen Staab,et al.  Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases , 2005, J. Data Semant..

[6]  Frank van Harmelen,et al.  OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples , 2010, ESWC.

[7]  Michel C. A. Klein,et al.  Reasoning and change management in modular ontologies , 2007, Data Knowl. Eng..

[8]  Bijan Parsia,et al.  Description Logic Reasoning with Syntactic Updates , 2006, OTM Conferences.

[9]  Maurizio Lenzerini,et al.  On Instance-level Update and Erasure in Description Logic Ontologies , 2009, J. Log. Comput..

[10]  Lei Zheng,et al.  Distributed reasoning based on problem solver markup language (PSML): a demonstration through extended OWL , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[11]  Frank van Harmelen,et al.  WebPIE: A Web-scale Parallel Inference Engine using MapReduce , 2012, J. Web Semant..

[12]  Filip De Turck,et al.  Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model , 2008, Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08).