English
Related papers

Related papers: Relaxing and Restraining Queries for OBDA

200 papers

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology…

Logic in Computer Science · Computer Science 2013-05-01 Alessandro Artale , Roman Kontchakov , Frank Wolter , Michael Zakharyaschev

Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries, the standard query language in databases, have recently gained significant…

Logic in Computer Science · Computer Science 2014-01-17 Sebastian Rudolph , Birte Glimm

Retrieving relevant evidence from visually rich documents such as textbooks, technical reports, and manuals is challenging due to long context, complex layouts, and weak lexical overlap between user questions and supporting pages. We…

Information Retrieval · Computer Science 2026-03-31 Seonok Kim

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we…

Databases · Computer Science 2025-08-25 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

Open domain question answering (ODQA) is a longstanding task aimed at answering factual questions from a large knowledge corpus without any explicit evidence in natural language processing (NLP). Recent works have predominantly focused on…

Computation and Language · Computer Science 2022-11-16 Qin Zhang , Shangsi Chen , Dongkuan Xu , Qingqing Cao , Xiaojun Chen , Trevor Cohn , Meng Fang

This paper continues the discussion of the representation and interpretation of ontologies in the first-order logical environment {\ttfamily FOLE} (Kent). Ontologies are represented and interpreted in (many-sorted) first-order logic. Five…

Databases · Computer Science 2023-04-25 Robert E. Kent

We introduce a new symbolic representation based on an original generalization of counter abstraction. Unlike classical counter abstraction (used in the analysis of parameterized systems with unordered or unstructured topologies) the new…

Logic in Computer Science · Computer Science 2015-03-20 Ahmed Rezine

Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical uses of a given set of rules, e.g., in ontology-based query…

Artificial Intelligence · Computer Science 2022-07-21 Larry González , Alex Ivliev , Markus Krötzsch , Stephan Mennicke

Information retrieval from distributed heterogeneous data sources remains a challenging issue. As the number of data sources increases more intelligent retrieval techniques, focusing on information content and semantics, are required.…

Databases · Computer Science 2007-07-06 K. Munir , M. Odeh , R. McClatchey , S. Khan , I. Habib

Investigating whether pre-trained language models (LMs) can function as knowledge bases (KBs) has raised wide research interests recently. However, existing works focus on simple, triple-based, relational KBs, but omit more sophisticated,…

Computation and Language · Computer Science 2023-05-09 Yuan He , Jiaoyan Chen , Ernesto Jiménez-Ruiz , Hang Dong , Ian Horrocks

Recent advances in open-domain QA have led to strong models based on dense retrieval, but only focused on retrieving textual passages. In this work, we tackle open-domain QA over tables for the first time, and show that retrieval can be…

Computation and Language · Computer Science 2021-06-10 Jonathan Herzig , Thomas Müller , Syrine Krichene , Julian Martin Eisenschlos

The retrieval model is an indispensable component for real-world knowledge-intensive tasks, e.g., open-domain question answering (ODQA). As separate retrieval skills are annotated for different datasets, recent work focuses on customized…

Computation and Language · Computer Science 2023-05-29 Kaixin Ma , Hao Cheng , Yu Zhang , Xiaodong Liu , Eric Nyberg , Jianfeng Gao

When data schemata are enriched with expressive constraints that aim at representing the domain of interest, in order to answer queries one needs to consider the logical theory consisting of both the data and the constraints. Query…

Databases · Computer Science 2014-01-03 Andrea Calì , Marco Console , Riccardo Frosini

Open-domain Question Answering (ODQA) has achieved significant results in terms of supervised learning manner. However, data annotation cannot also be irresistible for its huge demand in an open domain. Though unsupervised QA or…

Computation and Language · Computer Science 2021-09-01 Pengfei Zhu , Xiaoguang Li , Jian Li , Hai Zhao

Machine Learning (ML) systems are capable of reproducing and often amplifying undesired biases. This puts emphasis on the importance of operating under practices that enable the study and understanding of the intrinsic characteristics of ML…

Artificial Intelligence · Computer Science 2025-12-01 Mayra Russo , Maria-Esther Vidal

The advantages of data sharing across organizations and disciplines are indisputable; although, sensitive and restricted data cannot be easily shared due to policies and legal matters. The research presented in this paper takes a step…

Digital Libraries · Computer Science 2021-09-24 M. Greene , S. Grabus , J. Greenberg

In open-domain question answering (QA), retrieve-and-read mechanism has the inherent benefit of interpretability and the easiness of adding, removing, or editing knowledge compared to the parametric approaches of closed-book QA models.…

Computation and Language · Computer Science 2021-05-25 Sohee Yang , Minjoon Seo

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

Artificial Intelligence · Computer Science 2022-09-20 Zhe Yu , Yiwei Lu

Compressed indexing is a powerful technique that enables efficient querying over data stored in compressed form, significantly reducing memory usage and often accelerating computation. While extensive progress has been made for…

Data Structures and Algorithms · Computer Science 2025-10-23 Rajat De , Dominik Kempa

We addressed the problem of a lack of semantic representation for user-centric explanations and different explanation types in our Explanation Ontology (https://purl.org/heals/eo). Such a representation is increasingly necessary as…

Artificial Intelligence · Computer Science 2020-10-06 Shruthi Chari , Oshani Seneviratne , Daniel M. Gruen , Morgan A. Foreman , Amar K. Das , Deborah L. McGuinness