Advertisement

Consequence-Based Procedure for Description Logics with Self-Restriction

  • Cong Wang
  • Pascal Hitzler
Conference paper
Part of the Springer Proceedings in Complexity book series (SPCOM)

Abstract

We present a consequence-based classification procedure for the description logics with self-restriction constructor. Due to the difficulty of constructing a concept inclusion model for self-restriction, we use a different proof by showing that all the completion rules can simulate all the corresponding ordered resolution inferences.

Notes

Acknowledgements

This work was supported by the National Science Foundation under award 1017225 III:s Small: TROn—Tractable Reasoning with Ontologies.

References

  1. 1.
    Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: IJCAI, pp. 364–369, 2005Google Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)Google Scholar
  3. 3.
    Bachmair, L., Ganzinger, H.: Ordered chaining calculi for first-order theories of transitive relations. J. ACM 45(6), 1007–1049 (1998)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson and Voronkov [14], pp. 19–99Google Scholar
  5. 5.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible sroiq. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 57–67. AAAI Press, Atlanta, Georgia (2006)Google Scholar
  6. 6.
    Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. In: IJCAI, pp. 448–453, 2005Google Scholar
  7. 7.
    Kazakov, Y.: Consequence-driven reasoning for horn shiq ontologies. In: Boutilier, C. (ed.) IJCAI, pp. 2040–2045, 2009Google Scholar
  8. 8.
    Kazakov, Y., Kroetzsch, M., Simancik, F.: Practical reasoning with nominals in the el family of description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press, Atlanta, Georgia (2012)Google Scholar
  9. 9.
    Kazakov, Y., Krötzsch, M., Simancik, F.: Concurrent classification of el ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N.F., Blomqvist, E. (eds.) International Semantic Web Conference (1). Lecture Notes in Computer Science, vol. 7031, pp. 305–320. Springer, New York (2011)Google Scholar
  10. 10.
    Motik, B.: Reasoning in description logics using resolution and deductive databases. Ph.D. thesis (2006). http://www.dblp.org/rec/bibtex/phd/de/Motik2006
  11. 11.
    Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165–228 (2009)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Nieuwenhuis, R., Rubio, A.: Paramodulation-based theorem proving. In: Robinson and Voronkov [14], pp. 371–443Google Scholar
  13. 13.
    Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the horn-dl fragments of owl 1 and 2. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press, Atlanta, Georgia (2010)Google Scholar
  14. 14.
    Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press (2001). http://www.dblp.org/rec/bibtex/conf/dlog/2003handbook
  15. 15.
    Rudolph, S., Krötzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Baader, F., Lutz, C., Motik, B. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 353. CEUR-WS.org (2008)Google Scholar
  16. 16.
    Rudolph, S., Krötzsch, M., Hitzler, P.: Cheap boolean role constructors for description logics. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA. Lecture Notes in Computer Science, vol. 5293, pp. 362–374. Springer, New York (2008)Google Scholar
  17. 17.
    Simancik, F.: Elimination of complex rias without automata. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 846. CEUR-WS.org (2012)Google Scholar
  18. 18.
    Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: Walsh, T. (ed.) IJCAI. pp. 1093–1098. IJCAI/AAAI, Atlanta, Georgia (2011)Google Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.Kno.e.sis CenterWright State UniversityDaytonUSA

Personalised recommendations