| A
|
Question +
|
| About
|
Fokoue2006summary +
|
| Author
|
Tim Lebo +
|
| Modification dateThis property is a special property in this wiki.
|
27 November 2008 14:14:28 +
|
| Question answer
|
You are right. We would not be able to summarize in that case. In-fact I would bring this up for discussion during my presentation, more so from the point of view of non-existence of unique name assumption.
|
| Question asked
|
The summary of an Abox takes advantage of … The summary of an Abox takes advantage of redundant assertions w.r.t consistency checking by collapsing individuals that are members of the same concept sets and are /not/ explicitly asserted to be different from each other. The authors note, "Any explicit assertions that two individuals are different from each other are maintained in the summary Abox."
# Would an exhaustive enumeration of "differentFrom" for each instance in the Abox render the summary method useless? he Abox render the summary method useless?
|
| Question asked by
|
Tim Lebo +
|
| Question for the Presentation
|
Summary Abox Ankesh +
|
| Text
|
The summary of an Abox takes advantage of … The summary of an Abox takes advantage of redundant assertions w.r.t consistency checking by collapsing individuals that are members of the same concept sets and are /not/ explicitly asserted to be different from each other. The authors note, "Any explicit assertions that two individuals are different from each other are maintained in the summary Abox."
# Would an exhaustive enumeration of "differentFrom" for each instance in the Abox render the summary method useless? he Abox render the summary method useless?
|
| Categories |
Presentation Questions
|
