English
Related papers

Related papers: Exchanging OWL 2 QL Knowledge Bases

200 papers

One of the most significant problems which inhibits further developments in the areas of Knowledge Representation and Artificial Intelligence is a problem of semantic alignment or knowledge mapping. The progress in its solution will be…

Artificial Intelligence · Computer Science 2015-02-24 Dmytro Filatov , Taras Filatov

Question answering over knowledge bases (KBQA) aims to answer factoid questions with a given knowledge base (KB). Due to the large scale of KB, annotated data is impossible to cover all fact schemas in KB, which poses a challenge to the…

Computation and Language · Computer Science 2023-05-24 Chuanyuan Tan , Yuehe Chen , Wenbiao Shao , Wenliang Chen

Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very…

Logic in Computer Science · Computer Science 2017-07-05 Elena Aladova , Tatjana Plotkin

Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to industrial settings, particularly in safety-critical domains.…

Software Engineering · Computer Science 2025-12-22 Zhi Ma , Cheng Wen , Zhexin Su , Xiao Liang , Cong Tian , Shengchao Qin , Mengfei Yang

Neural Machine Translation (NMT) models from English to SPARQL are a promising development for SPARQL query generation. However, current architectures are unable to integrate the knowledge base (KB) schema and handle questions on knowledge…

Computation and Language · Computer Science 2022-11-21 Rose Hirigoyen , Amal Zouaq , Samuel Reyd

We describe a neural network model that jointly learns distributed representations of texts and knowledge base (KB) entities. Given a text in the KB, we train our proposed model to predict entities that are relevant to the text. Our model…

Computation and Language · Computer Science 2017-11-08 Ikuya Yamada , Hiroyuki Shindo , Hideaki Takeda , Yoshiyasu Takefuji

Machine learning (ML) algorithms are showing a growing trend in helping the scientific communities across different disciplines and institutions to address large and diverse data problems. However, many available ML tools are…

This work explores the potential of brief inter-agent knowledge transfer (KT) to enhance the robotic object goal navigation (ON) in unseen and unfamiliar environments. Drawing on the analogy of human travelers acquiring local knowledge, we…

Robotics · Computer Science 2024-09-24 Kouki Terashima , Daiki Iwata , Kanji Tanaka

We analyze knowledge-based visual question answering, for which given a question, the models need to ground it into the visual modality and retrieve the relevant knowledge from a given large knowledge base (KB) to be able to answer. Our…

Artificial Intelligence · Computer Science 2024-04-17 Elham J. Barezi , Parisa Kordjamshidi

The problem of data exchange between multiple nodes with storage and communication capabilities models several current multi-user communication problems like Coded Caching, Data Shuffling, Coded Computing, etc. The goal in such problems is…

Information Theory · Computer Science 2021-08-11 Prasad Krishnan , Lakshmi Natarajan , V. Lalitha

Large language models (LLMs), such as ChatGPT and GPT-4, are versatile and can solve different tasks due to their emergent ability and generalizability. However, LLMs sometimes lack domain-specific knowledge to perform tasks, which would…

Computation and Language · Computer Science 2023-09-07 Chao Feng , Xinyu Zhang , Zichu Fei

Our concern is the overhead of answering OWL 2 QL ontology-mediated queries (OMQs) in ontology-based data access compared to evaluating their underlying tree-shaped and bounded treewidth conjunctive queries (CQs). We show that OMQs with…

Large Language Models (LLMs) achieve state-of-the-art performance across various NLP tasks but face deployment challenges due to high computational costs and memory constraints. Knowledge distillation (KD) is a promising solution,…

Computation and Language · Computer Science 2025-03-04 Anh Duc Le , Tu Vu , Nam Le Hai , Nguyen Thi Ngoc Diep , Linh Ngo Van , Trung Le , Thien Huu Nguyen

Large Language Models (LLMs) have been extensively adopted in Knowledge Graph Completion (KGC), showcasing significant research advancements. However, as black-box models driven by deep neural architectures, current LLM-based KGC methods…

Computation and Language · Computer Science 2025-10-22 Wenbin Guo , Xin Wang , Jiaoyan Chen , Zhao Li , Zirui Chen

Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-Lite_R, which is the logic underpinning the W3C ontology…

Artificial Intelligence · Computer Science 2015-12-02 Elena Botoeva , Diego Calvanese , Valerio Santarelli , Domenico Fabio Savo , Alessandro Solimando , Guohui Xiao

OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are often incomplete, and maintaining and constructing them has…

Artificial Intelligence · Computer Science 2024-03-26 Mathias Jackermeier , Jiaoyan Chen , Ian Horrocks

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

Large language models (LLMs) have made significant advancements in addressing diverse natural language processing (NLP) tasks. However, their performance is often limited by inherent comprehension of problems. To address this limitation, we…

Computation and Language · Computer Science 2025-06-05 Lin Sun , Can Zhang

To tackle the problem of domain-specific knowledge scarcity within large language models (LLMs), knowledge graph-retrievalaugmented method has been proven to be an effective and efficient technique for knowledge infusion. However, existing…

Computation and Language · Computer Science 2024-06-07 Zhouyu Jiang , Ling Zhong , Mengshu Sun , Jun Xu , Rui Sun , Hui Cai , Shuhan Luo , Zhiqiang Zhang

Data exchange, the problem of transferring data from a source schema to a target schema, has been studied for several years. The semantics of answering positive queries over the target schema has been defined in early work, but little…

Databases · Computer Science 2023-07-07 Marco Calautti , Sergio Greco , Cristian Molinaro , Irina Trubitsyna