Skip to main content
SpringerLink
Log in

Integrity Constraint Validation in DL-Lite \(_R\) Based Ontology Using Rewriting

  • Conference paper
  • First Online:
Social Computing (ICYCSEE 2016)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 624))

  • 744 Accesses

Abstract

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-Lite \(_R\) 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 rewriting-based method greatly improves the efficiency of integrity constraint validation and is more appropriate to scalable data in the semantic web.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Antoniou, G., Harmelen, F.: Web Ontology Language-OWL. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 67–92. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Parameswaran, M., Whinston, A.B.: Social computing: an overview. Commun. Assoc. Inf. Syst. (2007)

    Google Scholar 

  3. Petr, K., Kouba, Z.: Ontology-driven information system design. IEEE Trans. Syst. Man Cybern. Part C Appl. Rev. 42(3), 334–344 (2012)

    Article  Google Scholar 

  4. Albarrak, K.M., Sibley, E.H.: Translating relational and object-relational database models into OWL models. In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI, pp. 336–341 (2009)

    Google Scholar 

  5. Fang, M.-S.: An expressive constraint language for OWL. In: Proceedings of 23rd International Workshop on Database and Expert Sytems Applications, pp. 249–253 (2012)

    Google Scholar 

  6. Donini, F., Bari, P., Nardi, D.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logics 3(2), 177–225 (2002)

    Article  Google Scholar 

  7. Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 1–62 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  8. Motik, B., Horroks, I., Sattler, U.: Bridging the gap between OWL and relational databases. J. Web Semant. 7, 74–89 (2009)

    Article  Google Scholar 

  9. Tao, J., Sirin, E., Bao, J., McGuinness, D.: Integrity constraints in OWL. In: AAAI, pp. 11–15 (2010)

    Google Scholar 

  10. Baader, F., Calvanese, D., McGuinness, D., et al.: The Description Logic Handbook: Theory, Implementation and Application, 2nd edn. Cambridge University Press, Cambridge (2007)

    Book  MATH  Google Scholar 

  11. Calvanese, D., Giacomo, D.G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39, 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: IJCAI, pp. 399–404 (2007)

    Google Scholar 

  13. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference on Principle of Knowledge Representation and Reasoning, pp. 57–67 (2006)

    Google Scholar 

  14. Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: an automata-theoretic approach. In: Proceedings of the Twenty Second AAAI Conference on Artificial Intelligence, pp. 391–396 (2007)

    Google Scholar 

  15. Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Semant. 3(2), 158–182 (2005)

    Article  Google Scholar 

  16. Ouyang, D., Cui, X., Ye, Y.: Integrity constraint in OWL Ontology based on grounded circumscription. Front. Comput. Sci. 7(6), 812–821 (2013)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was supported in part by NSFC under Grant Nos. 61502199, 61402196, 61272208; the Opening Foundation of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education under Grant No. 93K172016k02; the Independent Fund of Dalian Minzu University under Grant No. DC201501060.

Author information

Authors and Affiliations

  1. College of Information and Communication Engineering, Dalian Minzu University, Dalian, 116600, People’s Republic of China

    Xianji Cui & Jialiang He

  2. Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, 130012, People’s Republic of China

    Xianji Cui & Dantong Ouyang

Authors
  1. Xianji Cui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dantong Ouyang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jialiang He
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jialiang He .

Editor information

Editors and Affiliations

  1. Harbin Institute of Technology , Harbin, China

    Wanxiang Che

  2. Harbin Engineering University , Harbin, China

    Qilong Han

  3. Harbin Institute of Technology , Harbin, China

    Hongzhi Wang

  4. Northeast Forestry University , Harbin, China

    Weipeng Jing

  5. National University of Defense Technology , Changsha, China

    Shaoliang Peng

  6. Harbin Engineering University , Harbin, China

    Junyu Lin

  7. Harbin Univ. of Science and Technology , Harbin, China

    Guanglu Sun

  8. Harbin Univ. of Science and Technology , Harbin, China

    Xianhua Song

  9. Harbin Engineering University , Harbin, China

    Hongtao Song

  10. Harbin Sea of Clouds & Computer Tech. , Harbin, China

    Zeguang Lu

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media Singapore

About this paper

Cite this paper

Cui, X., Ouyang, D., He, J. (2016). Integrity Constraint Validation in DL-Lite \(_R\) Based Ontology Using Rewriting. In: Che, W., et al. Social Computing. ICYCSEE 2016. Communications in Computer and Information Science, vol 624. Springer, Singapore. https://doi.org/10.1007/978-981-10-2098-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-2098-8_18

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-2097-1

  • Online ISBN: 978-981-10-2098-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation