Attributed Description Logics: Ontologies for Knowledge Graphs

  • Markus KrötzschEmail author
  • Maximilian MarxEmail author
  • Ana OzakiEmail author
  • Veronika ThostEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10587)


In modelling real-world knowledge, there often arises a need to represent and reason with meta-knowledge. To equip description logics (DLs) for dealing with such ontologies, we enrich DL concepts and roles with finite sets of attribute–value pairs, called annotations, and allow concept inclusions to express constraints on annotations. We show that this may lead to increased complexity or even undecidability, and we identify cases where this increased expressivity can be achieved without incurring increased complexity of reasoning. In particular, we describe a tractable fragment based on the lightweight description logic \(\mathcal {EL}\), and we cover \(\mathcal {SROIQ}\), the DL underlying OWL 2 DL.



This work is partly supported by the German Research Foundation (DFG) in CRC 912 (HAEC) and in Emmy Noether grant KR 4381/1-1.


  1. 1.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proceeding of 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364–369. Professional Book Center (2005)Google Scholar
  2. 2.
    Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol. 115, pp. 73–85. Springer, Heidelberg (1981). doi: 10.1007/3-540-10843-2_7 CrossRefGoogle Scholar
  3. 3.
    Belleau, F., Nolin, M., Tourigny, N., Rigault, P., Morissette, J.: Bio2RDF: Towards a mashup to build bioinformatics knowledge systems. J. of Biomed. Inf. 41(5), 706–716 (2008)CrossRefGoogle Scholar
  4. 4.
    Bizer, C., Lehmann, J., Kobilarov, G., Auer, S., Becker, C., Cyganiak, R., Hellmann, S.: DBpedia - A crystallization point for the Web of Data. J. Web Semant. 7(3), 154–165 (2009)CrossRefGoogle Scholar
  5. 5.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Linking data to ontologies: The description logic DL-Lite\(_A\). In: Proceedings of the OWLED 2006 Workshop on OWL: Experiences and Directions, 10–11 November 2006, Athens, Georgia, USA (2006)Google Scholar
  6. 6.
    Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28(1), 114–133 (1981)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Chandra, A.K., Lewis, H.R., Makowsky, J.A.: Embedded implicational dependencies and their inference problem. In: Proceeding of the 13th Annual ACM Symposium on Theory of Computation (STOC 1981), pp. 342–354. ACM (1981)Google Scholar
  8. 8.
    Erxleben, F., Günther, M., Krötzsch, M., Mendez, J., Vrandečić, D.: Introducing wikidata to the linked data web. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8796, pp. 50–65. Springer, Cham (2014). doi: 10.1007/978-3-319-11964-9_4 Google Scholar
  9. 9.
    Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 11–13 June 2007, Beijing, China, pp. 31–40 (2007)Google Scholar
  10. 10.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceeding of 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67. AAAI Press (2006)Google Scholar
  11. 11.
    Horrocks, I., Sattler, U.: Decidability of \(\cal{SHIQ}\) with complex role inclusion axioms. Artif. Intell. 160(1), 79–104 (2004)CrossRefzbMATHGoogle Scholar
  12. 12.
    Kazakov, Y.: \(\cal{RIQ}\) and \(\cal{SROIQ}\) are harder than \(\cal{SHOIQ}\). In: Brewka, G., Lang, J. (eds.) Proceeding of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 274–284. AAAI Press (2008)Google Scholar
  13. 13.
    Krötzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In: Proceeding of 20th International Conference on World Wide Web (WWW 2011), pp. 645–654. ACM (2011)Google Scholar
  14. 14.
    Krötzsch, M., Marx, M., Ozaki, A., Thost, V.: Attributed description logics: Ontologies for knowledge graphs. Technical report, TU Dresden (2017).
  15. 15.
    Krötzsch, M., Rudolph, S.: Nominal schemas in description logics: Complexities clarified. In: Baral, C., De Giacomo, G., Eiter, T. (eds.) Proceeding of 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), pp. 308–317. AAAI Press (2014)Google Scholar
  16. 16.
    Marx, M., Krötzsch, M., Thost, V.: Logic on MARS: Ontologies for generalised property graphs. In: Proceeding of 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). AAAI Press (2017, to appear)
  17. 17.
    OWL Working Group, W: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (27 October 2009).
  18. 18.
    Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. J. Logic Lang. Inf. 14, 369–395 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Rodriguez, M.A., Neubauer, P.: Constructions from dots and lines. Bull. Am. Soc. Inf. Sci. Technol. 36(6), 35–41 (2010)CrossRefGoogle Scholar
  20. 20.
    SNOMED CT: Compositional Grammar Specification and Guide v2.02. IHTSDO (22 May 2015). Accessed 27 Jul 2017
  21. 21.
    Spackman, K.A., Campbell, K.E., Côté, R.A.: SNOMED RT: A reference terminology for health care. In: Masys, D.R. (ed.) Proceeding 1997 AMIA Annual Fall Symposium, pp. 640–644. Journal of the American Medical Informatics Association, Symposium Supplement, Hanley & Belfus (1997)Google Scholar
  22. 22.
    Straccia, U., Lopes, N., Lukacsy, G., Polleres, A.: A general framework for representing and reasoning with annotated semantic web data. In: Fox, M., Poole, D. (eds.) Proceeding of 24th AAAI Conference on Artificial Intelligence (AAAI 2010). AAAI Press (2010)Google Scholar
  23. 23.
    Udrea, O., Recupero, D.R., Subrahmanian, V.S.: Annotated RDF. ACM Trans. Comput. Logic 11(2), 10:1–10:41 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Vrandečić, D., Krötzsch, M.: Wikidata: A free collaborative knowledgebase. Commun. ACM 57(10), 78–85 (2014)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Center for Advancing Electronics Dresden (cfaed)TU DresdenDresdenGermany

Personalised recommendations