SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915073472069632 |
|---|---|
| author | Wang, Shuai Bloem, Peter Raad, Joe van Harmelen, Frank |
| author_facet | Wang, Shuai Bloem, Peter Raad, Joe van Harmelen, Frank |
| contents | 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 \texttt{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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_15829 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs Wang, Shuai Bloem, Peter Raad, Joe van Harmelen, Frank Logic in Computer Science Symbolic Computation Optimization and Control 68T27, 68T20, 68T09 F.3.0; I.2.1; I.2.4 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 \texttt{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. |
| title | SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs |
| topic | Logic in Computer Science Symbolic Computation Optimization and Control 68T27, 68T20, 68T09 F.3.0; I.2.1; I.2.4 |
| url | https://arxiv.org/abs/2412.15829 |