English
Related papers

Related papers: Explaining Ontology-Mediated Query Answers using P…

200 papers

The semantic web has received many contributions of researchers as ontologies which, in this context, i.e. within RDF linked data, are formalized conceptualizations that might use different protocols, such as RDFS, OWL DL and OWL FULL. In…

Artificial Intelligence · Computer Science 2017-10-30 Renato Fabbri

There is an increasing need to integrate model-agnostic explanation techniques with concept-based approaches, as the former can explain models across different architectures while the latter makes explanations more faithful and…

Machine Learning · Computer Science 2026-02-27 Junhao Liu , Haonan Yu , Xin Zhang

Ontology-based approach to the Natural Language Understanding (NLU) processing allows to improve questions answering quality in dialogue systems. We describe our NLU engine architecture and evaluate its implementation. The engine transforms…

Software Engineering · Computer Science 2021-11-09 Sergey Gorshkov , Constantin Kondratiev , Roman Shebalov

There is increasing evidence that question-answering (QA) systems with Large Language Models (LLMs), which employ a knowledge graph/semantic representation of an enterprise SQL database (i.e. Text-to-SPARQL), achieve higher accuracy…

Artificial Intelligence · Computer Science 2024-05-21 Dean Allemang , Juan Sequeda

Rapid growth of documents, web pages, and other types of text content is a huge challenge for the modern content management systems. One of the problems in the areas of information storage and retrieval is the lacking of semantic data.…

Databases · Computer Science 2015-02-23 Mona Dadjoo , Esmaeil Kheirkhah

Many efforts have been dedicated to identifying restrictions on ontologies expressed as tuple-generating dependencies (tgds), a.k.a. existential rules, that lead to the decidability for the problem of answering ontology-mediated queries…

Databases · Computer Science 2017-04-20 Pablo Barcelo , Gerald Berger , Andreas Pieris

Claim verification plays a crucial role in combating misinformation. While existing works on claim verification have shown promising results, a crucial piece of the puzzle that remains unsolved is to understand how to verify claims without…

Computation and Language · Computer Science 2023-10-23 Haoran Wang , Kai Shu

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the…

Artificial Intelligence · Computer Science 2014-08-12 Olga Nevzorova , Nikita Zhiltsov , Alexander Kirillovich , Evgeny Lipachev

An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual…

Information Retrieval · Computer Science 2019-10-01 Maryam Alizadeh , Maliheh Heydarpour Shahrezaei , Farajollah Tahernezhad-Javazm

Ontologies are traditionally expressed in the Web Ontology Language (OWL), that provides a syntax for expressing taxonomies with axioms regulating class membership. The semantics of OWL, based on Description Logic (DL), allows for the use…

Information Theory · Computer Science 2023-09-07 Veronika Heimsbakk , Kristian Torkelsen

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

We study the enumeration of answers to ontology-mediated queries when the ontology is formulated in a description logic that supports functional roles and the query is a CQ. In particular, we show that enumeration is possible with linear…

Logic in Computer Science · Computer Science 2022-11-29 Carsten Lutz , Marcin Przybylko

Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens…

Artificial Intelligence · Computer Science 2023-10-23 Carsten Lutz , Lukas Schulze

Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if…

Artificial Intelligence · Computer Science 2016-02-19 Hai Wan , Heng Zhang , Peng Xiao , Haoran Huang , Yan Zhang

Building effective human-robot interaction requires robots to derive conclusions from their experiences that are both logically sound and communicated in ways aligned with human expectations. This paper presents a hybrid framework that…

Robotics · Computer Science 2026-02-17 Alberto Olivares-Alarcos , Muhammad Ahsan , Satrio Sanjaya , Hsien-I Lin , Guillem Alenyà

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…

Logic in Computer Science · Computer Science 2019-07-02 Vladislav Ryzhikov , Przemyslaw Andrzej Walega , Michael Zakharyaschev

Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the…

Software Engineering · Computer Science 2014-04-04 Rui Couto , António Nestor Ribeiro , José Creissac Campos

Extracting formal knowledge (ontologies) from natural language is a challenge that can benefit from a (semi-) formal linguistic representation of texts, at the semantic level. We propose to achieve such a representation by implementing the…

Artificial Intelligence · Computer Science 2022-01-14 David Rouquet , Valérie Bellynck , Christian Boitet , Vincent Berment

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…

In ontology-based data access (OBDA), ontologies have been successfully employed for querying possibly unstructured and incomplete data. In this paper, we advocate using ontologies not only to formulate queries and compute their answers,…

Logic in Computer Science · Computer Science 2018-08-09 Medina Andreşel , Yazmin Ibáñez-García , Magdalena Ortiz , Mantas Šimkus