SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs

Shuai Wang, Frank van Harmelen, Peter Bloem, Joe Raad

Research output: Contribution to ConferencePaperAcademic


Large knowledge graphs capture information of a large number of entities and their relations. Among the many relations they capture, class subsumption assertions are usually present and expressed using the rdfs:subClassOf construct. From our examination, publicly available knowledge graphs contain many potentially erroneous cyclic subclass relations, a problem that can be exacerbated when different knowledge graphs are integrated as Linked Open Data. In this paper, we present an automatic approach for resolving such cycles at scale using automated reasoning by encoding the problem of cycle-resolving to a MAXSAT solver. The approach is tested on the LOD-a-lot dataset, and compared against a semi-automatic version of our algorithm. We show how the number of removed triples is a trade-off against the efficiency of the algorithm. The code and the resulting cycle-free class hierarchy of the LOD-a-lot are published at
Original languageEnglish
Publication statusPublished - 2020
Event Workshop on Large Scale RDF Analytics (LASCAR) -
Duration: 3 Jun 2020 → …


Conference Workshop on Large Scale RDF Analytics (LASCAR)
Period3/06/20 → …
Internet address


  • Knowledge graph refinement
  • LOD-a-lot
  • Automated reasoning
  • Logic
  • Artificial intelligence
  • Knowledge Graph
  • Linked Data


Dive into the research topics of 'SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs'. Together they form a unique fingerprint.

Cite this