Sciweavers

277 search results - page 3 / 56
» Controlled Natural Languages for Knowledge Representation
Sort
View
91
Voted
DEXAW
2004
IEEE
166views Database» more  DEXAW 2004»
15 years 1 months ago
Dynamic Semantics for a Controlled Natural Language
In this paper I present a dynamic approach for constructing an unambiguous semantic representation for a text written in a controlled natural language called PENG. The semantic re...
Rolf Schwitter
DKE
1998
87views more  DKE 1998»
14 years 9 months ago
Using Natural Language Sources in Model-Based Knowledge Acquisition
This paper introduces a well defined co-operation between domain expert, knowledge engineer, and knowledge acquisition and transformation tools. First, the domain expert supported...
Gabriele Schmidt, Thomas Wetter
AAAI
2008
14 years 11 months ago
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
Chitta Baral, Juraj Dzifcak, Tran Cao Son
KES
2004
Springer
15 years 2 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
CNL
2009
14 years 10 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...