Integrity Constraint Validation in DL-LiteR Based Ontology Using Rewriting

摘要

With the rapid development of information technology,semantic web data present features of massiveness and complexity.As the data-centric science,social computing have great influence in collecting and analyzing semantic data.In our contribution,we propose an integrity constraint validation for DL-LiteR based ontology in view of data correctness issue in the progress of social computing applications.Firstly,at the basis of translations from integrity constraint axioms into a set of conjunctive queries,integrity constraint validation is converted into the conjunctive query answering over knowledge bases.Moreover,rewriting rules are used for reformulating the integrity constraint axioms using standard axioms.On this account,the integrity constraint validation can be reduced to the query evaluation over the ABox,and use query mechanisms in database management systems to optimize integrity constraint validation.Finally,the experimental result shows that the rewritingbased method greatly improves the efficiency of integrity constraint validation and is more appropriate to scalable data in the semantic web.