English
Related papers

Related papers: Towards Efficient Axiom Pinpointing of EL+ Ontolog…

200 papers

Relation extraction is essentially a text classification problem, which can be tackled by fine-tuning a pre-trained language model (LM). However, a key challenge arises from the fact that relation extraction cannot straightforwardly be…

Computation and Language · Computer Science 2024-10-03 Frank Mtumbuka , Steven Schockaert

Concept Induction refers to the problem of creating complex Description Logic class descriptions (i.e., TBox axioms) from instance examples (i.e., ABox data). In this paper we look particularly at the case where both a set of positive and a…

Artificial Intelligence · Computer Science 2018-12-11 Md Kamruzzaman Sarker , Pascal Hitzler

Large Language Models (LLMs) are increasingly being integrated into various components of Ontology Matching pipelines. This paper investigates the capability of LLMs to perform ontology matching directly on ontology modules and generate the…

Computation and Language · Computer Science 2025-12-01 Guilherme Sousa , Rinaldo Lima , Cassia Trojahn

Regardless of its foundational role in human discovery and sense-making, abductive reasoning--the inference of the most plausible explanation for an observation--has been relatively underexplored in Large Language Models (LLMs). Despite the…

Artificial Intelligence · Computer Science 2026-04-24 Moein Salimi , Shaygan Adim , Danial Parnian , Nima Alighardashi , Mahdi Jafari Siavoshani , Mohammad Hossein Rohban

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can…

Logic in Computer Science · Computer Science 2007-05-23 Ian Horrocks , Ulrike Sattler , Stephan Tobies

Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a…

Artificial Intelligence · Computer Science 2021-03-26 Ana Ozaki

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…

Databases · Computer Science 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

In the search for knowledge graph embeddings that could capture ontological knowledge, geometric models of existential rules have been recently introduced. It has been shown that convex geometric regions capture the so-called quasi-chained…

Logic in Computer Science · Computer Science 2021-08-30 Camille Bourgaux , Ana Ozaki , Jeff Z. Pan

The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby…

Artificial Intelligence · Computer Science 2023-06-01 Ying Li , Patrick Lambrix

The Entity Disambiguation and Linking (EDL) task matches entity mentions in text to a unique Knowledge Base (KB) identifier such as a Wikipedia or Freebase id. It plays a critical role in the construction of a high quality information…

Information Retrieval · Computer Science 2017-03-14 Preeti Bhargava , Nemanja Spasojevic , Guoning Hu

Large Language Models (LLMs) exploit fine-tuning as a technique to adapt to diverse goals, thanks to task-specific training data. Task specificity should go hand in hand with domain orientation, that is, the specialization of an LLM to…

Computation and Language · Computer Science 2023-09-20 Teodoro Baldazzi , Luigi Bellomarini , Stefano Ceri , Andrea Colombo , Andrea Gentili , Emanuel Sallinger

Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are…

Logic in Computer Science · Computer Science 2022-02-22 Jandson S. Ribeiro , Ricardo Guimarães , Ana Ozaki

The idea that many important classes of signals can be well-represented by linear combinations of a small set of atoms selected from a given dictionary has had dramatic impact on the theory and practice of signal processing. For practical…

Information Theory · Computer Science 2015-03-18 Quan Geng , Huan Wang , John Wright

This is an up-to-date introduction to and overview of the Minimum Description Length (MDL) Principle, a theory of inductive inference that can be applied to general problems in statistics, machine learning and pattern recognition. While MDL…

Methodology · Statistics 2019-12-19 Peter Grünwald , Teemu Roos

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

Ontologies are one of the richest sources of knowledge. Real-world ontologies often contain thousands of axioms and are often human-made. Hence, they may contain inconsistency and incomplete information which may impair classical reasoners…

Artificial Intelligence · Computer Science 2024-05-28 Tilman Hinnerichs , Zhenwei Tang , Xi Peng , Xiangliang Zhang , Robert Hoehndorf

We introduce Explanatory Learning (EL), a framework to let machines use existing knowledge buried in symbolic sequences -- e.g. explanations written in hieroglyphic -- by autonomously learning to interpret them. In EL, the burden of…

We present a novel method named Latent Semantic Imputation (LSI) to transfer external knowledge into semantic space for enhancing word embedding. The method integrates graph theory to extract the latent manifold structure of the entities in…

Machine Learning · Computer Science 2019-05-23 Shibo Yao , Dantong Yu , Keli Xiao

Statistical information is ubiquitous but drawing valid conclusions from it is prohibitively hard. We explain how knowledge graph embeddings can be used to approximate probabilistic inference efficiently using the example of Statistical EL…

Artificial Intelligence · Computer Science 2024-07-17 Yuqicheng Zhu , Nico Potyka , Bo Xiong , Trung-Kien Tran , Mojtaba Nayyeri , Evgeny Kharlamov , Steffen Staab

This paper proposes a connection method \`a la Bibel for an exception-tolerant family of description logics (DLs). As for the language, we assume the DL $\mathcal{ALCH}$ extended with two typicality operators: one on (complex) concepts and…

Logic in Computer Science · Computer Science 2023-06-23 Renan Fernandes , Fred Freitas , Ivan Varzinczak , Pedro PM Farias