Arbitrary Ranking of Defeasible Subsumption

Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid

Reference : Arbitrary Ranking of Defeasible Subsumption


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/39647

Title :	Arbitrary Ranking of Defeasible Subsumption
Language :	English
Author, co-author :	Casini, Giovanni [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Harrison, Michael [University of Cape Town > Computer Science]
	Meyer, Thomas [University of Cape Town > Computer Science]
	Swan, Reid [University of Cape Town > Computer Science]
Publication date :	2019
Main document title :	Proceedings of the 32nd International Workshop on Description Logics
Publisher :	CEUR
Collection and collection volume :	CEUR Workshop Proceedings, Vol. 2373
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	32nd International Workshop on Description Logics (DL 2019)
Event date :	18-21 June 2019
Event place (city) :	Oslo
Event country :	Norway
Keywords :	[en] Description logics ; Defeasible Reasoning
Abstract :	[en] In this paper we propose an algorithm that generalises existing procedures for the implementation of defeasible reasoning in the framework of Description Logics (DLs). One of the well-known approaches to defeasible reasoning, the so-called KLM approach, is based on constructing specific rankings of defeasible information, and using these rankings to determine priorities in case of conflicting information. Here we propose a procedure that allows us to input any possible ranking of the defeasible concept inclusions contained in the knowledge base. We analyse and investigate the forms of defeasible reasoning obtained when conclusions drawn are obtained using these rankings.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/39647
Other URL :	http://ceur-ws.org/Vol-2373/
Framework Programme / European Project :	H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	paper-9.pdf		Publisher postprint	547.46 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices