Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge

  • Ian HorrocksEmail author
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 898)


The need for representing knowledge is ubiquitous in applications; for example, Google needs to represent knowledge about the location and height of building in order to answer questions such as “which is the tallest building in Europe”. Google uses a graph to represent such knowledge, and so-called knowledge graphs are becoming increasingly popular as a knowledge representation formalism. Adding some form of rules greatly increases the power and utility of knowledge graphs, but can also lead to theoretical and/or practical tractability problems. In this papers we will briefly survey the relevant issues and possible solutions, and show that rule enhanced knowledge graphs are extremely powerful, can be given a formal logic-based semantics, and are highly scalable in practice.


  1. 1.
    Grädel, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. B. Symb. Log. 3(1), 53–69 (1997)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67. AAAI Press (2006). download/2006/HoKS06a.pdfGoogle Scholar
  3. 3.
    Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)Google Scholar
  4. 4.
    Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Incremental update of datalog materialisation: the backward/forward algorithm. In: Proceedings of the 29th National Conference on Artificial Intelligence (AAAI 2015), pp. 1560–1568. AAAI Press (2015). download/2015/MNPH15b.pdfGoogle Scholar
  5. 5.
    Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: Proceedings of the 28th National Conference on Artificial Intelligence (AAAI 2014), pp. 129–137. AAAI Press (2014). download/2014/MNPHO14a.pdfGoogle Scholar
  6. 6.
    Neumann, T., Weikum, G.: The RDF-3X engine for scalable management of RDF data. VLDB J. 19(1), 91–113 (2010). Scholar
  7. 7.
    OWL 2 Web Ontology Language Profiles, 2nd edn. W3C Recommendation, 11 December 2012.
  8. 8.
    Weiss, C., Karras, P., Bernstein, A.: Hexastore: sextuple indexing for semantic web data management. PVLDB 1(1), 1008–1019 (2008). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.University of OxfordOxfordUK

Personalised recommendations