22 Hits in 0.73 sec

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures [article]

Loris Bozzato, Thomas Eiter, Rafael Kiesel
2021 arXiv   pre-print
The CKR framework caters for reasoning with defeasible axioms and exceptions in contexts, which was extended to knowledge inheritance across contexts in a coverage (specificity) hierarchy.  ...  In this paper, we overcome these limitations and present a generalization of CKR hierarchies to multiple contextual relations, along with their interpretation of defeasible axioms and preference.  ...  This work was partially supported by the European Commission funded project "Humane AI: Toward AI Systems That Augment and Empower Humans by Understanding Us, our Society and the World Around Us" (grant  ... 
arXiv:2108.03100v1 fatcat:6k3u3ka7mzagffgk7vlkc65ep4

Reasoning on DL-Lite_ R with Defeasibility in ASP [article]

Loris Bozzato, Thomas Eiter, Luciano Serafini
2021 arXiv   pre-print
We provide a definition for DL-Lite_ R knowledge bases with defeasible axioms and study their semantic and computational properties.  ...  The resulting materialization method gives rise to a complete reasoning procedure for instance checking in DL-Lite_ R with defeasible axioms.  ...  Towards a contradiction, suppose I 1 |= α but I |= α, and consider α = R(t,t ).  ... 
arXiv:2106.14801v2 fatcat:2yg34bjl3bhgpbp4fptx5amwra

Defeasible reasoning in Description Logics: an overview on DL^N [article]

Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2020 arXiv   pre-print
DL^N is a recent approach that extends description logics with defeasible reasoning capabilities.  ...  Similarly, Theorem 1 tells us that SROIQ N reasoning is in P N2ExpTime for suitable priority relations.  ...  Defeasible inclusions are prioritized by a strict partial order ≺ over D.  ... 
arXiv:2009.04978v2 fatcat:ppf7mbzloba6xlnnf4k6dh6bmy

Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms

Hafiz Mahfooz Ul Haque, Sajid Ullah, Ibrar Hussain
2019 International Journal of Advanced Computer Science and Applications  
DLs have different sub-languages, among others, we consider DL-SROIQ due to its expressive formalism and its inferencing is decidable [26] , [27] .  ...  Since the last decade, smart computing has a remarkable upsurge and is continuously progressing towards the development of smarter, faster and tiny devices.  ... 
doi:10.14569/ijacsa.2019.0101285 fatcat:qfjemwjrg5deflvc7jvghr3vca

Extending SROIQ with Constraint Networks and Grounded Circumscription [article]

Arjun Bhardwaj
2015 arXiv   pre-print
In this paper, we extend the expressive DL SROIQ with constraint networks (resulting in the logic SROIQc) and grounded circumscription (resulting in the logic GC-SROIQ).  ...  Applications of constraint modelling include embedding ontologies with temporal or spatial information, while those of grounded circumscription include defeasible inference and closed world reasoning.  ...  Recent years have seen a trend towards formalizing and capturing knowledge from diverse domains in the form of ontologies.  ... 
arXiv:1508.00116v1 fatcat:puxkudcxvjectit4yh5gsekpyi

Introducing Defeasibility into OWL Ontologies [chapter]

Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2015 Lecture Notes in Computer Science  
In the past, defeasible reasoning implementations have favoured automated generation of defeasible ontologies.  ...  for evaluating our reasoner DIP (Defeasible-Inference Platform).  ...  The DL expressivity distribution of the data ranges from variants of ALC all the way up to SROIQ. There are 35 DL variants in total represented in the data.  ... 
doi:10.1007/978-3-319-25010-6_27 fatcat:5ts7zrktnjcffmcivuwylrohrm

On Integrating Description Logics and Rules under Minimal Hypotheses [chapter]

Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
2012 Lecture Notes in Computer Science  
A SROIQ-knowledge base is a tuple (T , R, A) where T is a SROIQ-TBox, R is a regular SROIQ-role hierarchy 5 and A is a SROIQ-ABox each being a finite set of corresponding axioms as presented in Table  ...  Description Logic SROIQ The DL SROIQ is one of the most expressive DLs which provide the logical foundation of OWL 2 [17] .  ...  Again by fixing SROIQ as the ontology language we get the following results: Theorem 11. Complexity of the entailment problem with SROIQ DL.  ... 
doi:10.1007/978-3-642-33203-6_24 fatcat:3t5slp6omjgu3og4hu2eqnrzpm

An OWL ontology library representing judicial interpretations

Marcello Ceci, Aldo Gangemi, Pompeu Casanovas, Monica Palmirani, Silvio Peroni, Tom van Engers, Fabio Vitali, Pompeu Casanovas, Monica Palmirani, Silvio Peroni, Tom van Engers, Fabio Vitali
2016 Semantic Web Journal  
legal knowledge that relies on the metadata contained in judicial documents, and JudO, a judicial ontology library that represents the interpretations performed by a judge when conducting legal reasoning towards  ...  JudO also constitutes the basis for the application of argumentation patterns through reasoning on a set of rules, which represent the grounding of judicial interpretations in deontic and defeasible logics  ...  A bridge towards judicial argumentation The argumentation system described in [14, 15] allows combining the features of the DL-based ontology with non-monotonic logics such as Defeasible Logics.  ... 
doi:10.3233/sw-140146 fatcat:2fiq56xmxrfotjpua6eltnngfi

Resolving conflicts in knowledge for ambient intelligence

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Šefránek, Alexander Šimko, Jozef Frtús, Dimitra Zografistou, Martin Baláž
2015 Knowledge engineering review (Print)  
In the follow-up work, Ma and Hitzler (2009) extended this approach towards the SROIQ DL (Horrocks et al., 2006) , reaching the full expressiveness of OWL 2.  ...  Much of current research is working towards this end.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

Epistemic Reasoning in OWL 2 DL

Anees Ul Mehdi
We extend the description logic SROIQ (OWL 2 DL) with the epistemic operator K and argue that unintended effects occur when imposing the semantics traditionally employed.  ...  For the epistemic extension of SROIQ and alike expressive DLs, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive  ...  Chapter 4 Towards Defeasible Reasoning in OWL In this chapter we provide an overview of different approaches to nonmonotonic reasoning in OWL.  ... 
doi:10.5445/ir/1000039963 fatcat:rvbiuqn4crgkdc7nxrr2pwxjke

Ontologies and Data Management: A Brief Survey

Thomas Schneider, Mantas Šimkus
2020 Künstliche Intelligenz  
More expressive DLs like SROIQ [208] are not tractable.  ...  Bozzato L, Eiter T, Serafini L (2019) Reasoning on DL-Lite R with defeasibility in ASP.  ... 
doi:10.1007/s13218-020-00686-3 pmid:32999532 pmcid:PMC7497697 fatcat:zeskjfjrpvcojjh6q3yjzhlyci

Axiom Pinpointing [article]

Rafael Peñaloza
2020 arXiv   pre-print
Identifying the potentially faulty axioms is the first step towards correcting the error.  ...  Our hope is that this general presentation helps as a first step towards a unified view of the problem of finding the axiomatic causes for consequences in different languages, and ultimately leads towards  ... 
arXiv:2003.08298v1 fatcat:znb734movje3xa4okyecy3wveq

Towards Contingent World Descriptions in Description Logics

Farshad Badie
2019 Logic and Logical Philosophy  
Note that there are numerous works on DLs with rules and other normative notions (e.g., RuleML & Fuzzy RuleML [62] and SWRL [64] ), as well on defeasible and non-monotonic DLs.  ...  Undoubtedly, fuzzy-based approaches have, both formally and mathematically, supported the analysis of possibility and necessity measures [e.g. 22, 29] . 4 The SROIQ is the underlying description logic  ... 
doi:10.12775/llp.2019.016 fatcat:myucmqbu4nbxtpbfzj33dcwrae

A legal case OWL ontology with an instantiation of Popov v. Hayashi

Adam Wyner, Rinke Hoekstra
2012 Artificial Intelligence and Law  
To determine whether a given factor holds in a case biases the case decision towards one side or the other of the case.  ...  Argument Scheme Argument schemes are prototypical, defeasible reasoning patterns (Walton (2002) ).  ... 
doi:10.1007/s10506-012-9119-6 fatcat:mf4o6h3gwzb4loq4mxtlynsin4

Preferential description logics: reasoning in the presence of inconsistencies

Graham Deane, Krysia Broda, Alessandra Russo, Engineering And Physical Sciences Research Council
A p-ALC knowledge base is comprised of defeasible and non-defeasible axioms.  ...  The defeasible ABox and TBox are labelled with weights that reflect a relative measure of confidence in each axiom and provide a mechanism to "arbitrate" between inconsistencies.  ...  Source Target language Evaluated language Candidate Knowledge Base [KPK06] SROIQ DL-Lite core None [QJPD11] ALC ALC MiniTambis and Proton 100 [CMMV13b] ALC ALC Synthetic [MMH13] SROIQ SROIQ  ... 
doi:10.25560/40430 fatcat:e75lckhh7jfcddk7vejwl5uleu
« Previous Showing results 1 — 15 out of 22 results