Show simple item record

dc.contributor.authorBinnewies, S
dc.contributor.authorWang, Y
dc.contributor.authorStantic, B
dc.contributor.authorWang, K
dc.contributor.editorWolfgang Faber and Domenico Lembo
dc.date.accessioned2017-05-03T11:26:49Z
dc.date.available2017-05-03T11:26:49Z
dc.date.issued2013
dc.date.modified2014-05-30T03:17:26Z
dc.identifier.isbn9783642396656
dc.identifier.issn0302-9743
dc.identifier.refurihttp://rr2013.uni-mannheim.de/
dc.identifier.doi10.1007/978-3-642-39666-3_16
dc.identifier.urihttp://hdl.handle.net/10072/59592
dc.description.abstractAlthough 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.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherSpringer
dc.publisher.placeGermany
dc.publisher.urihttp://rr2013.uni-mannheim.de/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameWeb reasoning and rule systems (RR) 2013
dc.relation.ispartofconferencetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.relation.ispartofdatefrom2013-07-27
dc.relation.ispartofdateto2013-07-29
dc.relation.ispartoflocationMannheim, Germany
dc.relation.ispartofpagefrom204
dc.relation.ispartofpageto209
dc.relation.ispartofvolume7994 LNCS
dc.rights.retentionY
dc.subject.fieldofresearchTheory of computation
dc.subject.fieldofresearchInformation and computing sciences
dc.subject.fieldofresearchcode4613
dc.subject.fieldofresearchcode46
dc.titleRule Revision in Normal DL Logic Programs
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.hasfulltextNo Full Text
gro.griffith.authorStantic, Bela
gro.griffith.authorWang, Kewen
gro.griffith.authorBinnewies, Sebastian


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record