paper-with-me

Papers

Discovering Implicational Knowledge in Wikidata

2019-02-03 · Tom Hanika, Maximilian Marx, Gerd Stumme

Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Examples include the proprietary knowledge graphs of companies such as Google, Facebook, IBM, or Microsoft, but also freely available ones such as YAGO, DBpedia, and Wikidata. A distinguishing feature of Wikidata is that the knowledge is collaboratively edited and curated. While this greatly enhances the scope of Wikidata, it also makes it impossible for a single individual to grasp complex connections between properties or understand the global impact of edits in the graph. We apply Formal Concept Analysis to efficiently identify comprehensible implications that are implicitly present in the data. Although the complex structure of data modelling in Wikidata is not amenable to a direct approach, we overcome this limitation by extracting contextual representations of parts of Wikidata in a systematic fashion. We demonstrate the practical feasibility of our approach through several experiments and show that the results may lead to the discovery of interesting implicational knowledge. Besides providing a method for obtaining large real-world data sets for FCA, we sketch potential applications in offering semantic assistance for editing and curating Wikidata.

📄 PDF Abstract BibTeX arXiv:1902.00916

Code (0)

등록된 구현이 없습니다.

Tasks

Knowledge Graphs

Similar Papers 제목 키워드 기반

CounQER: A System for Discovering and Linking Count Information in Knowledge Bases

2020-05-07 · Shrestha Ghosh, Simon Razniewski, Gerhard Weikum

Predicate constraints of general-purpose knowledge bases (KBs) like Wikidata, DBpedia and Freebase are often limited to subproperty, domain and range constraints. In this demo we showcase CounQER, a system that illustrat…

Question Answering

Deriving Theorems in Implicational Linear Logic, Declaratively

2020-09-22 · Paul Tarau, Valeria de Paiva

The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for linearity the proof terms associated by o…

Automated Theorem Proving

The Birkhoff completion of finite lattices

2024-05-02 · Mohammad Abdulla, Johannes Hirth, Gerd Stumme

We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semi-lattice. We discuss its relationship to implicational theories, in particular to R. Wille'…

Average Size of Implicational Bases

2018-02-12 · Giacomo Kahn, Alexandre Bazin

Implicational bases are objects of interest in formal concept analysis and its applications. Unfortunately, even the smallest base, the Duquenne-Guigues base, has an exponential size in the worst case. In this paper, we …

Commonsense Knowledge in Wikidata

2020-08-18 · Filip Ilievski, Pedro Szekely, Daniel Schwabe

Wikidata and Wikipedia have been proven useful for reason-ing in natural language applications, like question answering or entitylinking. Yet, no existing work has studied the potential of Wikidata for commonsense reason…

Common Sense ReasoningQuestion Answering