中文
相关论文

相关论文: Finding Good Proofs for Answers to Conjunctive Que…

200 篇论文

In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there…

计算机科学中的逻辑 · 计算机科学 2022-08-31 Christian Alrabbaa , Stefan Borgwardt , Patrick Koopmann , Alisa Kovtunova

Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation and database communities for more than a decade. The vast majority of work on…

计算机科学中的逻辑 · 计算机科学 2020-09-22 Meghyn Bienvenu , Quentin Manière , Michaël Thomazo

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

计算机科学中的逻辑 · 计算机科学 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over…

数据库 · 计算机科学 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

We study the enumeration of answers to ontology-mediated queries (OMQs) where the ontology is a set of guarded TGDs or formulated in the description logic ELI and the query is a conjunctive query (CQ). In addition to the traditional notion…

数据库 · 计算机科学 2022-03-18 Carsten Lutz , Marcin Przybyłko

We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that…

计算机科学中的逻辑 · 计算机科学 2014-01-24 Boris Konev , Michel Ludwig , Dirk Walther , Frank Wolter

Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an ontology-mediated query, which is a database…

数据库 · 计算机科学 2013-06-07 Meghyn Bienvenu , Balder ten Cate , Carsten Lutz , Frank Wolter

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…

人工智能 · 计算机科学 2022-07-01 Anneke Haga , Carsten Lutz , Leif Sabellek , Frank Wolter

Methods for query answering over incomplete knowledge graphs retrieve entities that are likely to be answers, which is particularly useful when such answers cannot be reached by direct graph traversal due to missing edges. However, existing…

We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes…

计算机科学中的逻辑 · 计算机科学 2019-07-02 Vladislav Ryzhikov , Przemyslaw Andrzej Walega , Michael Zakharyaschev

In this tutorial, we will survey known results on the complexity of conjunctive query evaluation in different settings, ranging from Boolean queries over counting to more complex models like enumeration and direct access. A particular focus…

数据库 · 计算机科学 2025-06-24 Stefan Mengel

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood…

人工智能 · 计算机科学 2011-11-02 Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler

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),…

数据库 · 计算机科学 2014-05-13 Georg Gottlob , Giorgio Orsi , Andreas Pieris

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…

数据库 · 计算机科学 2020-07-20 Diego Calvanese , Julien Corman , Davide Lanti , Simon Razniewski

Ontological queries are evaluated against an ontology rather than directly on a database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper we discuss two important aspects of…

数据库 · 计算机科学 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

Ontology-Mediated Query Answering (OMQA) is a well-established framework to answer queries over an RDFS or OWL Knowledge Base (KB). OMQA was originally designed for unions of conjunctive queries (UCQs), and based on certain answers. More…

数据库 · 计算机科学 2019-11-22 Julien Corman , Guohui Xiao

Ontologies are known to improve the accuracy of Large Language Models (LLMs) when translating natural language queries into a formal query language like SQL or SPARQL. There are two ways to leverage ontologies when working with LLMs. One is…

数据库 · 计算机科学 2024-10-15 C. Civili , E. Sherkhonov , R. E. K. Stirewalt

Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the…

计算机科学中的逻辑 · 计算机科学 2020-03-24 Stefan Borgwardt , Veronika Thost

This article presents the top-level of an ontology categorizing and generalizing best practices and quality criteria or measures for Linked Data. It permits to compare these techniques and have a synthetic organized view of what can or…

数字图书馆 · 计算机科学 2013-05-31 Philippe A. Martin

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,…

人工智能 · 计算机科学 2013-04-02 Giorgio Stefanoni , Boris Motik , Ian Horrocks
‹ 上一页 1 2 3 10 下一页 ›