{"type":"ScholarlyArticle","title":"Attributed Description Logics: Reasoning on Knowledge Graphs","authors":[{"name":"Markus Krötzsch","slug":"markus-krotzsch","given":"Markus","family":"Krötzsch","affiliation":"Center for Advancing Electronics Dresden (cfaed) , TU Dresden , Dresden , Germany"},{"name":"Maximilian Marx","slug":"maximilian-marx","given":"Maximilian","family":"Marx","affiliation":"Center for Advancing Electronics Dresden (cfaed) , TU Dresden , Dresden , Germany"},{"name":"Ana Ozaki","slug":"ana-ozaki","given":"Ana","family":"Ozaki","affiliation":"Center for Advancing Electronics Dresden (cfaed) , TU Dresden , Dresden , Germany"},{"name":"Veronika Thost","slug":"veronika-thost","given":"Veronika","family":"Thost","affiliation":"MIT-IBM Watson AI Lab , IBM Research"}],"abstract":"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 investigate a range of DLs starting from the lightweight description logic EL, covering the prototypical ALCH, and extending to the very expressive SROIQ, the DL underlying OWL 2 DL.","doi":"10.24963/ijcai.2018/743","url":"https://ijcai.org/proceedings/2018/743","pdf":"https://ijcai.org/proceedings/2018/0743.pdf","markdown":"https://ijcai.org/proceedings/2018/743.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/743","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Sister Conferences Best Papers","track":"Best Sister Conferences","number":743,"pages":{"first":5309,"last":5313},"keywords":["Knowledge Representation and Reasoning: Knowledge Representation Languages","Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Artale et al., 2017] Alessandro Artale, Enrico Franconi, Rafael Peñaloza, and Francesco Sportelli. A decidable very expressive description logic for databases. In The Semantic Web -ISWC 2017 -16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, pages 37-52, 2017.","title":"A decidable very expressive description logic for databases","authors":"Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli","year":"2017","venue":"The Semantic Web -ISWC 2017 -16th International Semantic Web Conference","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 2005] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI'05), pages 364-369. Professional Book Center, 2005.","title":"Pushing the EL envelope","authors":"Baader","year":"2005","venue":"Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI'05)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Belleau et al., 2008] François Belleau, Marc-Alexandre No- lin, Nicole Tourigny, Philippe Rigault, and Jean Morissette. Bio2RDF: Towards a mashup to build bioinformatics knowl- edge systems. J. of Biomedical Inf., 41(5):706-716, 2008.","title":"Bio2RDF: Towards a mashup to build bioinformatics knowledge systems","authors":"François Belleau, Marc-Alexandre Nolin, Nicole Tourigny, Philippe Rigault, Jean Morissette","year":"2008","venue":"J. of Biomedical Inf","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bizer et al., 2009] Christian Bizer, Jens Lehmann, Georgi Kobilarov, Sören Auer, Christian Becker, Richard Cyganiak, and Sebastian Hellmann. DBpedia -A crystallization point for the Web of Data. J. of Web Semantics, 7(3):154-165, 2009.","title":"DBpedia -A crystallization point for the Web of Data","authors":"Bizer","year":"2009","venue":"J. of Web Semantics","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Calvanese et al., 2008] Diego Calvanese, Giuseppe De Gi- acomo, and Maurizio Lenzerini. Conjunctive query con- tainment and answering under description logic constraints. ACM Trans. Comput. Log., 9(3):22:1-22:31, 2008.","title":"Conjunctive query containment and answering under description logic constraints","authors":"Calvanese","year":"2008","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Erxleben et al., 2014] Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, and Denny Vrandečić. Introducing Wikidata to the linked data web. In Proc. 13th Int. Semantic Web Conf. (ISWC'14), volume 8796 of LNCS, pages 50-65. Springer, 2014.","title":"Introducing Wikidata to the linked data web","authors":"Erxleben","year":"2014","venue":"Proc. 13th Int. Semantic Web Conf. (ISWC'14)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Green et al., 2007] Todd J. Green, Gregory Karvounarakis, and Val Tannen. Provenance semirings. In Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Sympo- sium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pages 31-40, 2007.","title":"Provenance semirings","authors":"Todd J Green, Gregory Karvounarakis, Val Tannen","year":"2007","venue":"Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Horrocks et al., 2006] Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The even more irresistible SROIQ. In Patrick Do- herty, John Mylopoulos, and Christopher A. Welty, editors, Proc. 10th Int. Conf. on Principles of Knowledge Represen- tation and Reasoning (KR'06), pages 57-67. AAAI Press, 2006.","title":"The even more irresistible SROIQ","authors":"Ian Horrocks, Oliver Kutz, Ulrike Sattler","year":"2006","venue":"Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'06)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Krötzsch et al., 2011] Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, and Pascal Hitzler. A better uncle for OWL: Nominal schemas for integrating rules and on- tologies. In Proc. 20th Int. Conf. on World Wide Web (WWW'11), pages 645-654. ACM, 2011.","title":"A better uncle for OWL: Nominal schemas for integrating rules and ontologies","authors":"Markus Krötzsch, Frederick Maier, Adila A Krisnadhi, Pascal Hitzler","year":"2011","venue":"Proc. 20th Int. Conf. on World Wide Web (WWW'11)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Krötzsch et al., 2017] Markus Krötzsch, Maximilian Marx, Ana Ozaki, and Veronika Thost. Attributed description log- ics: Ontologies for knowledge graphs. In The Semantic Web -ISWC 2017 -16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, pages 418-435, 2017.","title":"Attributed description logics: Ontologies for knowledge graphs","authors":"Krötzsch","year":"2017","venue":"The Semantic Web -ISWC 2017 -16th International Semantic Web Conference","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Marx and Krötzsch, 2017] Maximilian Marx and Markus Krötzsch. SQID: Towards ontological reasoning for Wiki- data. In Nadeschda Nikitina and Dezhao Song, editors, Proceedings of the ISWC 2017 Posters & Demonstrations Track, CEUR Workshop Proceedings. CEUR-WS.org, Oc- tober 2017.","title":"SQID: Towards ontological reasoning for Wikidata","authors":"Krötzsch Marx, Maximilian Marx, Markus Krötzsch","year":"2017","venue":"Proceedings of the ISWC 2017 Posters & Demonstrations Track, CEUR Workshop Proceedings. CEUR-WS.org","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Marx et al., 2017] Maximilian Marx, Markus Krötzsch, and Veronika Thost. Logic on MARS: Ontologies for gener- alised property graphs. In Carles Sierra, editor, Proc. 26th Int. Joint Conf. on Artificial Intelligence (IJCAI'17), pages 1188-1194. International Joint Conferences on Artificial Intelligence, 2017.","title":"Logic on MARS: Ontologies for generalised property graphs","authors":"Maximilian Marx, Markus Krötzsch, Veronika Thost","year":"2017","venue":"Proc. 26th Int. Joint Conf. on Artificial Intelligence (IJCAI'17)","doi":null,"url":null,"internal_url":"/proceedings/2017/165"},{"position":13,"raw":"[Motik et al., 2005] Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL DL with rules. J. of Web Semantics, 3(1):41-60, 2005.","title":"Query answering for OWL DL with rules","authors":"Boris Motik, Ulrike Sattler, Rudi Studer","year":"2005","venue":"J. of Web Semantics","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Pratt-Hartmann, 2005] Ian Pratt-Hartmann. Complexity of the two-variable fragment with counting quantifiers. J. of Logic, Language and Information, 14:369-395, 2005.","title":"Complexity of the two-variable fragment with counting quantifiers","authors":"Ian Pratt-Hartmann","year":"2005","venue":"J. of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Rodriguez and Neubauer, 2010] Marko A. Rodriguez and Pe- ter Neubauer. Constructions from dots and lines. Bulletin of the American Society for Information Science and Tech- nology, 36(6):35-41, 2010.","title":"Constructions from dots and lines","authors":"Marko A Rodriguez, Peter Neubauer","year":"2010","venue":"Bulletin of the American Society for Information Science and Technology","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Straccia et al., 2010] Umberto Straccia, Nuno Lopes, Gergely Lukacsy, and Axel Polleres. A general framework for representing and reasoning with annotated Semantic Web data. In Maria Fox and David Poole, editors, Proc. 24th AAAI Conf. on Artificial Intelligence (AAAI'10). AAAI Press, 2010.","title":"A general framework for representing and reasoning with annotated Semantic Web data","authors":"Umberto Straccia, Nuno Lopes, Gergely Lukacsy, Axel Polleres","year":"2010","venue":"Proc. 24th AAAI Conf. on Artificial Intelligence (AAAI'10)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Vrandečić and Krötzsch, 2014] Denny Vrandečić and Markus Krötzsch. Wikidata: A free collaborative knowledgebase. Commun. ACM, 57(10), 2014.","title":"Wikidata: A free collaborative knowledgebase","authors":"Krötzsch Vrandečić, Denny Vrandečić, Markus Krötzsch","year":"2014","venue":"Commun. ACM","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}