English
Related papers

Related papers: Query Answering for Rough EL Ontologies (Extended …

200 papers

The literature on ontology-mediated query answering (OMQA) has been shaped by two key results: first-order rewritability for DL-Lite, and PTime-hardness of data complexity for essentially every description logic beyond it. This has…

Logic in Computer Science · Computer Science 2026-05-14 Janos Arpasi , Bartosz Jan Bednarczyk , Magdalena Ortiz

Query understanding is essential in modern relevance systems, where user queries are often short, ambiguous, and highly context-dependent. Traditional approaches often rely on multiple task-specific Named Entity Recognition models to…

Information Retrieval · Computer Science 2025-09-15 Ping Liu , Jianqiang Shen , Qianqi Shen , Chunnan Yao , Kevin Kao , Dan Xu , Rajat Arora , Baofen Zheng , Caleb Johnson , Liangjie Hong , Jingwei Wu , Wenjing Zhang

Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking the consistency of ABoxes in this logic. In this paper, we…

Logic in Computer Science · Computer Science 2025-06-09 Krishna Manoorkar , Ruoding Wang

This paper focuses on a domain expert querying system over databases. It presents a solution designed for a French enterprise interested in offering a natural language interface for its clients. The approach, based on entity enrichment,…

Computation and Language · Computer Science 2024-10-22 Joshua Amavi , Mirian Halfeld Ferrari , Nicolas Hiot

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

Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often in heterogeneous formats. This calls for tools and methods for…

Artificial Intelligence · Computer Science 2007-05-23 Thomas Eiter , Michael Fink , Hans Tompits

Large language models (LLMs) have achieved unprecedented performances in various applications, yet evaluating them is still challenging. Existing benchmarks are either manually constructed or are automatic, but lack the ability to evaluate…

Computation and Language · Computer Science 2024-11-05 Jio Oh , Soyeon Kim , Junseok Seo , Jindong Wang , Ruochen Xu , Xing Xie , Steven Euijong Whang

Retrieval-Augmented Large Language Models (LLMs), which incorporate the non-parametric knowledge from external knowledge bases into LLMs, have emerged as a promising approach to enhancing response accuracy in several tasks, such as…

Computation and Language · Computer Science 2024-03-29 Soyeong Jeong , Jinheon Baek , Sukmin Cho , Sung Ju Hwang , Jong C. Park

Understanding large, structured documents like scholarly articles, requests for proposals or business reports is a complex and difficult task. It involves discovering a document's overall purpose and subject(s), understanding the function…

Computation and Language · Computer Science 2018-07-27 Muhammad Mahbubur Rahman , Tim Finin

With the rise of knowledge management and knowledge economy, the knowledge elements that directly link and embody the knowledge system have become the research focus and hotspot in certain areas. The existing knowledge element…

Logic in Computer Science · Computer Science 2019-04-17 Bin Wen , Jianhou Gan , Juan L. G. Guirao , Wei Gao

Answering complex questions involving multiple entities and relations is a challenging task. Logically, the answer to a complex question should be derived by decomposing the complex question into multiple simple sub-questions and then…

Computation and Language · Computer Science 2019-11-13 Yunan Zhang , Xiang Cheng , Yufeng Zhang , Zihan Wang , Zhengqi Fang , Xiaoyan Wang , Zhenya Huang , Chengxiang Zhai

We propose a rule-based technique to generate redundancy-free NL descriptions of OWL entities.The existing approaches which address the problem of verbalizing OWL ontologies generate NL text segments which are close to their counterpart OWL…

Artificial Intelligence · Computer Science 2016-11-01 Vinu E. , P Sreenivasa Kumar

Aspect-oriented explanations in search results are typically concise text snippets placed alongside retrieved documents to serve as explanations that assist users in efficiently locating relevant information. While Large Language Models…

Information Retrieval · Computer Science 2025-07-23 Arif Laksito , Mark Stevenson

Entity linking (mapping ambiguous mentions in text to entities in a knowledge base) is a foundational step in tasks such as knowledge graph construction, question-answering, and information extraction. Our method, LELA, is a modular…

Computation and Language · Computer Science 2026-01-09 Samy Haffoudhi , Fabian M. Suchanek , Nils Holzenberger

In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introduce the description logic $\mathcal{DL}\langle…

Logic in Computer Science · Computer Science 2015-05-11 Domenico Cantone , Cristiano Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

Ontology-based query answering with existential rules is well understood and implemented for positive queries, in particular conjunctive queries. The situation changes drastically for queries with negation, where there is no agreed-upon…

Logic in Computer Science · Computer Science 2021-12-22 Stefan Ellmauthaler , Markus Krötzsch , Stephan Mennicke

Efficient knowledge management plays a pivotal role in augmenting both the operational efficiency and the innovative capacity of businesses and organizations. By indexing knowledge through vectorization, a variety of knowledge retrieval…

Computation and Language · Computer Science 2024-04-23 Feihu Jiang , Chuan Qin , Kaichun Yao , Chuyu Fang , Fuzhen Zhuang , Hengshu Zhu , Hui Xiong

We address the problem of answering Web ontology queries efficiently. An ontology is formalized as a Deductive Ontology Base (DOB), a deductive database that comprises the ontology's inference axioms and facts. A cost-based query…

Databases · Computer Science 2007-11-15 Edna Ruckhaus , Eduardo Ruiz , Maria-Esther Vidal

In this paper, we introduce and apply Operations Research Question Answering (ORQA), a new benchmark designed to assess the generalization capabilities of Large Language Models (LLMs) in the specialized technical domain of Operations…

We address the task of routing natural language queries in multi-database enterprise environments. We construct realistic benchmarks by extending existing NL-to-SQL datasets. Our study shows that routing becomes increasingly challenging…

Artificial Intelligence · Computer Science 2026-01-28 Saikrishna Sudarshan , Tanay Kulkarni , Manasi Patwardhan , Lovekesh Vig , Ashwin Srinivasan , Tanmay Tulsidas Verlekar