English
Related papers

Related papers: Provenance for the Description Logic ELHr

200 papers

Ontology-based approaches for predicting gene-disease associations include the more classical semantic similarity methods and more recently knowledge graph embeddings. While semantic similarity is typically restricted to hierarchical…

Machine Learning · Computer Science 2021-06-01 Susana Nunes , Rita T. Sousa , Catia Pesquita

Measurement of the semantic relatedness or likeness between terms, words, or text data plays an important role in different applications dealing with textual data such as knowledge acquisition, recommender system, and natural language…

Information Retrieval · Computer Science 2022-05-26 Le Ngoc Luyen , Marie-Hélène Abel , Philippe Gouspillou

This paper addresses the challenge of improving information retrieval from semi-structured eXtensible Markup Language (XML) documents. Traditional information retrieval systems (IRS) often overlook user-specific needs and return identical…

Information Retrieval · Computer Science 2026-03-24 Ounnaci Iddir , Ahmed-ouamer Rachid , Tai Dinh

Modern information systems are changing the idea of "data processing" to the idea of "concept processing", meaning that instead of processing words, such systems process semantic concepts which carry meaning and share contexts with other…

Computation and Language · Computer Science 2018-11-09 Roger Granada , Renata Vieira , Cassia Trojahn , Nathalie Aussenac-Gilles

It is claimed that a variety of facts concerning ellipsis, event reference, and interclausal coherence can be explained by two features of the linguistic form in question: (1) whether the form leaves behind an empty constituent in the…

cmp-lg · Computer Science 2008-02-03 Andrew Kehler

Preference Inference involves inferring additional user preferences from elicited or observed preferences, based on assumptions regarding the form of the user's preference relation. In this paper we consider a situation in which…

Logic in Computer Science · Computer Science 2024-09-18 Nic Wilson , Anne-Marie George , Barry O'Sullivan

Current methods for embedding-based query answering over incomplete Knowledge Graphs (KGs) only focus on inductive reasoning, i.e., predicting answers by learning patterns from the data, and lack the complementary ability to do deductive…

Artificial Intelligence · Computer Science 2023-09-01 Medina Andresel , Trung-Kien Tran , Csaba Domokos , Pasquale Minervini , Daria Stepanova

We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in…

Artificial Intelligence · Computer Science 2018-09-28 Henrik Forssell , Christian Kindermann , Daniel P. Lupp , Uli Sattler , Evgenij Thorstensen

In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models…

Logic · Mathematics 2023-08-21 Michael Baur , Thomas Studer

The features of a logically sound approach to a theory of statistical reasoning are discussed. A particular approach that satisfies these criteria is reviewed. This is seen to involve selection of a model, model checking, elicitation of a…

Statistics Theory · Mathematics 2018-05-09 Luai Al-Labadi , Zeynep Baskurt , Michael Evans

Turkic languages exhibit extensive and diverse etymological relationships among lexical items. These relationships make the Turkic languages promising for exploring automated translation lexicon induction by leveraging cognate and other…

Computation and Language · Computer Science 2015-01-15 Benjamin S. Mericli , Michael Bloodgood

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

Explanation regularisation (ER) has been introduced as a way to guide text classifiers to form their predictions relying on input tokens that humans consider plausible. This is achieved by introducing an auxiliary explanation loss that…

Computation and Language · Computer Science 2025-02-06 Pedro Ferreira , Ivan Titov , Wilker Aziz

In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introduce the description logic $\mathcal{DL}\langle…

Logic in Computer Science · Computer Science 2015-05-11 Domenico Cantone , Cristiano Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

Explaining why a database query result is obtained is an essential task towards the goal of Explainable AI, especially nowadays where expressive database query languages such as Datalog play a critical role in the development of…

Databases · Computer Science 2023-03-23 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

In this paper, we describe an approach to populate an existing ontology with instance information present in the natural language text provided as input. An ontology is defined as an explicit conceptualization of a shared domain. This…

Information Retrieval · Computer Science 2013-02-07 Raghu Anantharangachar , Srinivasan Ramani , S Rajagopalan

We propose a rule-based technique to generate redundancy-free NL descriptions of OWL entities.The existing approaches which address the problem of verbalizing OWL ontologies generate NL text segments which are close to their counterpart OWL…

Artificial Intelligence · Computer Science 2016-11-01 Vinu E. , P Sreenivasa Kumar

Situation awareness is a crucial cognitive skill that enables individuals to perceive, comprehend, and project the current state of their environment accurately. It involves being conscious of relevant information, understanding its…

Information Retrieval · Computer Science 2023-07-26 Sumit Sharma , Sarika Jain

Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects in topological dynamics. We describe relations between recurrence in different sorts of systems, study ways to formulate…

Dynamical Systems · Mathematics 2014-08-13 Bernard Host , Bryna Kra , Alejandro Maass

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