Filters








4,697 Hits in 1.5 sec

Defeasible Description Logics [chapter]

Guido Governatori
2004 Lecture Notes in Computer Science  
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.  ...  in Description logic to a Defeasible Description logic.  ...  Finally some combinations of Defeasible logic and Description logic have been proposed.  ... 
doi:10.1007/978-3-540-30504-0_8 fatcat:a6q4hlxpczekdjuqijnbvr64re

$\mathcal{ALE}$ Defeasible Description Logic [chapter]

Pakornpong Pothipruk, Guido Governatori
2006 Lecture Notes in Computer Science  
In this paper, we extend ALC − Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic.  ...  He combines the description logic formalism with the defeasible logic formalism, creating a logic that can handle both monotonic and nonmonotonic information coherently.  ...  (D) defeasible description logic.  ... 
doi:10.1007/11941439_15 fatcat:6u5upuwt6bfslmbe3iqowtw5vm

Theoretical Foundations of Defeasible Description Logics [article]

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2019 arXiv   pre-print
We extend description logics (DLs) with non-monotonic reasoning features.  ...  We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional case.  ...  For more details on Description Logics in general and on ALC in particular, the reader is invited to consult the Description Logic Handbook [1] and the introductory textbook on Description Logic [4]  ... 
arXiv:1904.07559v1 fatcat:icpvjvw6izctjd7uhirgyifxji

Rational Closure for Defeasible Description Logics [chapter]

Giovanni Casini, Umberto Straccia
2010 Lecture Notes in Computer Science  
We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this  ...  the context of propositional logic.  ...  Relatively less investigated is the application of such reasoning models to Description Logics (DLs) [3] .  ... 
doi:10.1007/978-3-642-15675-5_9 fatcat:hgqs6zxorjcqvaoldfe4e5xgmq

Towards Defeasible Mappings for Tractable Description Logics [chapter]

Kunal Sengupta, Pascal Hitzler
2015 Lecture Notes in Computer Science  
We provide the formal semantics for the defeasible mappings and show that reasoning under such a setting is decidable even when the defeasible axioms apply to unknowns.  ...  Furthermore, we show that this semantics actually is strongly related to the idea of answer sets for logic programs.  ...  Conclusion In this paper we provide an extension for the description logic ER ⊥,O with the ability to have defeasible mappings between ontologies.  ... 
doi:10.1007/978-3-319-25007-6_14 fatcat:j6rmhqfifbbgbio46ld4vpyvja

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.  ...  description logics [27, 8, 12] .  ...  (¬C 2 ⊔ D 2 )), respectively. 3 The defeasible logic DL N Given a classical description logic language DL, let DL N be the extension of DL with a new concept name NC for each DL concept C.  ... 
arXiv:2009.04978v2 fatcat:ppf7mbzloba6xlnnf4k6dh6bmy

Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming

Sergio Alejandro Gómez, Carlos Iván Chesñevar, Guillermo Ricardo Simari
2007 Inteligencia Artificial  
Logics (DL).  ...  Assigning semantics to web resources is addressed by means of ontology definitions which are meant to be written in an ontology description language such as OWL-DL that is based on so-called Description  ...  Description Logics (DL) [1] .  ... 
doi:10.4114/ia.v11i35.896 fatcat:kukm3j3habaxjjkgaa67akovpy

A KLM Perspective on Defeasible Reasoning for Description Logics [chapter]

Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019 Lecture Notes in Computer Science  
In this paper we present an approach to defeasible reasoning for the description logic ALC.  ...  In addition to showing that the semantics is appropriate, these results pave the way for more eective decision procedures for defeasible reasoning in description logics.  ...  Background Description Logics (DLs) [1] are decidable fragments of rst-order logic with interesting properties and a variety of applications.  ... 
doi:10.1007/978-3-030-22102-7_7 fatcat:jqmd6rc2pbbk5lz2guo2lugete

Towards Practical Defeasible Reasoning for Description Logics

Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan Varzinczak
unpublished
The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies.  ...  Our focus in this paper is to devise a practical implementation for prior work that formalises a version of Rational Closure (an important type of defeasible reasoning) for DLs.  ...  LoDEN stands for Low complexity Description Logics with Non-monotonic features.  ... 
fatcat:bvaxab6qgvhrve6frucm77jue4

Nonmonotonic Rule Systems on Top of Ontology Layers [chapter]

Grigoris Antoniou
2002 Lecture Notes in Computer Science  
In this paper we outline how nonmonotonic rule systems in the form of defeasible reasoning, can be built on top of description logics.  ...  Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic.  ...  Implementation will involve interleaving of description logic reasoners and defeasible reasoners.  ... 
doi:10.1007/3-540-48005-6_30 fatcat:dtqboux5pbelvncymopemnennm

Knowledge Representation of Highly Dynamic Ontologies Using Defeasible Logic

2021 International Journal of Advanced Trends in Computer Science and Engineering  
The power of description logic can be accompanied by the defeasible logic to manage non-monotonic reasoning.  ...  Description logic gives us the ability of reasoning with acceptable computational complexity with retaining the power of expressiveness.  ...  In the below sections, we will list two types of logics that are built on first order logics, description and defeasible logics.  ... 
doi:10.30534/ijatcse/2021/661022021 fatcat:qxggim4dybf3joqawx2yyhthha

Semantic Foundation for Preferential Description Logics [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Lecture Notes in Computer Science  
In this paper we fill this gap by providing a natural and intuitive semantics for defeasible subsumption in the description logic ALC.  ...  Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence.  ...  An For more details on description logics in general, and the description logic ALC in particular, the reader is referred to the DL handbook [1] .  ... 
doi:10.1007/978-3-642-25832-9_50 fatcat:yqsn7tbff5aizh7zedinz5jlvu

Computer Hardware Components Ontology

Ahmad Kamel AL Hwaitat, Ameen Shaheen, Khalid Adhim, Enad N. Arkebat, Aezz Aldain AL Hwiatat
2018 Modern Applied Science  
Description logic anddefensible logic are used in this paper to achieve our goal.  ...  Conclusion In this paper we create the ontology of the computer hardware components and we formalizing a number of concepts by using description logic and defeasible logic.  ...  The Description Logic ALC A description logic theory consists of statements about concepts, individuals, and their relations.  ... 
doi:10.5539/mas.v12n3p35 fatcat:vkxc4vwwsbaclmo5laenfnhpci

Page 8383 of Mathematical Reviews Vol. , Issue 2000m [page]

2000 Mathematical Reviews  
Rules which can be defeated are called defeasible rules and logics using defeasible rules are called defeasible logics.  ...  “In this chapter on defeasible logics the following formalisms are discussed: basic defeasible logic, ordered logic, conditional entailment, Brewka’s system of preferred subtheories, Pearl’s sys- tem Z  ... 

DR-DEVICE: A Defeasible Logic System for the Semantic Web [chapter]

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE.  ...  The paper includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements  ...  Possible interactions between description logics and monotonic rule systems were studied in [26] .  ... 
doi:10.1007/978-3-540-30122-6_10 fatcat:7cdbrtiveneyhmjaawohlzxrny
« Previous Showing results 1 — 15 out of 4,697 results