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 seman...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.展开更多
Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology engineering.In this paper,we focus on black-box techniques which are based on ontology reasoners.Through creating ...Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology engineering.In this paper,we focus on black-box techniques which are based on ontology reasoners.Through creating a recursive expansion procedure,all elements which are called critical axioms in the justification are explored one by one.In this detection procedure,an axiom selection function is used to avoid testing irrelevant axioms.In addition,an incremental reasoning procedure has been proposed in order to substitute series of standard reasoning tests w.r.t.satisfiability.It is implemented by employing a pseudo model to detect“obvious”satisfiability directly.The experimental results show that our proposed strategy for extracting justifications for OWL ontologies by adopting incremental expansion is superior to traditional Black-box methods in terms of efficiency and performance.展开更多
文摘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.
基金Research presented in this paper was partially supported by the National Natural Science Foundation of China(Grant Nos.61672261,61502199)It’s also funded by China Scholarship Council(201506175028)for the first author of this paper.
文摘Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology engineering.In this paper,we focus on black-box techniques which are based on ontology reasoners.Through creating a recursive expansion procedure,all elements which are called critical axioms in the justification are explored one by one.In this detection procedure,an axiom selection function is used to avoid testing irrelevant axioms.In addition,an incremental reasoning procedure has been proposed in order to substitute series of standard reasoning tests w.r.t.satisfiability.It is implemented by employing a pseudo model to detect“obvious”satisfiability directly.The experimental results show that our proposed strategy for extracting justifications for OWL ontologies by adopting incremental expansion is superior to traditional Black-box methods in terms of efficiency and performance.
