Skip to main content
SpringerLink
Log in
Book cover

Portuguese Conference on Artificial Intelligence

EPIA 2015: Progress in Artificial Intelligence pp 388–401Cite as

Reasoning over Ontologies and Non-monotonic Rules

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9273))

Abstract

Ontology languages and non-monotonic rule languages are both well-known formalisms in knowledge representation and reasoning, each with its own distinct benefits and features which are quite orthogonal to each other. Both appear in the Semantic Web stack in distinct standards – OWL and RIF – and over the last decade a considerable research effort has been put into trying to provide a framework that combines the two. Yet, the considerable number of theoretical approaches resulted, so far, in very few practical reasoners, while realistic use-cases are scarce. In fact, there is little evidence that developing applications with combinations of ontologies and rules is actually viable. In this paper, we present a tool called NoHR that allows one to reason over ontologies and non-monotonic rules, illustrate its use in a realistic application, and provide tests of scalability of the tool, thereby showing that this research effort can be turned into practice.

This is a preview of subscription content, 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 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberti, M., Knorr, M., Gomes, A.S., Leite, J., Gonçalves, R., Slota, M.: Normative systems require hybrid knowledge bases. In: Procs. of AAMAS, IFAAMAS, pp. 1425–1426 (2012)

    Google Scholar 

  2. Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Log. 14(2), 1–43 (2013)

    Article  MathSciNet  Google Scholar 

  3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The \(DL\)-\(Lite\) family and relations. J. Artif. Intell. Res. (JAIR) 36, 1–69 (2009)

    MathSciNet  MATH  Google Scholar 

  4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 3rd edn. Cambridge University Press (2010)

    Google Scholar 

  5. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal EL\) envelope. In: Procs. of IJCAI (2005)

    Google Scholar 

  6. Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Log. Program. 19(20), 73–148 (1994)

    Article  MathSciNet  Google Scholar 

  7. Boley, H., Kifer, M. (eds.): RIF Overview. W3C Recommendation, February 5, 2013 (2013). http://www.w3.org/TR/rif-overview/

  8. Bonatti, P.A., Faella, M., Sauro, L.: \(\cal EL\) with default attributes and overriding. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 64–79. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  9. Calejo, M.: InterProlog: towards a declarative embedding of logic programming in java. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 714–717. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  10. Drabent, W., Henriksson, J., Maluszynski, J.: Hd-rules: a hybrid system interfacing prolog with dl-reasoners. In: Procs. of ALPSWS, vol. 287 (2007)

    Google Scholar 

  11. Drabent, W., Maluszynski, J.: Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25(1), 137–168 (2010)

    Article  Google Scholar 

  12. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12–13), 1495–1539 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  14. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in low complexity dls: the logics \(\cal EL^{\perp }\) \({\rm T}_{min}\) and DL-Lite \(_{c}{\rm T}_{min}\). In: Procs. of IJCAI (2011)

    Google Scholar 

  15. Gomes, A.S., Alferes, J.J., Swift, T.: Implementing query answering for hybrid MKNF knowledge bases. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 25–39. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  16. Gonçalves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 182–194. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  17. Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: Procs of ECAI, pp. 35–40. IOS Press (2010)

    Google Scholar 

  18. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer (Second Edition). W3C Recommendation, December 11, 2012 (2012). http://www.w3.org/TR/owl2-primer/

  19. Ivanov, V., Knorr, M., Leite, J.: A query tool for \(EL\) with non-monotonic rules. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 216–231. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  20. Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Procs. of IJCAI. IJCAI/AAAI (2015)

    Google Scholar 

  21. Kazakov, Y., Krötzsch, M., Simančík, F.: The incredible ELK: From polynomial procedures to efficient reasoning with \(\cal EL\) ontologies. Journal of Automated Reasoning 53, 1–61 (2013)

    Article  Google Scholar 

  22. Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9–10), 1528–1554 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  23. Knorr, M., Alferes, J.J.: Querying OWL 2 QL and non-monotonic rules. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 338–353. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  24. Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Procs. of ECAI, pp. 474–479. IOS Press (2012)

    Google Scholar 

  25. Knorr, M., Slota, M., Leite, J., Homola, M.: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24(6), 1279–1311 (2014)

    Article  MathSciNet  Google Scholar 

  26. Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Procs. of IJCAI (1991)

    Google Scholar 

  27. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation, February 5, 2013. http://www.w3.org/TR/owl2-profiles/

  28. Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)

    Google Scholar 

  29. Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. TPLP 11(4–5), 801–819 (2011)

    MathSciNet  MATH  Google Scholar 

  30. Xiao, G., Eiter, T., Heymans, S.: The DReW system for nonmonotonic dl-programs. In: Procs. of SWWS 2012. Springer Proceedings in Complexity. Springer (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NOVA LINCS, Departamento de Informática, Faculdade Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal

    Vadim Ivanov, Matthias Knorr & João Leite

Authors
  1. Vadim Ivanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Knorr
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthias Knorr .

Editor information

Editors and Affiliations

  1. ISEC - Coimbra Institute of Engineering, Polytechnic Institute of Coimbra, Coimbra, Portugal

    Francisco Pereira

  2. CIUSC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal

    Penousal Machado

  3. CIUSC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal

    Ernesto Costa

  4. CIUSC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal

    Amílcar Cardoso

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ivanov, V., Knorr, M., Leite, J. (2015). Reasoning over Ontologies and Non-monotonic Rules. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds) Progress in Artificial Intelligence. EPIA 2015. Lecture Notes in Computer Science(), vol 9273. Springer, Cham. https://doi.org/10.1007/978-3-319-23485-4_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23485-4_39

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23484-7

  • Online ISBN: 978-3-319-23485-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation