中文
相关论文

相关论文: A Horn extension of DL-Lite with NL data complexit…

200 篇论文

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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据库 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

数据库 · 计算机科学 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…

数据库 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据库 · 计算机科学 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…

数据库 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据库 · 计算机科学 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…

数据库 · 计算机科学 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…

计算与语言 · 计算机科学 2026-02-03 Yao Zhang , Hongyin Zhu