Show simple item record

dc.contributor.authorShen, Yi-Dongen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.editorLora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Fridmaen_US
dc.date.accessioned2017-05-03T14:10:58Z
dc.date.available2017-05-03T14:10:58Z
dc.date.issued2011en_US
dc.date.modified2012-07-24T22:28:06Z
dc.identifier.issn03029743en_US
dc.identifier.doi10.1007/978-3-642-25073-6_40en_US
dc.identifier.urihttp://hdl.handle.net/10072/43949
dc.description.abstractRecently much attention has been directed to extending logic programming with description logic (DL) expressions, so that logic programs have access to DL knowledge bases and thus are able to reason with ontologies in the Semantic Web. In this paper, we propose a new extension of logic programs with DL expressions, called normal DL logic programs. In a normal DL logic program arbitrary DL expressions are allowed to appear in rule bodies and atomic DL expressions (i.e., atomic concepts and atomic roles) allowed in rule heads. We extend the key condition of well-supportedness for normal logic programs under the standard answer set semantics to normal DL logic programs and define an answer set semantics for DL logic programs which satisfies the extended well-supportedness condition. We show that the answer set semantics for normal DL logic programs is decidable if the underlying description logic is decidable (e.g. SHOIN or SROIQ).en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.format.extent131104 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofpagefrom633en_US
dc.relation.ispartofpageto648en_US
dc.relation.ispartofjournalLecture Notes in Computer scienceen_US
dc.relation.ispartofvolume7031en_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classifieden_US
dc.subject.fieldofresearchcode080199en_US
dc.titleExtending Logic Programs with Description Logic Expressions for the Semantic Weben_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.facultyGriffith Sciences, Griffith School of Engineeringen_US
gro.rights.copyrightCopyright 2011 Springer Berlin / Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.comen_US
gro.date.issued2011
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record