Skip to main content
SpringerLink
Log in

On Horn Knowledge Bases in Regular Description Logic with Inverse

  • Conference paper
Knowledge and Systems Engineering

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 244))

Abstract

We study a Horn fragment called Horn-\(\mathcal{R}eg^I\) of the regular description logic with inverse \(\mathcal{R}eg^I\), which extends the description logic \(\mathcal{ALC}\) with inverse roles and regular role inclusion axioms characterized by finite automata. In contrast to the well-known Horn fragments \(\mathcal{EL}\), DL-Lite, DLP, Horn-\(\mathcal{SHIQ}\) and Horn-\(\mathcal{SROIQ}\) of description logics, Horn-\(\mathcal{R}eg^I\) allows a form of the concept constructor “universal restriction” to appear at the left hand side of terminological inclusion axioms, while still has PTime data complexity. Namely, a universal restriction can be used in such places in conjunction with the corresponding existential restriction. We provide an algorithm with PTime data complexity for checking satisfiability of Horn-\(\mathcal{R}eg^I\) knowledge bases.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of IJCAI 2005, pp. 364–369. Morgan-Kaufmann Publishers (2005)

    Google Scholar 

  2. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope further. In: Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)

    Google Scholar 

  3. Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and - what else? In: de Mántaras, R.L., Saitta, L. (eds.) Proceedings of ECAI 2004, pp. 298–302. IOS Press (2004)

    Google Scholar 

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

    Article  MATH  Google Scholar 

  5. Demri, S., de Nivelle, H.: Deciding regular grammar logics with converse through first-order logic. Journal of Logic, Language and Information 14(3), 289–329 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of WWW 2003, pp. 48–57 (2003)

    Google Scholar 

  7. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)

    Google Scholar 

  8. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of KR 2006, pp. 57–67. AAAI Press (2006)

    Google Scholar 

  9. Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive Datalog. J. Autom. Reasoning 39(3), 351–384 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Nguyen, L.A.: A bottom-up method for the deterministic horn fragment of the description logic \(\mathcal{ALC}\). In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 346–358. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. Nguyen, L.A.: Horn knowledge bases in regular description logics with PTime data complexity. Fundamenta Informaticae 104(4), 349–384 (2010)

    MathSciNet  MATH  Google Scholar 

  12. Nguyen, L.A., Nguyen, T.-B.-L., Szałas, A.: A long version of the current paper, http://www.mimuw.edu.pl/~nguyen/HornRegI-long.pdf

  13. Nguyen, L.A., Nguyen, T.-B.-L., Szałas, A.: A long version of the paper [14], http://www.mimuw.edu.pl/~nguyen/horn_dl_long.pdf

  14. Nguyen, L.A., Nguyen, T.-B.-L., Szałas, A.: HornDL: An expressive horn description logic with pTime data complexity. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 259–264. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  15. Nguyen, L.A., Szałas, A.: ExpTime tableau decision procedures for regular grammar logics with converse. Studia Logica 98(3), 387–428 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  16. Nguyen, L.A., Szałas, A.: On the Horn fragments of serial regular grammar logics with converse. In: Proceedings of KES-AMSTA 2013. Frontiers of Artificial Intelligence and Applications, vol. 252, pp. 225–234. IOS Press (2013)

    Google Scholar 

  17. Ortiz, M., Rudolph, S., Simkus, M.: Query answering in the Horn fragments of the description logics SHOIQ and SROIQ. In: Walsh, T. (ed.) Proceedings of IJCAI 2011, pp. 1039–1044 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, Banacha 2, 02-097, Warsaw, Poland

    Linh Anh Nguyen & Andrzej Szałas

  2. Faculty of Information Technology, VNU University of Engineering and Technology, 144 Xuan Thuy, Hanoi, Vietnam

    Linh Anh Nguyen

  3. Department of Information Technology, Hue University of Sciences, 77 Nguyen Hue, Hue City, Vietnam

    Thi-Bich-Loc Nguyen

  4. Dept. of Computer and Information Science, Linköping University, SE-581 83, Linköping, Sweden

    Andrzej Szałas

Authors
  1. Linh Anh Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thi-Bich-Loc Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrzej Szałas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Knowledge Science, Japan Advanced Institute of Science and Technology, Ishikawa, Japan

    Van Nam Huynh

  2. UMR CNRS 7253 Heudiasyc, Universite de Technologie de Compiegne, Compiegne Cedex, France

    Thierry Denoeux

  3. Faculty of Information Technology, Hanoi National University of Education, Hanoi, Vietnam

    Dang Hung Tran

  4. Faculty of Information Technology, University of Engineering and Technology, Hanoi, Vietnam

    Anh Cuong Le

  5. Faculty of Information Technology, University of Engineering and Technology, Hanoi, Vietnam

    Son Bao Pham

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Nguyen, L.A., Nguyen, TBL., Szałas, A. (2014). On Horn Knowledge Bases in Regular Description Logic with Inverse. In: Huynh, V., Denoeux, T., Tran, D., Le, A., Pham, S. (eds) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol 244. Springer, Cham. https://doi.org/10.1007/978-3-319-02741-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-02741-8_6

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-02740-1

  • Online ISBN: 978-3-319-02741-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation