Revisiting Default Description Logics – and Their Role in Aligning Ontologies

  • Kunal Sengupta
  • Pascal Hitzler
  • Krzysztof Janowicz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8943)


We present a new approach to extend the Web Ontology Language (OWL) with the capabilities to reason with defaults. This work improves upon the previously established results on integrating defaults with description logics (DLs), which were shown to be decidable only when the application of defaults is restricted to named individuals in the knowledge base. We demonstrate that the application of defaults (integrated with DLs) does not have to be restricted to named individuals to retain decidability and elaborate on the application of defaults in the context of ontology alignment and ontology-based systems.


Description Logic Default Rule Default Theory Default Logic Ontology Match 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aguirre, J.L., Eckert, K., Euzenat, J., Ferrara, A., van Hage, W.R., Hollink, L., Meilicke, C., Nikolov, A., Ritze, D., Scharffe, F., Shvaiko, P., Sváb-Zamazal, O., dos Santos, C.T., Jiménez-Ruiz, E., Grau, B.C., Zapilko, B.: Results of the ontology alignment evaluation initiative 2012. In: Shvaiko, P., Euzenat, J., Kementsietsidis, A., Mao, M., Noy, N.F., Stuckenschmidt, H. (eds.) Proceedings of the 7th International Workshop on Ontology Matching, Boston, MA, USA, 11 November 2012, CEUR Workshop Proceedings, vol. 946. (2012)Google Scholar
  2. 2.
    Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. Artificial Intelligence (JAIR) 42, 719–764 (2011)zbMATHMathSciNetGoogle Scholar
  4. 4.
    Bonatti, P.A., Lutz, C., Wolter, F.: The Complexity of Circumscription in Description Logic. Journal of Artificial Intelligence Research 35, 717–773 (2009)zbMATHMathSciNetGoogle Scholar
  5. 5.
    Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. In: Proceedings of the 13th International Joint Conference on Artifical Intelligence, IJCAI 1993, vol. 1, pp. 704–709. Morgan Kaufmann Publishers Inc., San Francisco (1993)Google Scholar
  6. 6.
    Dao-Tran, M., Eiter, T., Krennwallner, T.: Realizing default logic over description logic knowledge bases. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 602–613. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  7. 7.
    Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer setprogramming with description logics for the semantic web. In: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004). AAAI Press (2004)Google Scholar
  8. 8.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming, pp. 1070–1080. MIT Press (1988)Google Scholar
  9. 9.
    Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A non-monotonic description logic for reasoning about typicality. Artificial Intelligence 195, 165–202 (2013)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Gottlob, G.: Complexity results for nonmonotonic logics. J. Log. Comput. 2(3), 397–425 (1992)CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Grimm, S., Hitzler, P.: Semantic Matchmaking of Web Resources with Local Closed-World Reasoning. International Journal of Electronic Commerce 12(2), 89–126 (2007)CrossRefGoogle Scholar
  12. 12.
    Halpin, H., Hayes, P.J., McCusker, J.P., McGuinness, D.L., Thompson, H.S.: When owl:sameAs isn’t the same: an analysis of identity in linked data. 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. 305–320. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  13. 13.
    Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation 27 October 2009 (2009).
  14. 14.
    Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Boca Raton (2009)Google Scholar
  15. 15.
    Janowicz, K.: The role of space and time for knowledge organization on the Semantic Web. Semantic Web 1(1–2), 25–32 (2010)Google Scholar
  16. 16.
    Janowicz, K., Hitzler, P.: The digital earth as knowledge engine. Semantic Web 3(3), 213–221 (2012)Google Scholar
  17. 17.
    Knorr, M., Alferes, J., Hitzler, P.: Local Closed-World Reasoning with Description Logics under the Well-founded Semantics. Artificial Intelligence 175(9–10), 1528–1554 (2011)CrossRefzbMATHMathSciNetGoogle Scholar
  18. 18.
    Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the Semantic Web. In: Raedt, L.D., et al. (eds.) ECAI 2012–20th European Conference on Artificial Intelligence, Montpellier, France, 27–31 August 2012, pp. 474–479. IOS Press, Amsterdam (2012)Google Scholar
  19. 19.
    Krötzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: nominal schemas for integrating rules and ontologies. In: Sadagopan, S., et al. (eds.) Proceedings of the 20th International World Wide Web Conference, WWW 2011, Hyderabad, India, 2011, pp. 645–654. ACM, New York (2011)Google Scholar
  20. 20.
    Leone, N., Faber, W.: The DLV project: a tour from theory and research to applications and market. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 53–68. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  21. 21.
    Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1–2), 81–132 (1980)CrossRefzbMATHMathSciNetGoogle Scholar
  22. 22.
    Rudolph, S., Krötzsch, M., Hitzler, P.: Cheap Boolean role constructors for description logics. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 362–374. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  23. 23.
    Sengupta, K., Krisnadhi, A.A., Hitzler, P.: Local closed world semantics: grounded circumscription for OWL. 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. 617–632. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  24. 24.
    Shvaiko, P., Euzenat, J.: Ontology matching: state of the art and future challenges. IEEE Trans. Knowl. Data Eng. 25(1), 158–176 (2013)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Kunal Sengupta
    • 1
  • Pascal Hitzler
    • 1
  • Krzysztof Janowicz
    • 2
  1. 1.Wright State UniversityDaytonUSA
  2. 2.University of CaliforniaSanta BarbaraUSA

Personalised recommendations