| A
|
Question +
|
| About
|
Eiter2008combining +
|
| Author
|
Tim Lebo +
|
| Modification dateThis property is a special property in this wiki.
|
27 November 2008 14:14:03 +
|
| Question asked
|
The paper describes a "conservative extens … 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. on logic semantics? It sounds pretty cool.
|
| Question asked by
|
Tim Lebo +
|
| Question for the Presentation
|
Jiao Journal Presentation +
|
| Text
|
The paper describes a "conservative extens … 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. on logic semantics? It sounds pretty cool.
|
| Categories |
Presentation Questions
|
