English
Related papers

Related papers: An Evidential Path Logic for Multi-Relational Netw…

200 papers

Logical reasoning serve as a central capability in LLMs and includes three main forms: deductive, inductive, and abductive reasoning. In this work, we study the knowledge representations of these reasoning types in LLMs and analyze the…

Computation and Language · Computer Science 2026-04-28 Zixuan Wang , Yuanyuan Lei

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 describes an approach to the representation and processing of ontologies in the Semantic Web, based on the ICMAUS theory of computation and AI. This approach has strengths that complement those of languages based on the Resource…

Artificial Intelligence · Computer Science 2007-05-23 J Gerard Wolff

This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to facilitate interoperability and reusability. An engine builds…

Information Retrieval · Computer Science 2007-05-23 Michel Crampes , Sylvie Ranwez

With the ever-growing generation of data for the Semantic Web comes an increasing demand for this data to be made available to non-semantic Web experts. One way of achieving this goal is to translate the languages of the Semantic Web into…

Computation and Language · Computer Science 2019-11-05 Axel-Cyrille Ngonga Ngomo , Diego Moussallem , Lorenz Bühmann

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

OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language.…

Artificial Intelligence · Computer Science 2011-08-02 Michael Schneider , Geoff Sutcliffe

Incorporating knowledge graph into recommender systems has attracted increasing attention in recent years. By exploring the interlinks within a knowledge graph, the connectivity between users and items can be discovered as paths, which…

Information Retrieval · Computer Science 2018-11-13 Xiang Wang , Dingxian Wang , Canran Xu , Xiangnan He , Yixin Cao , Tat-Seng Chua

State of the art algorithms for many pattern recognition problems rely on deep network models. Training these models requires a large labeled dataset and considerable computational resources. Also, it is difficult to understand the working…

Artificial Intelligence · Computer Science 2019-09-25 Heather Riley , Mohan Sridharan

The ubiquity of neural networks (NNs) in real-world applications, from healthcare to natural language processing, underscores their immense utility in capturing complex relationships within high-dimensional data. However, NNs come with…

Machine Learning · Computer Science 2024-07-08 Chang Yue , Niraj K. Jha

The recent developments and growing interest in neural-symbolic models has shown that hybrid approaches can offer richer models for Artificial Intelligence. The integration of effective relational learning and reasoning methods is one of…

Machine Learning · Computer Science 2020-05-07 Henrique Lemos , Pedro Avelar , Marcelo Prates , Luís Lamb , Artur Garcez

This article presents a model of general-purpose computing on a semantic network substrate. The concepts presented are applicable to any semantic network representation. However, due to the standards and technological infrastructure devoted…

Artificial Intelligence · Computer Science 2010-06-08 Marko A. Rodriguez

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

This study investigates an explainable reasoning method for financial decision-making based on knowledge-enhanced large language model agents. To address the limitations of traditional financial decision methods that rely on parameterized…

Computation and Language · Computer Science 2025-12-11 Qingyuan Zhang , Yuxi Wang , Cancan Hua , Yulin Huang , Ning Lyu

In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics. We propose a concept-wise multipreference semantics, recently introduced for…

Artificial Intelligence · Computer Science 2021-07-13 Laura Giordano , Valentina Gliozzi , Daniele Theseider Dupré

While large language models (LLMs) have made significant progress in processing and reasoning over knowledge graphs, current methods suffer from a high non-retrieval rate. This limitation reduces the accuracy of answering questions based on…

Machine Learning · Computer Science 2025-03-31 Song Wang , Junhong Lin , Xiaojie Guo , Julian Shun , Jundong Li , Yada Zhu

Reasoning with knowledge expressed in natural language and Knowledge Bases (KBs) is a major challenge for Artificial Intelligence, with applications in machine reading, dialogue, and question answering. General neural architectures that…

Machine Learning · Computer Science 2019-12-24 Pasquale Minervini , Matko Bošnjak , Tim Rocktäschel , Sebastian Riedel , Edward Grefenstette

On the Semantic Web, metadata and ontologies are used to enable computers to read data. The Web Ontology Language (OWL) has been proposed as a standard ontological language, and various inference systems for this language have been studied.…

Logic in Computer Science · Computer Science 2022-08-11 Daiki Takahashi , Ken Kaneiwa

Knowledge graph completion aims to predict the new links in given entities among the knowledge graph (KG). Most mainstream embedding methods focus on fact triplets contained in the given KG, however, ignoring the rich background information…

Artificial Intelligence · Computer Science 2020-10-13 Zhaochong An , Bozhou Chen , Houde Quan , Qihui Lin , Hongzhi Wang

We propose a new interpretability method for neural networks, which is based on a novel mathematico-philosophical theory of reasons. Our method computes a vector for each neuron, called its reasons vector. We then can compute how strongly…

Machine Learning · Computer Science 2025-05-21 Levin Hornischer , Hannes Leitgeb