English
Related papers

Related papers: Direct computation of diagnoses for ontology debug…

200 papers

Obtaining an implementation of a data warehouse is a complex task that forces designers to acquire wide knowledge of the domain, thus requiring a high level of expertise and becoming it a prone-to-fail task. Based on our experience, we have…

Databases · Computer Science 2011-06-03 Jesús Pardillo , Jose-Norberto Mazón

In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in the…

Formal Languages and Automata Theory · Computer Science 2010-04-19 Franck Cassez , Stavros Tripakis

We make another assault on the longstanding problem of debugging. After exploring why debuggers are not used as widely as one might expect, especially in functional programming environments, we define the characteristics of a debugger which…

Programming Languages · Computer Science 2019-05-17 John Whitington , Tom Ridge

Context: Specification mining techniques are typically used to extract the specification of a software in the absence of (up-to-date) specification documents. This is useful for program comprehension, testing, and anomaly detection.…

Software Engineering · Computer Science 2019-05-09 Mohammad Jafar Mashhadi , Taha R. Siddiqui , Hadi Hemmati , Howard Loewen

The different activities related to debugging such as program instrumentation, representation of execution trace and analysis of trace are not typically performed in an unified framework. We propose \textit{BOLD}, an Ontology-based Log…

Software Engineering · Computer Science 2020-04-24 Dileep Kumar P , Rupesh Nasre , Sreenivasa Kumar P

The aim is to identify faulty predicates which have strong effect on program failure. Statistical debugging techniques are amongst best methods for pinpointing defects within the program source code. However, they have some drawbacks. They…

Software Engineering · Computer Science 2016-12-20 Farid Feyzi , Esmaeel Nikravan , Saeed Parsa

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

This work proposes a taxonomy for diagnosis computation methods which allows their standardized assessment, classification and comparison. The aim is to (i) give researchers and practitioners an impression of the diverse landscape of…

Artificial Intelligence · Computer Science 2024-05-17 Patrick Rodler

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

Integrity constraints (ICs) provide a valuable tool for expressing and enforcing application semantics. However, formulating constraints manually requires domain expertise, is prone to human errors, and may be excessively time consuming,…

Databases · Computer Science 2016-08-24 Jaroslaw Szlichta , Parke Godfrey , Lukasz Golab , Mehdi Kargar , Divesh Srivastava

We propose an ontology enhanced model for sentence based claim detection. We fused ontology embeddings from a knowledge base with BERT sentence embeddings to perform claim detection for the ClaimBuster and the NewsClaims datasets. Our…

Computation and Language · Computer Science 2024-02-20 Zehra Melce Hüsünbeyi , Tatjana Scheffler

This paper argues that certain ontology design problems are profitably addressed by treating ontologies as theories and by defining a set of operations that create new ontologies, including their constraints, out of other ontologies. The…

Artificial Intelligence · Computer Science 2018-09-12 Marco A. Casanova , Rômulo Magalhães

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

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

Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical uses of a given set of rules, e.g., in ontology-based query…

Artificial Intelligence · Computer Science 2022-07-21 Larry González , Alex Ivliev , Markus Krötzsch , Stephan Mennicke

Poor data quality has become a pervasive issue due to the increasing complexity and size of modern datasets. Constraint based data cleaning techniques rely on integrity constraints as a benchmark to identify and correct errors. Data values…

Databases · Computer Science 2017-05-25 Sridevi Baskaran , Alexander Keller , Fei Chiang , Golab Lukasz , Jaroslaw Szlichta

As todays world grows with the technology on the other hand it seems to be small with the World Wide Web. With the use of Internet more and more information can be search from the web. When Users fires a query they want relevancy in…

Information Retrieval · Computer Science 2013-11-26 Debajyoti Mukhopadhyay , Sajeeda Shikalgar

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

This paper proposes a novel approach to semantic ontology alignment using contextual descriptors. A formalization was developed that enables the integration of essential and contextual descriptors to create a comprehensive knowledge model.…

Computation and Language · Computer Science 2024-12-02 Eduard Manziuk , Oleksander Barmak , Pavlo Radiuk , Vladislav Kuznetsov , Iurii Krak , Sergiy Yakovlev

Ontologies are an important tool for structuring domain knowledge, but their development is a complex task that requires significant modelling and domain expertise. Ontology learning, aimed at automating this process, has seen advancements…

Artificial Intelligence · Computer Science 2025-12-08 Roos M. Bakker , Daan L. Di Scala , Maaike H. T. de Boer , Stephan A. Raaijmakers
‹ Prev 1 3 4 5 6 7 10 Next ›