English
Related papers

Related papers: Reasoning over RDF Knowledge Bases using Deep Lear…

200 papers

Logic can define how agents are provided or denied access to resources, how to interlink resources using mining processes and provide users with choices for possible next steps in a workflow. These decisions are for the most part hidden,…

Logic in Computer Science · Computer Science 2023-05-16 Patrick Hochstenbach , Jos De Roo , Ruben Verborgh

The basic unit of meaning on the Semantic Web is the RDF statement, or triple, which combines a distinct subject, predicate and object to make a definite assertion about the world. A set of triples constitutes a graph, to which they give a…

Artificial Intelligence · Computer Science 2010-11-01 Marko A. Rodriguez , Alberto Pepe , Joshua Shinavier

Deep learning methods are highly accurate, yet their opaque decision process prevents them from earning full human trust. Concept-based models aim to address this issue by learning tasks based on a set of human-understandable concepts.…

As one kind of architecture from the deep learning family, deep semantic segmentation network (DSSN) achieves a certain degree of success on the semantic segmentation task and obviously outperforms the traditional methods based on…

Computer Vision and Pattern Recognition · Computer Science 2020-10-07 Yansheng Li , Song Ouyang , Yongjun Zhang

Deductive reasoning is a crucial logical capability that assists us in solving complex problems based on existing knowledge. Although augmented by Chain-of-Thought prompts, Large Language Models (LLMs) might not follow the correct reasoning…

Artificial Intelligence · Computer Science 2025-01-22 Wentao Wan , Zhuojie Yang , Yongcan Chen , Chenglin Luo , Ruilin Wang , Kehao Cai , Nan Kang , Liang Lin , Keze Wang

This paper presents a new ontology that implements the well-known Deontic Traditional Scheme in RDFs and SPARQL, fit to handle irresolvable conflicts, i.e., situations in which two or more statements prescribe conflicting obligations,…

Artificial Intelligence · Computer Science 2025-10-28 Livio Robaldo , Gianluca Pozzato

Knowledge graph-based retrieval-augmented generation seeks to mitigate hallucinations in Large Language Models (LLMs) caused by insufficient or outdated knowledge. However, existing methods often fail to fully exploit the prior knowledge…

Computation and Language · Computer Science 2025-12-23 Jie Ma , Ning Qu , Zhitao Gao , Rui Xing , Jun Liu , Hongbin Pei , Jiang Xie , Linyun Song , Pinghui Wang , Jing Tao , Zhou Su

Knowledge graph completion (a.k.a.~link prediction), i.e.,~the task of inferring missing information from knowledge graphs, is a widely used task in many applications, such as product recommendation and question answering. The…

Artificial Intelligence · Computer Science 2022-07-05 Zoi Kaoudi , Abelardo Carlos Martinez Lorenzo , Volker Markl

This paper studies learning logic rules for reasoning on knowledge graphs. Logic rules provide interpretable explanations when used for prediction as well as being able to generalize to other tasks, and hence are critical to learn. Existing…

Artificial Intelligence · Computer Science 2021-07-19 Meng Qu , Junkun Chen , Louis-Pascal Xhonneux , Yoshua Bengio , Jian Tang

The Resource Description Framework (RDF) is a semantic network data model that is used to create machine-understandable descriptions of the world and is the basis of the Semantic Web. This article discusses the application of RDF to the…

Programming Languages · Computer Science 2011-05-26 Marko A. Rodriguez

Knowledge graph (KG) reasoning is a task that aims to predict unknown facts based on known factual samples. Reasoning methods can be divided into two categories: rule-based methods and KG-embedding based methods. The former possesses…

Artificial Intelligence · Computer Science 2024-07-08 Fengsong Sun , Jinyu Wang , Zhiqing Wei , Xianchao Zhang

This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web…

Databases · Computer Science 2016-01-13 Dominik Tomaszuk

The vision of the Semantic Web is becoming a reality with billions of RDF triples being distributed over multiple queryable end-points (e.g. Linked Data). Although there has been a body of work on RDF triples persistent storage, it seems…

Databases · Computer Science 2013-07-01 Olivier Curé , David Faye , Guillaume Blin

Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direction, in our previous works we presented a datalog…

Logic in Computer Science · Computer Science 2019-05-23 Loris Bozzato , Thomas Eiter , Luciano Serafini

Abductive reasoning is the process of making educated guesses to provide explanations for observations. Although many applications require the use of knowledge for explanations, the utilization of abductive reasoning in conjunction with…

Artificial Intelligence · Computer Science 2024-06-21 Jiaxin Bai , Yicheng Wang , Tianshi Zheng , Yue Guo , Xin Liu , Yangqiu Song

In the field of non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as a prominent approach. In recent years, RC has gained even more popularity in the context of Description Logics (DLs), the logic underpinning the…

Artificial Intelligence · Computer Science 2023-06-02 Giovanni Casini , Umberto Straccia

Knowledge graph reasoning in the fully-inductive setting, where both entities and relations at test time are unseen during training, remains an open challenge. In this work, we introduce GraphOracle, a novel framework that achieves robust…

Machine Learning · Computer Science 2025-12-30 Enjun Du , Siyi Liu , Yongqi Zhang

There is a wide gap between symbolic reasoning and deep learning. In this research, we explore the possibility of using deep learning to improve symbolic reasoning. Briefly, in a reasoning system, a deep feedforward neural network is used…

Artificial Intelligence · Computer Science 2018-09-13 Cheng-Hao Cai , Dengfeng Ke , Yanyan Xu , Kaile Su

The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the `context'…

Logic in Computer Science · Computer Science 2014-06-05 Mathew Joseph , Gabriel Kuper , Luciano Serafini

Datasets for the experimental evaluation of knowledge graph refinement algorithms typically contain only ground facts, retaining very limited schema level knowledge even when such information is available in the source knowledge graphs.…

Artificial Intelligence · Computer Science 2026-02-17 Ivan Diliso , Roberto Barile , Claudia d'Amato , Nicola Fanizzi