English
Related papers

Related papers: Repairing $\mathcal{EL}$ Ontologies Using Weakenin…

200 papers

Ontologies provide formal representation of knowledge shared within Semantic Web applications. Ontology learning involves the construction of ontologies from a given corpus. In the past years, ontology learning has traversed through shallow…

Information Retrieval · Computer Science 2024-06-18 Rick Du , Huilong An , Keyu Wang , Weidong Liu

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

Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative…

Logic in Computer Science · Computer Science 2019-03-14 Franz Baader , Stefan Borgwardt , Barbara Morawska

Real-world semantic or knowledge-based systems, e.g., in the biomedical domain, can become large and complex. Tool support for the localization and repair of faults within knowledge bases of such systems can therefore be essential for their…

Artificial Intelligence · Computer Science 2022-08-08 Patrick Rodler , Dietmar Jannach , Konstantin Schekotihin , Philipp Fleiss

Over the past two decades, the Web Ontology Language (OWL) has been instrumental in advancing the development of ontologies and knowledge graphs, providing a structured framework that enhances the semantic integration of data. However, the…

Logic in Computer Science · Computer Science 2024-12-13 Atalay Mert Ileri , Nalen Rangarajan , Jack Cannell , Hande McGinty

Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent years. Extracting modules of minimal size is, however,…

Artificial Intelligence · Computer Science 2014-11-21 Ana Armas Romero , Mark Kaminski , Bernardo Cuenca Grau , Ian Horrocks

Modern ontology debugging methods allow efficient identification and localization of faulty axioms defined by a user while developing an ontology. The ontology development process in this case is characterized by rather frequent and regular…

Artificial Intelligence · Computer Science 2012-09-06 Kostyantyn Shchekotykhin , Philipp Fleiss , Patrick Rodler , Gerhard Friedrich

OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are often incomplete, and maintaining and constructing them has…

Artificial Intelligence · Computer Science 2024-03-26 Mathias Jackermeier , Jiaoyan Chen , Ian Horrocks

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

Academic libraries struggle to find and access faculty expertise across disciplines. This research proposes a faculty expertise ontology with a hierarchical structure based on Prot\'eg\'e to enhance library services and knowledge…

Digital Libraries · Computer Science 2026-01-13 Snehasish Paul

Modeling an ontology is a hard and time-consuming task. Although methodologies are useful for ontologists to create good ontologies, they do not help with the task of evaluating the quality of the ontology to be reused. For these reasons,…

Artificial Intelligence · Computer Science 2017-09-05 Judson Bandeira , Ig Ibert Bittencourt , Patricia Espinheira , Seiji Isotani

The Semantic Web standardizes concept meaning for humans and machines, enabling machine-operable content and consistent interpretation that improves advanced analytics. Reusing ontologies speeds development and enforces consistency, yet…

Artificial Intelligence · Computer Science 2026-04-15 Aryan Singh Dalal , Maria Baloch , Asiyah Yu Lin , Anna Maria Masci , Kathleen M. Jagodnik , Hande Kucuk McGinty

Ontology matching is the process of automatically determining the semantic equivalences between the concepts of two ontologies. Most ontology matching algorithms are based on two types of strategies: terminology-based strategies, which…

Artificial Intelligence · Computer Science 2015-07-14 Shangpu Jiang , Daniel Lowd , Dejing Dou

Inconsistency handling is an important issue in knowledge management. Especially in ontology engineering, logical inconsistencies may occur during ontology construction. A natural way to reason with an inconsistent ontology is to utilize…

Artificial Intelligence · Computer Science 2026-03-10 Keyu Wang , Site Li , Jiaye Li , Guilin Qi , Qiu Ji

The rapidly increasing number of scientific documents available publicly on the Internet creates the challenge of efficiently organizing and indexing these documents. Due to the time consuming and tedious nature of manual classification and…

Digital Libraries · Computer Science 2016-03-22 Lisa Posch

We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistemic membership and example queries and show that polynomial…

Artificial Intelligence · Computer Science 2019-02-12 Ana Ozaki , Nicolas Troquard

With adversarial or otherwise normal prompts, existing large language models (LLM) can be pushed to generate toxic discourses. One way to reduce the risk of LLMs generating undesired discourses is to alter the training of the LLM. This can…

Computation and Language · Computer Science 2023-02-28 Meng Cao , Mehdi Fatemi , Jackie Chi Kit Cheung , Samira Shabanian

Ontology matching is a core task when creating interoperable and linked open datasets. In this paper, we explore a novel structure-based mapping approach which is based on knowledge graph embeddings: The ontologies to be matched are…

Artificial Intelligence · Computer Science 2022-04-11 Jan Portisch , Guilherme Costa , Karolin Stefani , Katharina Kreplin , Michael Hladik , Heiko Paulheim

Capability ontologies are increasingly used to model functionalities of systems or machines. The creation of such ontological models with all properties and constraints of capabilities is very complex and can only be done by ontology…

Artificial Intelligence · Computer Science 2024-10-21 Luis Miguel Vieira da Silva , Aljosha Köcher , Felix Gehlhoff , Alexander Fay

Ontology evaluation through functional requirements, such as testing via competency question (CQ) verification, is a well-established yet costly, labour-intensive, and error-prone endeavour, even for ontology engineering experts. In this…