Attributed Description Logics: Reasoning on Knowledge Graphs

In modelling real-world knowledge, there often arises a need to represent and reason with metaknowledge. 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 prototypicalALCH, and extending to the very expressive SROIQ, the DL underlying OWL 2 DL.

[1]  Michael Günther,et al.  Introducing Wikidata to the Linked Data Web , 2014, SEMWEB.

[2]  Umberto Straccia,et al.  A General Framework for Representing and Reasoning with Annotated Semantic Web Data , 2010, AAAI.

[3]  Jens Lehmann,et al.  DBpedia - A crystallization point for the Web of Data , 2009, J. Web Semant..

[4]  Rafael Peñaloza,et al.  A Decidable Very Expressive Description Logic for Databases , 2017, International Semantic Web Conference.

[5]  Markus Krötzsch,et al.  SQID: Towards Ontological Reasoning for Wikidata , 2017, International Workshop on the Semantic Web.

[6]  Pascal Hitzler,et al.  A better uncle for OWL: nominal schemas for integrating rules and ontologies , 2011, WWW.

[7]  Nicole Tourigny,et al.  Bio2RDF: Towards a mashup to build bioinformatics knowledge systems , 2008, J. Biomed. Informatics.

[8]  Ian Pratt-Hartmann.  Complexity of the Two-Variable Fragment with Counting Quantifiers , 2005, J. Log. Lang. Inf..

[9]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[10]  Markus Krötzsch,et al.  Logic on MARS: Ontologies for Generalised Property Graphs , 2017, IJCAI.

[11]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[12]  Markus Krötzsch,et al.  Attributed Description Logics: Ontologies for Knowledge Graphs , 2017, SEMWEB.

[13]  Markus Krötzsch,et al.  Wikidata , 2014, Commun. ACM.

[14]  Joan E. Beaudoin,et al.  BULLETIN of the American Society for Information Science and Technology June / July 2007 , 2007 .

[15]  Jerome David Sable,et al.  LANGUAGE AND INFORMATION STRUCTURE IN INFORMATION SYSTEMS , 1963 .