English
Related papers

Related papers: A Horn extension of DL-Lite with NL data complexit…

200 papers

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

We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact…

Artificial Intelligence · Computer Science 2020-10-23 Cristina Feier , Carsten Lutz , Frank Wolter

The ontology engineering process is complex, time-consuming, and error-prone, even for experienced ontology engineers. In this work, we investigate the potential of Large Language Models (LLMs) to provide effective OWL ontology drafts…

We develop a query answering system, where at the core of the work there is an idea of query answering by rewriting. For this purpose we extend the DL DL-Lite with the ability to support n-ary relations, obtaining the DL DLR-Lite, which is…

Databases · Computer Science 2009-02-11 Mantas Simkus , Evaldas Taroza , Lina Lubyte , Daniel Trivellato , Zivile Norkunaite

Large language models (LLMs) have shown promise in table Question Answering (Table QA). However, extending these capabilities to multi-table QA remains challenging due to unreliable schema linking across complex tables. Existing methods…

Artificial Intelligence · Computer Science 2025-11-25 Xixi Wang , Miguel Costa , Jordanka Kovaceva , Shuai Wang , Francisco C. Pereira

We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) with inverse roles. We consider both query conservative…

Artificial Intelligence · Computer Science 2020-11-20 Jean Christoph Jung , Carsten Lutz , Mauricio Martel , Thomas Schneider

Competency Questions (CQs) are a cornerstone of requirement elicitation in ontology engineering. CQs represent requirements as a set of natural language questions that an ontology should satisfy; they are traditionally modelled by ontology…

Artificial Intelligence · Computer Science 2026-04-20 Reham Alharbi , Valentina Tamma , Terry R. Payne , Jacopo de Berardinis

The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and…

Logic in Computer Science · Computer Science 2014-01-16 Alessandro Artale , Diego Calvanese , Roman Kontchakov , Michael Zakharyaschev

API recommendation methods have evolved from literal and semantic keyword matching to query expansion and query clarification. The latest query clarification method is knowledge graph (KG)-based, but limitations include out-of-vocabulary…

Software Engineering · Computer Science 2023-09-29 Qing Huang , Zhenyu Wan , Zhenchang Xing , Changjing Wang , Jieshan Chen , Xiwei Xu , Qinghua Lu

We study the complexity of ontology-mediated querying when ontologies are formulated in the guarded fragment of first-order logic (GF). Our general aim is to classify the data complexity on the level of ontologies where query evaluation…

Databases · Computer Science 2018-04-20 Andre Hernich , Carsten Lutz , Fabio Papacchini , Frank Wolter

Knowledge Graph Question Answering (KGQA) has advanced through structured query generation, yet most efforts target RDF/SPARQL, leaving Cypher and property graphs underexplored, despite increasing demand for unified KGQA in industry…

Databases · Computer Science 2026-05-05 Mengying Wang , Nicolaas Jedema , Rahul Pandey , RaviKiran Krishnan , Jens Lehmann , Yinghui Wu

We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for…

Artificial Intelligence · Computer Science 2020-04-27 Gianluca Cima , Domenico Lembo , Riccardo Rosati , Domenico Fabio Savo

Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were…

Logic in Computer Science · Computer Science 2019-04-16 Jean Christoph Jung , Fabio Papacchini , Frank Wolter , Michael Zakharyaschev

OWL (Web Ontology Language) ontologies, which are able to represent both relational and type facts as standard knowledge graphs and complex domain knowledge in Description Logic (DL) axioms, are widely adopted in domains such as healthcare…

Artificial Intelligence · Computer Science 2025-02-05 Hui Yang , Jiaoyan Chen , Uli Sattler

We formulate query-subquery nets and use them to create the first framework for developing algorithms for evaluating queries to Horn knowledge bases with the properties that: the approach is goal-directed; each subquery is processed only…

Databases · Computer Science 2012-01-13 Linh Anh Nguyen , Son Thanh Cao

In ontology-based data access, multiple data sources are integrated using an ontology and mappings. In practice, this is often achieved by a bootstrapping process, that is, the ontology and mappings are first designed to support only the…

Databases · Computer Science 2020-11-19 Carsten Lutz , Johannes Marti , Leif Sabellek

The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data…

Artificial Intelligence · Computer Science 2021-04-06 Ana Ozaki

Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus…

Databases · Computer Science 2020-01-01 Pablo Barcelo , Victor Dalmau , Cristina Feier , Carsten Lutz , Andreas Pieris

Modeling data lineage in relational databases remains a challenging problem, particularly in scenarios involving incomplete or missing dependencies between database objects. In this paper, we propose a novel ontology for relational database…

Databases · Computer Science 2026-05-18 Jakub Dutkiewicz , Paweł Misiorek , Robert Wrembel

Enterprise-scale knowledge management faces significant challenges in integrating multi-source heterogeneous data and enabling effective semantic reasoning. Traditional knowledge graphs often struggle with implicit relationship discovery…

Computation and Language · Computer Science 2026-02-03 Yao Zhang , Hongyin Zhu