1,591 Hits in 1.5 sec

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.  ...  In this paper we concentrate on the second approach, and we will study defeasible reasoning [14] running on top of description logics.  ... 
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.  ...  ACKNOWLEDGEMENT The author owes thanks and appreciations to Scientific Research Deanship at Isra University for facilitating procedures of conducting this research and the financial support to the underlying  ... 
doi:10.30534/ijatcse/2021/661022021 fatcat:qxggim4dybf3joqawx2yyhthha

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  
This paper presents the semantic knowledge transformation techniques for ontology-driven context-aware formalisms to model heterogeneous systems.  ...  We propose theoretical as well as practical approaches to transform semantic knowledge into firstorder Horn-clause rules format which can be used by contextaware multi-agent systems to achieve their desired  ...  Defeasible logic has been considered as one of the most promising approaches in non-monotonic reasoning.  ... 
doi:10.14569/ijacsa.2019.0101285 fatcat:qfjemwjrg5deflvc7jvghr3vca

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

2000 Mathematical Reviews  
Jean-Yves Béziau (1-STF-LG; Stanford, CA) 2000m:03076 03B60 03B70 68T27 Delgrande, James P. (3-SFR; Burnaby, BC) Conditional logics for defeasible reasoning.  ...  From the introduction: “We concentrate on the defeasible ap- proach to nonmonotonic reasoning, as opposed to the minimalist approach and the fixpoint approach.  ... 

On the Logical Foundation of a Personalized Medical Prescription System

Sherin Hijazi, Nadim Obeid, Khair Eddin Sabri
2019 IEEE Access  
The ontology was initially built for the proposed system and employs the description logic system, ALC, for knowledge representation.  ...  This is accomplished by expanding the capabilities of description logic with defeasible rules, to achieve an accurate prescription decision for any patient's condition(s).  ...  Hijazi, an anesthesia consultant, for their supports to accomplish this work.  ... 
doi:10.1109/access.2019.2963304 fatcat:wxmbcr4o3jabtjt7mj6y23cvne

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.  ...  A computer system consists of Hardware components that integrate with each other .The purpose of this paper is to create the hardware components of a computer system by formalizing a number of concepts  ...  Defeasible reasoning is one particular model for implementing non-monotonic reasoning. It is concerned with representing and reasoning with defeasible (nonstrict) facts about a domain.  ... 
doi:10.5539/mas.v12n3p35 fatcat:vkxc4vwwsbaclmo5laenfnhpci

A System for Nonmonotonic Rules on the Web [chapter]

G. Antoniou, A. Bikakis, G. Wagner
2004 Lecture Notes in Computer Science  
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information.  ...  This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web.  ...  A skeptical approach, as adopted by defeasible reasoning, is sensible because does not allow for contradictory conclusions to be drawn.  ... 
doi:10.1007/978-3-540-30504-0_3 fatcat:k3x624xzurh2fe2mzmc54ft73y

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  
We propose a method for dealing with inconsistent ontology definitions in the Semantic Web. Our proposal involves mapping DL ontologies into DeLP programs.  ...  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  ...  The authors would also like to thank the anonymous reviewers for helpful comments to improve the final version of this paper.  ... 
doi:10.4114/ia.v11i35.896 fatcat:kukm3j3habaxjjkgaa67akovpy

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.  ...  A similar approach is adopted in [13] for the integration of Description Logic knowledge bases and Logic Programs.  ...  Defeasible logic reasoning however is not as strong or conclusive as the reasoning in Description logic and for this reason Defeasible logic has not been considered appropriate for the reasoning on the  ... 
doi:10.1007/978-3-540-30504-0_8 fatcat:a6q4hlxpczekdjuqijnbvr64re

DR-BROKERING: A semantic brokering system

Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades
2007 Knowledge-Based Systems  
Section 3 describes our solution to the brokering problem, including a rationale for the chosen technologies. Section 4 illustrates the approach using a concrete example.  ...  The proposed solution uses the Semantic Web standard of RDF to represent the offerings, and a deductive logical language for expressing the requirements and preferences.  ...  Basics of Defeasible Logics Defeasible reasoning is a simple rule-based approach to reasoning with incomplete and inconsistent information. It can represent facts, rules, and priorities among rules.  ... 
doi:10.1016/j.knosys.2006.07.006 fatcat:rx73h522pfe4zmfpvcx75xrlji

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

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information.  ...  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  ...  A skeptical approach, as adopted by defeasible reasoning, is sensible because it does not allow for contradictory conclusions to be drawn.  ... 
doi:10.1007/978-3-540-30122-6_10 fatcat:7cdbrtiveneyhmjaawohlzxrny

Introducing Defeasibility into OWL Ontologies [chapter]

Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2015 Lecture Notes in Computer Science  
In this work, we describe a systematic approach to modify real-world OWL ontologies to include defeasible features, and we apply this to the Manchester OWL Repository to generate defeasible ontologies  ...  A major barrier is the lack of naturally occurring ontologies with defeasible features -the ideal candidates for evaluation.  ...  The theoretical foundation of our work is a Description Logic (DL) [1] adaptation of the preferential reasoning approach by Lehmann et al. [16] .  ... 
doi:10.1007/978-3-319-25010-6_27 fatcat:5ts7zrktnjcffmcivuwylrohrm

Reasoning on the Web with Assumption-Based Argumentation [chapter]

Francesca Toni
2012 Lecture Notes in Computer Science  
Many thanks also to David Pearce for useful discussions on integrating description logic within argumentation.  ...  Finally, we are grateful to Xiuyi Fan for proof-reading this paper and to an anonymous reviewer for helpful suggestions on how to improve its readability.  ...  Williams and Hunter [44] combine ontological reasoning using any description logic with argumentation-based reasoning using DeLP [16] .  ... 
doi:10.1007/978-3-642-33158-9_10 fatcat:6agnyfohczatrooosy6das7day

Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach [chapter]

Patryk Burek, Rafał Graboś
2005 Lecture Notes in Computer Science  
Hence the answer set solver Smodels may be used as reasoner for annotated ontologies, handling properly the distinction between monotonic and nonmonotonic reasoning.  ...  We develop a metaontology for representing both types of a concept's structure and apply it for annotating OWL axioms.  ...  We are indebted to Hesham Khalil, Sören Auer, Frank Loebe and Sebastian Dietzold for fruitful discussions and to the anonymous reviewers for feedback on earlier versions of this paper.  ... 
doi:10.1007/11431053_26 fatcat:tnntmzjcmbepnl6nva7zh3hwn4

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
The ontology layer of the semantic web is now mature enough (i.e. standards like RDF, RDFs, OWL, OWL 2) and the next step is to work on a logic layer for the development of advanced reasoning capabilities  ...  defeasible argumentative reasoning in the semantic web applications.  ...  Web Ontology Language (OWL), based on Description Logic, is a W3C proposed standard for representing knowledge on the semantic web and it provides constructs for cardinality restrictions, Boolean expressions  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm
« Previous Showing results 1 — 15 out of 1,591 results