English
Related papers

Related papers: How to Approximate Ontology-Mediated Queries

200 papers

OWL (Web Ontology Language) ontologies which are able to formally represent complex knowledge and support semantic reasoning have been widely adopted across various domains such as healthcare and bioinformatics. Recently, ontology…

Artificial Intelligence · Computer Science 2025-07-22 Hui Yang , Jiaoyan Chen , Yuan He , Yongsheng Gao , Ian Horrocks

The paper considers various formalisms based on Automata, Temporal Logic and Regular Expressions for specifying queries over sequences. Unlike traditional binary semantics, the paper presents a similarity based semantics for thse…

Logic in Computer Science · Computer Science 2007-05-23 A. Prasad Sistla

Probabilistic inference over large data sets is a challenging data management problem since exact inference is generally #P-hard and is most often solved approximately with sampling-based methods today. This paper proposes an alternative…

Databases · Computer Science 2016-06-15 Wolfgang Gatterbauer , Dan Suciu

Over two decades ago a "quite revolution" overwhelmingly replaced knowledgebased approaches in natural language processing (NLP) by quantitative (e.g., statistical, corpus-based, machine learning) methods. Although it is our firm belief…

Artificial Intelligence · Computer Science 2008-08-11 Walid S. Saba

Ontology alignment process is overwhelmingly cited in Knowledge Engineering as a key mechanism aimed at bypassing heterogeneity and reconciling various data sources, represented by ontologies, i.e., the the Semantic Web cornerstone. In such…

Artificial Intelligence · Computer Science 2021-04-06 Marouen Kachroudi

In this paper, we study the data complexity of querying inconsistent weighted description logic (DL) knowledge bases under recently-introduced cost-based semantics. In a nutshell, the idea is to assign each interpretation a cost based upon…

Artificial Intelligence · Computer Science 2025-11-17 Meghyn Bienvenu , Quentin Manière

Ontologies provide formal representation of knowledge shared within Semantic Web applications. Ontology learning involves the construction of ontologies from a given corpus. In the past years, ontology learning has traversed through shallow…

Information Retrieval · Computer Science 2024-06-18 Rick Du , Huilong An , Keyu Wang , Weidong Liu

Querying knowledge bases using ontologies is usually performed using dedicated query languages, question-answering systems, or visual query editors for Knowledge Graphs. We propose a novel approach that enables users to query the knowledge…

Human-Computer Interaction · Computer Science 2025-12-02 Benedikt Kantz , Kevin Innerebner , Peter Waldert , Stefan Lengauer , Elisabeth Lex , Tobias Schreck

GQL has recently emerged as the standard query language over graph databases (particularly, the property graph model). Indeed, this is analogous to the role of SQL for relational databases. Unlike SQL, however, fundamental problems…

Databases · Computer Science 2025-10-23 Diego Figueira , Anthony W. Lin , Liat Peterfreund

We propose unifying techniques from probabilistic databases and relational embedding models with the goal of performing complex queries on incomplete and uncertain data. We formalize a probabilistic database model with respect to which all…

Artificial Intelligence · Computer Science 2020-06-30 Tal Friedman , Guy Van den Broeck

In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers. We investigate this…

Logic in Computer Science · Computer Science 2023-05-08 Marie Fortin , Boris Konev , Vladislav Ryzhikov , Yury Savateev , Frank Wolter , Michael Zakharyaschev

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

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

So-called combined approaches answer a conjunctive query over a description logic ontology in three steps: first, they materialise certain consequences of the ontology and the data; second, they evaluate the query over the data; and third,…

Artificial Intelligence · Computer Science 2013-04-02 Giorgio Stefanoni , Boris Motik , Ian Horrocks

We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extending the well-known class of union of conjunctive queries,…

Logic in Computer Science · Computer Science 2022-05-09 Vıctor Gutiérrez-Basulto , Albert Gutowski , Yazmın Ibáñez-Garcıa , Filip Murlak

Large Language Models (LLMs) have spurred progress in text-to-SQL, the task of generating SQL queries from natural language questions based on a given database schema. Despite the declarative nature of SQL, it continues to be a complex…

Computation and Language · Computer Science 2023-12-25 Ben Eyal , Amir Bachar , Ophir Haroche , Michael Elhadad

Ontologies are essential for structuring domain knowledge, improving accessibility, sharing, and reuse. However, traditional ontology construction relies on manual annotation and conventional natural language processing (NLP) techniques,…

Artificial Intelligence · Computer Science 2026-02-03 Xuan Liu , Ziyu Li , Mu He , Ziyang Ma , Xiaoxu Wu , Gizem Yilmaz , Yiyuan Xia , Bingbing Li , He Tan , Jerry Ying Hsi Fuh , Wen Feng Lu , Anders E. W. Jarfors , Per Jansson

Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by…

Artificial Intelligence · Computer Science 2015-02-27 Jia Xu , Patrick Shironoshita , Ubbo Visser , Nigel John , Mansur Kabuka

Modern information systems are changing the idea of "data processing" to the idea of "concept processing", meaning that instead of processing words, such systems process semantic concepts which carry meaning and share contexts with other…

Computation and Language · Computer Science 2018-11-09 Roger Granada , Renata Vieira , Cassia Trojahn , Nathalie Aussenac-Gilles

The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby…

Artificial Intelligence · Computer Science 2023-06-01 Ying Li , Patrick Lambrix
‹ Prev 1 4 5 6 7 8 10 Next ›