| A
|
Question +
|
| About
|
Schwitter2008controlled +
|
| Author
|
Tim Lebo +
|
| Modification dateThis property is a special property in this wiki.
|
27 November 2008 14:30:04 +
|
| Question asked
|
The Controlled Natural Language presented … The Controlled Natural Language presented in this paper seems to be useful for pedagogical purposes, but little more. Although hiding a more obscure syntax /may/ increase the approachability and/or "explainability", it seems that a novice would still require a background understanding of OWL Lite^minus to do anything useful. The novice is at risk for establishing a greater expectation for the language based on the assumption that the English-like sentences are English; these expectations will be unfulfilled by the restricted ("focused"?) capabilities of a logic-based system. On the other hand, the verbosity that provides approachability for the novice would hinder use by "knowledge engineers" who prefer a more concise syntax. However, these issues are most concerning only when authoring the TBox and ABox. When posing questions to the system, the interaction seems more natural. This is done by generating a satisfying model with SATCHMO, which includes all entailed statements.
# What is a "satisfying model",
# how does it differ from other kinds of models, and
# how is it generated? nds of models, and
# how is it generated?
|
| Question asked by
|
Tim Lebo +
|
| Question for the Presentation
|
Shangguan Journal CNLPresentation +
|
| Text
|
The Controlled Natural Language presented … The Controlled Natural Language presented in this paper seems to be useful for pedagogical purposes, but little more. Although hiding a more obscure syntax /may/ increase the approachability and/or "explainability", it seems that a novice would still require a background understanding of OWL Lite^minus to do anything useful. The novice is at risk for establishing a greater expectation for the language based on the assumption that the English-like sentences are English; these expectations will be unfulfilled by the restricted ("focused"?) capabilities of a logic-based system. On the other hand, the verbosity that provides approachability for the novice would hinder use by "knowledge engineers" who prefer a more concise syntax. However, these issues are most concerning only when authoring the TBox and ABox. When posing questions to the system, the interaction seems more natural. This is done by generating a satisfying model with SATCHMO, which includes all entailed statements.
# What is a "satisfying model",
# how does it differ from other kinds of models, and
# how is it generated? nds of models, and
# how is it generated?
|
| Categories |
Presentation Questions
|
