Jiao Journal Presentation

From Semantic Portal Wiki

Presentation given at CSCI 6966 Advanced Semantic Web (Fall 2008)#Lesson 12

• Speaker: Jiao Tao
• Title: Combining answer set programming with description logics for the Semantic Web
• Authors: Thomas Eiter
• Conference: Artificial Intellience, Volume 172, Issues 12-13, Pages 1429-1612 (August 2008)
• URL: http://tw.rpi.edu/portal/Image:AI-2008.pdf
• Date of Presentation: 2008/11/20

Questions

ID	Question	Name	Answer
Answer Set Programming Ankesh	My question is very general. The best case complexity is EXP, for DL-Lite and positive dl-program. Given the intractability of the answer-set-programming approach combined with DL reasoning, do you think it can be used for some semantic web applications? Can considering a subset, say by putting some restrictions on dl-atoms, be useful?	Ankesh Khandelwal
Eiter2008combining question 1 by lebo	The paper describes a "conservative extension" to the combination of DL's first-order semantics and logic programming's answer set semantics, where knowledge can be transferred between a DL knowledge base and a logic programming program. When describing how dl-programs can express the closed-world assumption "on top" of an external DL knowledge base, negation is asserted despite its DL provability. Could an inconsistency arise when the CWA assertions are shared with the DL knowledge base? I'm not familiar with logic programming and answer sets -- and reading the paper left me interested, impressed, and confused. Could you explain the gist of logic programming and how answer set semantics differs from description logic semantics? It sounds pretty cool.	Tim Lebo
Jiao Journal Presentation Jesse Weaver	Great paper. I was introduced to a lot of new concepts (no pun intended). Indeed, combining answer set semantics with description logics is a novel idea. Perhaps my lack of fluency in this area prompts me to ask this question: what does this approach accomplish that has not been accomplished before? Section 1 lists the main innovations and contributions of the paper. What are the implications of these contributions? For example: "We show that dl-programs under the answer set semantics can be fruitfully used to support advanced reasoning tasks for the Semantic Web." Is this something that hasn't been done before? If not, does this approach improve on previous solutions?	Jesse Weaver

Attendees

Tim Lebo