Fokoue2006summary question 1 by lebo
From Semantic Portal Wiki
CSCI 6966 Advanced Semantic Web (Fall 2008)
- syllabus, announcements, presentations
- Lesson 1, Lesson 2, Lesson 3, Lesson 4, Lesson 5, Lesson 6,
- Lesson 7, Lesson 8, Lesson 9, Lesson 10, Lesson 11, Lesson 12, Lesson 13
A Question from Tim Lebo about fokoue2006summary:
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?
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.
Facts about Fokoue2006summary question 1 by leboRDF feed
| A | Question + |
| About | Fokoue2006summary + |
| Author | Tim Lebo + |
| 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."
|
| 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."
|
