dc.contributor.author | Binnewies, S | |
dc.contributor.author | Wang, Y | |
dc.contributor.author | Stantic, B | |
dc.contributor.author | Wang, K | |
dc.contributor.editor | Wolfgang Faber and Domenico Lembo | |
dc.date.accessioned | 2017-05-03T11:26:49Z | |
dc.date.available | 2017-05-03T11:26:49Z | |
dc.date.issued | 2013 | |
dc.date.modified | 2014-05-30T03:17:26Z | |
dc.identifier.isbn | 9783642396656 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.refuri | http://rr2013.uni-mannheim.de/ | |
dc.identifier.doi | 10.1007/978-3-642-39666-3_16 | |
dc.identifier.uri | http://hdl.handle.net/10072/59592 | |
dc.description.abstract | Although several proposals to combine description logics with logic programming rules have been brought forward, hardly any of these approaches capture the dynamic nature of the Semantic Web. In this paper, we look at an expressive combination formalism, normal DL logic programs, and address changes to the rule component from the viewpoint of belief revision. To deal with inconsistency caused in revising normal DL logic programs, we first introduce a three-valued answer set semantics and present some useful properties. We then develop a revision operator for normal DL logic programs and show that our revision satisfies major postulates for logic program revision. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.publisher.uri | http://rr2013.uni-mannheim.de/ | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | Web reasoning and rule systems (RR) 2013 | |
dc.relation.ispartofconferencetitle | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.relation.ispartofdatefrom | 2013-07-27 | |
dc.relation.ispartofdateto | 2013-07-29 | |
dc.relation.ispartoflocation | Mannheim, Germany | |
dc.relation.ispartofpagefrom | 204 | |
dc.relation.ispartofpageto | 209 | |
dc.relation.ispartofvolume | 7994 LNCS | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Theory of computation | |
dc.subject.fieldofresearch | Information and computing sciences | |
dc.subject.fieldofresearchcode | 4613 | |
dc.subject.fieldofresearchcode | 46 | |
dc.title | Rule Revision in Normal DL Logic Programs | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Stantic, Bela | |
gro.griffith.author | Wang, Kewen | |
gro.griffith.author | Binnewies, Sebastian | |