English
Related papers

Related papers: A Framework for Parallelizing OWL Classification i…

200 papers

To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advantageous alternative to its classical semantics. We show that…

Programming Languages · Computer Science 2015-11-04 Sarah Alice Gaggl , Sebastian Rudolph , Lukas Schweizer

We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries. We admit membership queries ("is a given subsumption entailed by the target ontology?") and equivalence queries…

Machine Learning · Computer Science 2017-09-22 Boris Konev , Carsten Lutz , Ana Ozaki , Frank Wolter

The reasoning capabilities of large language models (LLMs) have significantly advanced their performance by enabling in-depth understanding of diverse tasks. With growing interest in applying LLMs to the time series domain, this has proven…

Artificial Intelligence · Computer Science 2025-06-03 Jiahui Zhou , Dan Li , Lin Li , Zhuomin Chen , Shunyu Wu , Haozheng Ye , Jian Lou , Costas J. Spanos

Future wireless networks are expected to incorporate diverse services that often lack general mathematical models. To address such black-box network management tasks, the large language model (LLM) optimizer framework, which leverages…

Information Theory · Computer Science 2025-07-04 Hoon Lee , Wentao Zhou , Merouane Debbah , Inkyu Lee

One of the main aims of the so-called Web of Data is to be able to handle heterogeneous resources where data can be expressed in either XML or RDF. The design of programming languages able to handle both XML and RDF data is a key target in…

Programming Languages · Computer Science 2015-01-12 Jesús M. Almendros-Jiménez

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

Rule-based reasoning over natural language input arises in domains where decisions must be auditable and justifiable: clinical protocols specify eligibility criteria in prose, evidence rules define admissibility through textual conditions,…

Artificial Intelligence · Computer Science 2026-01-06 Albert Sadowski , Jarosław A. Chudziak

This work is done as part of a master's thesis project. The goal is to integrate two or more ontologies (of the same or close domains) in a new consistent and coherent OWL ontology to insure semantic interoperability between them. To do…

Artificial Intelligence · Computer Science 2018-10-09 Inès Osman

Many platforms for benchmarking optimization algorithms offer users the possibility of sharing their experimental data with the purpose of promoting reproducible and reusable research. However, different platforms use different data models…

Neural and Evolutionary Computing · Computer Science 2021-04-27 Ana Kostovska , Diederick Vermetten , Carola Doerr , Sašo Džeroski , Panče Panov , Tome Eftimov

Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications are stated and an interpretation function that translates…

Logic in Computer Science · Computer Science 2023-10-06 Natalia Ślusarz , Ekaterina Komendantskaya , Matthew L. Daggitt , Robert Stewart , Kathrin Stark

Large ontologies still pose serious challenges to state-of-the-art ontology alignment systems. In the paper we present an approach that combines a lexical index, a neural embedding model and locality modules to effectively divide an input…

Artificial Intelligence · Computer Science 2018-06-01 Ernesto Jimenez-Ruiz , Asan Agibetov , Matthias Samwald , Valerie Cross

Ontology alignment, a critical process in the Semantic Web for detecting relationships between different ontologies, has traditionally focused on identifying so-called "simple" 1-to-1 relationships through class labels and properties…

Artificial Intelligence · Computer Science 2024-07-24 Reihaneh Amini , Sanaz Saki Norouzi , Pascal Hitzler , Reza Amini

In this work, we present a novel approach to ontology reasoning that is based on deep learning rather than logic-based formal reasoning. To this end, we introduce a new model for statistical relational learning that is built upon deep…

Artificial Intelligence · Computer Science 2017-05-31 Patrick Hohenecker , Thomas Lukasiewicz

Multiple logic-based reconstructions of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exist. They mainly cover various fragments of the languages and none are formalised such that the logic applies…

Artificial Intelligence · Computer Science 2019-09-20 Pablo Rubén Fillottrani , C. Maria Keet

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…

Logic in Computer Science · Computer Science 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

The SPARQL query language is currently being extended by the World Wide Web Consortium (W3C) with so-called entailment regimes. An entailment regime defines how queries are evaluated under more expressive semantics than SPARQLs standard…

Databases · Computer Science 2014-02-05 Ilianna Kollia , Birte Glimm

In the wake of the recent resurgence of the Datalog language of databases, together with its extensions for ontological reasoning settings, this work aims to bridge the gap between the theoretical studies of DatalogMTL (Datalog extended…

Databases · Computer Science 2025-06-11 Luigi Bellomarini , Livia Blasi , Markus Nissl , Emanuel Sallinger

Deep neural networks are powerful statistical learners. However, their predictions do not come with an explanation of their process. To analyze these models, explanation methods are being developed. We present a novel explanation method,…

Computation and Language · Computer Science 2021-01-29 David Harbecke

We tackle the task of enriching ontologies by automatically translating natural language sentences into Description Logic. Since Large Language Models (LLMs) are the best tools for translations, we fine-tuned a GPT-3 model to convert…

Artificial Intelligence · Computer Science 2023-08-01 Patricia Mateiu , Adrian Groza

Recently, there has been a growing interest in Multimodal Large Language Models (MLLMs) due to their remarkable potential in various tasks integrating different modalities, such as image and text, as well as applications such as image…

Computer Vision and Pattern Recognition · Computer Science 2024-09-30 Jihen Amara , Birgitta König-Ries , Sheeba Samuel