730 Hits in 4.1 sec

Repairing Description Logic Ontologies by Weakening Axioms [article]

Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018 arXiv   pre-print
The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence α is to delete a minimal number of axioms from O such that the resulting ontology O'  ...  On the other hand, we propose and analyze concrete approaches for weakening axioms expressed in the Description Logic EL.  ...  Acknowledgments This work is partially supported by DFG within the Research Training Group 1907 (RoSI).  ... 
arXiv:1808.00248v1 fatcat:m2zq2wpwsjeixjwdhyzlfushd4

Repairing Socially Aggregated Ontologies Using Axiom Weakening [chapter]

Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza
2017 Lecture Notes in Computer Science  
We propose to solve the possible inconsistencies in the collective ontology by applying suitable weakenings of axioms that cause inconsistencies.  ...  Ontologies represent principled, formalised descriptions of agents' conceptualisations of a domain. For a community of agents, these descriptions may differ among agents.  ...  We consider possible conceptualisations of agents as represented by means of ontologies written in Description Logic (DL).  ... 
doi:10.1007/978-3-319-69131-2_26 fatcat:nl3uuvfp3na65hacj4qdymcddi

Reasoning in Description Logic Ontologies for Privacy Management

Adrian Nuradiansyah
2020 Künstliche Intelligenz  
This work is initially motivated by a privacy scenario in which the confidential information about persons or its properties formulated in description logic (DL) ontologies should be kept hidden.  ...  If it is the case that this information can be deduced from the ontologies, which implies certain privacy policies are not fulfilled, then one needs to consider methods to repair these ontologies in a  ...  This work was funded by German Research Foundation (DFG) within the Research Training Group 1907 "RoSI".  ... 
doi:10.1007/s13218-020-00681-8 fatcat:xhbbv2czubbuvoaqei4wrlbr6u

Debugging Classical Ontologies Using Defeasible Reasoning Tools [chapter]

Simone Coetzer, Katarina Britz
2021 Frontiers in Artificial Intelligence and Applications  
We provide a methodological and design foundation for weakening faulty axioms in a strategic way using defeasible reasoning tools.  ...  Rather, we use the definition of exceptionality of a concept, which is central to the semantics of defeasible description logics, and the associated algorithm to determine the extent of a concept's exceptionality  ...  Defeasible Description Logics The notion of defeasibility originates from non-monotonic logics.  ... 
doi:10.3233/faia210374 fatcat:f5gtpv7bnjgw7avryih7ydwutu

Two Approaches to Ontology Aggregation Based on Axiom Weakening

Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies.  ...  Second, we prevent the generation of inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology.  ...  by repairing the inconsistent aggregated ontologies by weakening the axioms.  ... 
doi:10.24963/ijcai.2018/268 dblp:conf/ijcai/PorelloTP0GK18 fatcat:gl3l6t4s3bf3fpqtt2qo3flsbq

Blending under deconstruction

Roberto Confalonieri, Oliver Kutz
2019 Annals of Mathematics and Artificial Intelligence  
axiom pinpointing.  ...  The cognitive-linguistic theory of conceptual blending was introduced by Fauconnier and Turner in the late 90s to provide a descriptive model and foundational approach for the (almost uniquely) human ability  ...  This work was supported by the Open Access Publishing Fund provided by the Free University of Bozen-Bolzano.  ... 
doi:10.1007/s10472-019-09654-6 fatcat:43s7pcygd5d3dit7huznp4p7mu

Repairing Ontologies via Axiom Weakening [article]

Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Penaloza, Daniele Porello, Oliver Kutz
2017 arXiv   pre-print
We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity.  ...  We propose a new method based on weakening these axioms to make them less restrictive, employing the use of refinement operators.  ...  Repairing Ontologies Our refinement operators can be used as components of a method for repairing inconsistent ontologies by weakening, instead of removing, problematic axioms.  ... 
arXiv:1711.03430v1 fatcat:wpbgfb3pinczvpsjjenf6qqfma

Laconic and Precise Justifications in OWL [chapter]

Matthew Horridge, Bijan Parsia, Ulrike Sattler
2008 Lecture Notes in Computer Science  
Precise justifications can be derived from laconic justifications and are characterised by the fact that they consist of flat, small axioms, which facilitate the generation of semantically minimal repairs  ...  Since justifications respect the syntactic form of axioms in an ontology, they are usually neither syntactically nor semantically minimal.  ...  a description logic, e.g.  ... 
doi:10.1007/978-3-540-88564-1_21 fatcat:gs6bgfekt5fizeqsvd5kem3f2e

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

Patrick Lambrix
2020 arXiv   pre-print
We do this by formalizing the repairing step as an abduction problem and situating the state of the art with respect to this framework.  ...  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.  ...  This work has been financially supported by the Swedish e-Science Research Centre (SeRC), the Swedish Research Council (Vetenskapsrådet, dnr 2018-04147) and the Horizon 2020 project SPIRIT (grant agreement  ... 
arXiv:1908.03171v2 fatcat:mztcxefbqndebd6cvj5wgz2de4

Repairing Unsatisfiable Concepts in OWL Ontologies [chapter]

Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca-Grau
2006 Lecture Notes in Computer Science  
In this paper, we investigate the problem of repairing unsatisfiable concepts in an OWL ontology in detail, keeping in mind the ontology author's (end-user) perspective as much as possible.  ...  use cases for each strategy), automatically generating repair plans that can be customized easily, and suggesting appropriate axiom edits where possible to the user.  ...  As semantic descriptions in OWL ontologies become more complicated, ontology debugging becomes an extremely hard task for users, especially for those with little or no experience in description-logic-based  ... 
doi:10.1007/11762256_15 fatcat:m7q3h2boqbg6zj64wlmfz3d4ke

Asymmetric Hybrids: Dialogues for Computational Concept Combination [chapter]

Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
2021 Frontiers in Artificial Intelligence and Applications  
Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of  ...  However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider "a tooth that is  ...  When the axioms proposed by the agents turn out to render the devised ontology inconsistent, the axiom weakening procedure is called to solve that inconsistency.  ... 
doi:10.3233/faia210373 fatcat:vfnl6rfrhfdzpgqp2wsaejxnsu

Axiom Pinpointing [article]

Rafael Peñaloza
2020 arXiv   pre-print
Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow.  ...  In this work, we present a general overview to axiom pinpointing, providing the basic notions, different approaches for solving it, and some variations and applications which have been considered in the  ...  Note that axiom pinpointing is a special step of this idea, where the only possible weakening an axiom is to replace it by a tautology.  ... 
arXiv:2003.08298v1 fatcat:znb734movje3xa4okyecy3wveq

Matching Formal and Informal Geospatial Ontologies [chapter]

Heshan Du, Natasha Alechina, Mike Jackson, Glen Hart
2013 Lecture Notes in Geoinformation and Cartography  
Disparate geospatial ontologies are matched by finding a consistent and coherent set of mapping axioms with respect to them.  ...  We propose a new semiautomatic method to match formal and informal real life geospatial ontologies, at both terminology level and instance level, ensuring that overall information is logically coherent  ...  Logical coherence and consistency is ensured by automatically generating sets of assumptions responsible for incoherence or inconsistency using description logic reasoner Pellet (Sirin et al. 2007) ,  ... 
doi:10.1007/978-3-319-00615-4_9 fatcat:uswj67zqzfhcfas5lhoswakthq

The Justificatory Structure of the NCBO BioPortal Ontologies [chapter]

Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler
2011 Lecture Notes in Computer Science  
Current ontology development tools offer debugging support by presenting justifications for entailments of OWL ontologies.  ...  We find that the majority of ontologies contain multiple justifications, while also exhibiting structural features (such as patterns) which can be exploited in order to reduce user effort in the ontology  ...  Therefore, we need to consider how many entailments would be removed from the ontology through the removal or weakening an axiom in the repair process.  ... 
doi:10.1007/978-3-642-25073-6_5 fatcat:qotu7nj66ne3np2umkljqeitpq

A Kernel Revision Operator for Terminologies — Algorithms and Evaluation [chapter]

Guilin Qi, Peter Haase, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, Johanna Völker
2008 Lecture Notes in Computer Science  
In this paper, we propose a general operator for revising terminologies in description logic-based ontologies.  ...  Revision of a description logic-based ontology deals with the problem of incorporating newly received information consistently.  ...  The rest of this paper is organized as follows: Section 2 provides a preliminary introduction to Description Logics and various notions in ontology debugging.  ... 
doi:10.1007/978-3-540-88564-1_27 fatcat:jmvnek3fx5eedppodz26udoxi4
« Previous Showing results 1 — 15 out of 730 results