1,027 Hits in 8.8 sec

Repairing missing is-a structure in ontologies is an abductive reasoning problem

Patrick Lambrix, Fang Wei-Kleiner, Zlatan Dragisic, Valentina Ivanova
Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e., the missing relations in the is-a hierarchy.  ...  We show that this can be formalized as an abduction problem.  ...  Conclusion In this paper we formalized repairing missing is-a structure in ontologies as an abduction problem.  ... 

Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms

Fang Wei-Kleiner, Zlatan Dragisic, Patrick Lambrix
In this paper we consider the problem of repairing missing is-a relations in ontologies. We formalize the problem as a generalized TBox abduction problem (GTAP).  ...  Based on this abduction framework, we present complexity results for the existence, relevance and necessity decision problems for the GTAP with and without some specific preference relations for ontologies  ...  Acknowledgements We thank the Swedish Research Council (Vetenskapsrådet), the Swedish e-Science Research Centre (SeRC) and the Swedish National Graduate School in Computer Science (CUGS) for financial  ... 
doi:10.1609/aaai.v28i1.8858 fatcat:e6d4skwyp5ejzl5ubzigulgekm

Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version) [article]

Patrick Lambrix, Zlatan Dragisic, Valentina Ivanova
2012 arXiv   pre-print
Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e. the missing relations in the is-a hierarchy.  ...  With the increased use of ontologies in semantically-enabled applications, the issue of debugging defects in ontologies has become increasingly important.  ...  First, we show that the problem of finding possible ways to repair the missing is-a structure in an ontology in general can be formalized as a generalized version of the TBox abduction problem (Section  ... 
arXiv:1210.7154v1 fatcat:nkwglfyibffrrlsxmg3zferaue

Completing the is-a structure in light-weight ontologies

Patrick Lambrix, Fang Wei-Kleiner, Zlatan Dragisic
2015 Journal of Biomedical Semantics  
Results: We consider the problem of repairing missing is-a relations in ontologies. We formalize the problem as a generalized TBox abduction problem.  ...  In an experiment with BioTop without given missing is-a relations, we detected and repaired 40 new missing is-a relations. these ontologies thus providing means for annotating and sharing biomedical data  ...  This paper is a revised and extended version of a paper presented at DILS 2014, 10th International Conference on Data Integration in the Life Sciences.  ... 
doi:10.1186/s13326-015-0002-8 pmid:25883780 pmcid:PMC4399482 fatcat:yulvav4n6jhuvcryadiw3bhune

Debugging the missing is-a structure within taxonomies networked by partial reference alignments

Patrick Lambrix, Qiang Liu
2013 Data & Knowledge Engineering  
In particular, we debug the missing structural relations (is-a hierarchy) in a fundamental kind of ontologies, i.e. taxonomies.  ...  We use the ontology network as domain knowledge to detect the missing is-a relations in these ontologies.  ...  Availability The system described in this paper is available for download at∼patla/research/RepOSE/.  ... 
doi:10.1016/j.datak.2013.03.003 fatcat:2myjt43imncmbhf45wlsi42uxe

Completing and Debugging Ontologies: state of the art and challenges [article]

Patrick Lambrix
2020 arXiv   pre-print
A key step is ontology debugging and completion. In general, there are two steps: detecting defects and repairing defects. In this paper we discuss the state of the art regarding the repairing step.  ...  We do this by formalizing the repairing step as an abduction problem and situating the state of the art with respect to this framework.  ...  We define this problem as an abductive reasoning problem, and as a repairing problem can have many solutions, we discuss preference relations between these.  ... 
arXiv:1908.03171v2 fatcat:mztcxefbqndebd6cvj5wgz2de4

A Unified Approach for Aligning Taxonomies and Debugging Taxonomies and Their Alignments [chapter]

Valentina Ivanova, Patrick Lambrix
2013 Lecture Notes in Computer Science  
Our framework supports the detection and repairing of missing and wrong is-a structure in taxonomies, as well as the detection and repairing of missing (alignment) and wrong mappings between ontologies  ...  In this paper we present a unified framework for aligning taxonomies, the most used kind of ontologies, and debugging taxonomies and their alignments, where ontology alignment is treated as a special kind  ...  It was shown in [16] that repairing missing is-a relations (and mappings) can be seen as a generalized TBox abduction problem.  ... 
doi:10.1007/978-3-642-38288-8_1 fatcat:s4aae7qt3jbrtgvhpb36xoudvq

A unified approach for debugging is-a structure and mappings in networked taxonomies

Patrick Lambrix, Valentina Ivanova
2013 Journal of Biomedical Semantics  
We present theory and algorithms as well as an implemented system RepOSE, that supports a domain expert in detecting and repairing missing and wrong is-a relations and mappings.  ...  Results: We propose a unified framework for debugging the is-a structure of and mappings between taxonomies, the most used kind of ontologies.  ...  We thank Qiang Liu for the implementation work on an earlier version of the RepOSE system.  ... 
doi:10.1186/2041-1480-4-10 pmid:23548155 pmcid:PMC3851282 fatcat:7xq4zn5sozhalkrclmrufn27cu

Signature-Based Abduction for Expressive Description Logics

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge.  ...  The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.  ...  Warren Del-Pinto is a recipient of a RCUK Scholarship.  ... 
doi:10.24963/kr.2020/59 dblp:conf/kr/KoopmannDTS20 fatcat:bbl7fcdkmvee5dhucdamy3lyxy

Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)

Carsten Fuhs, Philipp Rümmer, Renate Schmidt, Cesare Tinelli, Michael Wagner
2020 Dagstuhl Reports  
., to count the number of models of a formula, compute the set of all consequences of an ontology, identify missing information in a knowledge base, transform and mine proofs, or analyze probabilistic  ...  This is proving to be a key enabler in a variety of areas such as formal methods (for software/hardware development) and knowledge representation and reasoning.  ...  Reasoning and Inductive Learning in Ontologies Warren We present an approach to performing abductive reasoning in large description logic (DL) ontologies.  ... 
doi:10.4230/dagrep.9.9.23 dblp:journals/dagstuhl-reports/FuhsRST19 fatcat:j6moci5zgvgjzgpsqblemwsrlm

Connection-minimal Abduction in EL via Translation to FOL – Technical Report [article]

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022 arXiv   pre-print
Abduction in description logics finds extensions of a knowledge base to make it entail an observation.  ...  We consider TBox abduction in the lightweight description logic EL, where the observation is a concept inclusion and the background knowledge is a TBox, i.e., a set of concept inclusions.  ...  In abduction a non-entailment T |= α, for a TBox T and an observation α, is explained by providing a "missing piece", the hypothesis, that, when added to the ontology, would entail α.  ... 
arXiv:2205.08449v2 fatcat:3wssdt57erbjjhk3bdpqrrueou

Reasoning about Explanations for Negative Query Answers in DL-Lite

D. Calvanese, M. Ortiz, M. Simkus, G. Stefanoni
2013 The Journal of Artificial Intelligence Research  
Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing.  ...  We address the latter problem for instance and conjunctive query answering over DL-Lite ontologies by adopting abductive reasoning; that is, we look for additions to the ABox that force a given tuple to  ...  In this paper, we study the complexity of the above reasoning problems for query abduction.  ... 
doi:10.1613/jair.3870 fatcat:jq2kjkbytvesplbuw6yhl4ol4e

A Semantic-enhanced Augmented Reality Tool for OpenStreetMap POI Discovery

Michele Ruta, Floriano Scioscia, Danilo De Filippis, Saverio Ieva, Mario Binetti, Eugenio Di Sciascio
2014 Transportation Research Procedia  
Building upon a general framework for the semantic annotation of nodes in the crowd-sourced OpenStreetMap (OSM) cartography, a novel discovery tool in AR is proposed for mobile devices.  ...  The Augmented Reality (AR) is often said to have the potential for a revolution in the way we discover Points Of Interest (POIs) and experience our cities.  ...  On the other hand, if R and S are compatible, but S does not fully satisfy R, Abduction identifies what is missing in S in order to reach a full match.  ... 
doi:10.1016/j.trpro.2014.10.029 fatcat:h3s53e6v7zbbjoliccmn233sda

Universal vs. particular reasoning: a study with neuroimaging techniques

V. M. Abrusci, C. Casadio, M. T. Medaglia, C. Porcaro
2013 Logic Journal of the IGPL  
In the second part of the paper, an experimental research is presented applying the positive vs. negative alternation of operators to a contradictory reasoning task involving high-density electroencephalography  ...  In this paper we explore the question of introducing interaction inside cognition as a general framework on the basis of which to develop an explanation of human reasoning allowing applications in the  ...  This is a point in the abductive part of moral reasoning and its role in the flexible situation specific activation of cognitive structures.  ... 
doi:10.1093/jigpal/jzt008 fatcat:in3heigktvba3p6rt33jnbplgq

Active Integrity Constraints for Multi-context Systems [chapter]

Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016 Lecture Notes in Computer Science  
We apply our methodology to ontologies, and show that it can express most relevant types of integrity constraints in this domain.  ...  In the more general setting of multi-context systems, adding repair suggestions to integrity constraints allows defining simple iterative algorithms to find all possible grounded repairs - repairs for  ...  Although validity of AICs is in general undecidable, we showed that we can cover the most common types of ICs in our framework.  ... 
doi:10.1007/978-3-319-49004-5_7 fatcat:fvvgtptjvrfmlgie2kedw2u4yu
« Previous Showing results 1 — 15 out of 1,027 results