]> 2012-05-27T22:46:01-04:00 Schwitter2008controlled question 1 by lebo 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? 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? Text Shangguan Journal CNLPresentation Question for the Presentation Question asked by Question asked User:Tim Lebo Author Schwitter2008controlled About Question A Presentation Questions