English
Related papers

Related papers: Temporal Minimal-World Semantics for Sparse ABoxes

200 papers

World models offer a principled framework for simulating future states under interventions, but realizing such models in complex, high-stakes domains like medicine remains challenging. Recent large language models (LLMs) have achieved…

Artificial Intelligence · Computer Science 2026-02-04 Linjie Mu , Zhongzhen Huang , Yannian Gu , Shengqian Qin , Shaoting Zhang , Xiaofan Zhang

This paper addresses the topic of semantic world modeling by conjoining probabilistic reasoning and object anchoring. The proposed approach uses a so-called bottom-up object anchoring method that relies on the rich continuous data from…

Robotics · Computer Science 2019-06-27 Andreas Persson , Pedro Zuidberg Dos Martires , Amy Loutfi , Luc De Raedt

We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable…

Artificial Intelligence · Computer Science 2022-07-01 Anneke Haga , Carsten Lutz , Leif Sabellek , Frank Wolter

Tools to explore scientific literature are essential for scientists, especially in biomedicine, where about a million new papers are published every year. Many such tools provide users the ability to search for specific entities (e.g.…

Computation and Language · Computer Science 2021-07-05 Sunil Mohan , Rico Angell , Nick Monath , Andrew McCallum

Relational and noSQL storages are developed for the fast processing of the large data sets having a stable structure, while the ontologies are used to rep-resent complex and dynamic sets of information of a limited size. In the in-dustrial…

Databases · Computer Science 2021-03-10 Sergey Gorshkov , Alexander Grebeshkov , Roman Shebalov

In this paper, we introduce a novel interpreting framework that learns an interpretable model based on an ontology-based sampling technique to explain agnostic prediction models. Different from existing approaches, our algorithm considers…

Machine Learning · Computer Science 2020-04-02 Phung Lai , NhatHai Phan , Han Hu , Anuja Badeti , David Newman , Dejing Dou

Question Answering (QA), as a research field, has primarily focused on either knowledge bases (KBs) or free text as a source of knowledge. These two sources have historically shaped the kinds of questions that are asked over these sources,…

Computation and Language · Computer Science 2019-02-26 Igor Labutov , Bishan Yang , Anusha Prakash , Amos Azaria

Ontologies facilitate the integration of heterogeneous data sources by resolving semantic heterogeneity between them. This research aims to study the possibility of generating a domain conceptual model from a given ontology with the vision…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Haya El-Ghalayini , Mohammed Odeh , Richard McClatchey , Tony Solomonides

We propose a novel foundational framework for why-not explanations, that is, explanations for why a tuple is missing from a query result. Our why-not explanations leverage concepts from an ontology to provide high-level and meaningful…

Databases · Computer Science 2015-04-01 Balder ten Cate , Cristina Civili , Evgeny Sherkhonov , Wang-Chiew Tan

The Web is a rich source of structured data in the form of tables, from product catalogs and knowledge bases to scientific datasets. However, the heterogeneity of the structure and semantics of these tables makes it challenging to build a…

Computation and Language · Computer Science 2026-02-19 Inwon Kang , Parikshit Ram , Yi Zhou , Horst Samulowitz , Oshani Seneviratne

In this paper, we investigate space-time tradeoffs for answering Boolean conjunctive queries. The goal is to create a data structure in an initial preprocessing phase and use it for answering (multiple) queries. Previous work has developed…

Data Structures and Algorithms · Computer Science 2023-08-15 Shaleen Deep , Xiao Hu , Paraschos Koutris

Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first…

Logic in Computer Science · Computer Science 2015-03-03 Laura Bozzelli , David Pearce

The temporal phenomena have many facets that are studied by different communities. In Semantic Web, large heterogeneous data are handled and produced. These data often have informal, semi-formal or formal temporal information which must be…

Artificial Intelligence · Computer Science 2015-06-22 Papa Fary Diallo , Olivier Corby , Isabelle Mirbel , Moussa Lo , Seydina M. Ndiaye

Ontological queries are evaluated against a knowledge base consisting of an extensional database and an ontology (i.e., a set of logical assertions and constraints which derive new intensional knowledge from the extensional database),…

Databases · Computer Science 2014-05-13 Georg Gottlob , Giorgio Orsi , Andreas Pieris

Question Answering over Temporal Knowledge Graphs (TKGQA) has attracted growing interest for handling time-sensitive queries. However, existing methods still struggle with: 1) weak incorporation of temporal constraints in question…

Computation and Language · Computer Science 2026-02-24 Wuzhenghong Wen , Bowen Zhou , Jinwen Huang , Xianjie Wu , Yuwei Sun , Su Pan , Liang Li , Jianting Liu

Semantic communication is an emerging paradigm that focuses on understanding and delivering semantics, or meaning of messages. Most existing semantic communication solutions define semantic meaning as the meaning of object labels recognized…

Networking and Internet Architecture · Computer Science 2022-03-17 Jingming Liang , Yong Xiao , Yingyu Li , Guangming Shi , Mehdi Bennis

Memory enables Large Language Model (LLM) agents to perceive, store, and use information from past dialogues, which is essential for personalization. However, existing methods fail to properly model the temporal dimension of memory in two…

Artificial Intelligence · Computer Science 2026-01-13 Miao Su , Yucan Guo , Zhongni Hou , Long Bai , Zixuan Li , Yufei Zhang , Guojun Yin , Wei Lin , Xiaolong Jin , Jiafeng Guo , Xueqi Cheng

Counting answers to a query is an operation supported by virtually all database management systems. In this paper we focus on counting answers over a Knowledge Base (KB), which may be viewed as a database enriched with background knowledge…

Databases · Computer Science 2020-07-20 Diego Calvanese , Julien Corman , Davide Lanti , Simon Razniewski

To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at least one query, ontology, and data set. The lack of…

Artificial Intelligence · Computer Science 2014-01-21 Bernardo Cuenca Grau , Boris Motik , Giorgos Stoilos , Ian Horrocks

We propose a novel method for exploiting the semantic structure of text to answer multiple-choice questions. The approach is especially suitable for domains that require reasoning over a diverse set of linguistic constructs but have limited…

Computation and Language · Computer Science 2019-06-11 Daniel Khashabi , Tushar Khot , Ashish Sabharwal , Dan Roth