波动
发表于 2025-3-28 18:34:23
Steuerungsrelevante FertigungsmerkmaleProof Representation Structures, an adaptation of Discourse Representation Structures, are used to represent the semantics of texts written in the Naproche CNL. We discuss how the Naproche CNL can be used in formal mathematics, and present our prototypical Naproche system, a computer program for par
ALLAY
发表于 2025-3-28 21:19:45
Verfahren der Fertigungssteuerungtion tools attempt to ease this process by detecting instances of classes within text and relationships between instances, however their usage often requires knowledge of Natural Language Processing(NLP) or formal ontological descriptions. This challenges researchers to develop user-friendly annotat
休闲
发表于 2025-3-29 00:54:05
https://doi.org/10.1007/978-3-662-48499-9addressing problems associated with the limited availability of high-quality online semantic content. Unfortunately, however, many popular semantic wikis, such as Semantic MediaWiki (SMW), are not sufficiently expressive to support full-scale ontology authoring. Furthermore, the grounding of the Sem
UTTER
发表于 2025-3-29 03:54:22
https://doi.org/10.1007/978-3-662-48499-9aper we make a case for such an approach to write contracts, and translating into a temporal deontic logic. Combining both temporal behaviour and deontic behaviour is challenging both from a natural language and a formal logic perspective. We present both a logic and a controlled natural language an
贪心
发表于 2025-3-29 08:43:37
http://reply.papertrans.cn/24/2375/237471/237471_45.png
注意
发表于 2025-3-29 12:02:33
Rolf Brühl,Jörn S. Basel,Max Kuryd form of these guidelines makes them unsuitable for formal representation. To address this challenge we translated a complete set of pediatric guideline recommendations into Attempto Controlled English (ACE). One experienced pediatrician, one physician and a knowledge engineer assessed that a suita
菊花
发表于 2025-3-29 17:14:50
Clemens Brandstetter,Dirk Sanderning the goals of the CNL, the design, the linguistic aspects, the relationships and evaluation of CNLs, and the application tools. In posing the questions, the report attempts to structure the field of CNLs and to encourage further systematic discussion by researchers and developers.
口音在加重
发表于 2025-3-29 19:49:02
http://reply.papertrans.cn/24/2375/237471/237471_48.png
长处
发表于 2025-3-30 01:33:37
Alexandra Martin,Katharina Schieber understandability of knowledge representation languages. An experiment with 64 participants is presented that applies this framework and compares a controlled natural language to a common formal language. The results show that the controlled natural language is easier to understand, needs less learning time, and is more accepted by its users.
DEAF
发表于 2025-3-30 06:31:22
Methodik der Vertragsgestaltung,ource grammar library that make it easy to write grammars that cover similar fragments in several natural languages at the same time. Authoring help tools and automatic translation are provided for all grammars. As an example, a grammar of Attempto Controlled English is implemented and then ported to Finnish, French, German, Italian and Swedish.