作者: 母豬 時間: 2025-3-21 23:06 作者: 妨礙 時間: 2025-3-22 00:55 作者: BIDE 時間: 2025-3-22 08:06 作者: 真實的你 時間: 2025-3-22 09:09 作者: 場所 時間: 2025-3-22 16:44
Credo – warum ich es trotzdem mitsprechentecedent, and show how the original anaphora resolution algorithm of PENG Light can be extended in a systematic way in order to take care of these bridging definite descriptions. The solution to this problem also sheds some light on the adequate treatment of part-whole relations in a controlled nat作者: 場所 時間: 2025-3-22 20:25 作者: exclusice 時間: 2025-3-22 21:58 作者: 相反放置 時間: 2025-3-23 04:32
0302-9743 rkshop CNL 2009 was dedicated to discussing the similarities and the d- ferences of existing controlled natural languages of the second type, possible impro- ments to these languages, relations to other knowledge representation language978-3-642-14417-2978-3-642-14418-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 郊外 時間: 2025-3-23 09:25 作者: Prophylaxis 時間: 2025-3-23 12:57 作者: 高原 時間: 2025-3-23 17:30 作者: 受辱 時間: 2025-3-23 20:39 作者: 咯咯笑 時間: 2025-3-23 23:11 作者: Additive 時間: 2025-3-24 04:36 作者: 婚姻生活 時間: 2025-3-24 09:31 作者: relieve 時間: 2025-3-24 14:21 作者: Atheroma 時間: 2025-3-24 16:05 作者: Confess 時間: 2025-3-24 22:29 作者: 約會 時間: 2025-3-25 00:20
Rolf Brühl,J?rn S. Basel,Max Kurybly extended version of ACE can accurately and naturally represent the clinical concepts and the proposed actions of the guidelines. Currently, we are developing a systematic and replicable approach to authoring guideline recommendations in ACE.作者: Defraud 時間: 2025-3-25 03:48
Grundlagen der Auftragserzeugungluation measured .. We study a familiy of controlled languages that express several fragments of OWL, ranging from tractable (. and .) to intractable (.-hard) in data complexity, singling out which constructs give rise to each computational property.作者: concentrate 時間: 2025-3-25 11:14 作者: 晚間 時間: 2025-3-25 13:10 作者: Cognizance 時間: 2025-3-25 17:54
Grundlagen der Auftragserzeugungal logic, provides a formal, language-independent means for capturing the semantics of a community’s body of shared meanings. By taking this approach, SBVR can support multiple forms of representation.作者: Valves 時間: 2025-3-25 20:36 作者: offense 時間: 2025-3-26 01:42
SBVR’s Approach to Controlled Natural Languageal logic, provides a formal, language-independent means for capturing the semantics of a community’s body of shared meanings. By taking this approach, SBVR can support multiple forms of representation.作者: Buttress 時間: 2025-3-26 07:05
Conference proceedings 2010te ambiguity and complexity. Traditionally, controlled languagesfall into two major types: those that - prove readability for human readers, and those that enable reliable automatic semantic analysis of the language. [. . . ] The second type of languages has a formal logical basis, i. e. they have a作者: VEIL 時間: 2025-3-26 10:28 作者: DEBT 時間: 2025-3-26 16:27 作者: exquisite 時間: 2025-3-26 19:10 作者: 親愛 時間: 2025-3-26 21:49 作者: peak-flow 時間: 2025-3-27 03:04
M?gliche Welten in Philosophie und Physikon and sometimes subordination. These forms of compositional representation are useful for expressing short passages of a few sentences, but compared to natural language they offer only a limited range of expression, and they are unwieldy for expressing longer passages. This paper describes a method作者: Mumble 時間: 2025-3-27 06:24 作者: 香料 時間: 2025-3-27 11:06
Gottes Wort – nicht nur in der Bibel Rabbit sentence: declarations, axioms and import statements. This paper evaluates the ease with which domain experts without any prior ontology development experience can author declarations and axiom sentences in Rabbit. Participants were asked to author Rabbit sentences about an artificial domain作者: 驚呼 時間: 2025-3-27 15:20 作者: 羽毛長成 時間: 2025-3-27 19:34 作者: 縱欲 時間: 2025-3-28 01:21
Vernetztes Betriebssicherheitsmanagementent words, i.e., they tend to interpret only some functional words that are crucial for construction of discourse representation structures. We show that micro-ontologies and multi-word units allow integration of the rich and polysemous multi-domain background knowledge into CNL thus providing inter作者: ferment 時間: 2025-3-28 05:34
https://doi.org/10.1007/978-3-662-48441-8ious fragments of FOL that are known to be decidable. FO., the two-variable fragment of FOL, is one of such languages [1,2]. FO. is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equality. FO. has the finite model property [1], which mea作者: xanthelasma 時間: 2025-3-28 09:49
Grundlagen der Auftragserzeugung its expressiveness. On the other hand, querying, e.g., a relational database or an ontology-based data access system is a well-defined and unambigous task, namely, the task of evaluating a formal query (e.g., an SQL query) of a limited expressiveness over such database. However these formal query l作者: landmark 時間: 2025-3-28 13:22
Grundlagen der Auftragserzeugungifications. SBVR covers two aspects: Vocabulary (natural language ontology) and Rules (elements of guidance that govern actions). However, SBVR does not standardize any particular language for expressing vocabularies and rules. Instead, SBVR uses ‘semantic formulation’, which is a way of describing 作者: 波動 時間: 2025-3-28 18:34
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
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
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
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 作者: 注意 時間: 2025-3-29 12:02
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
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 作者: 長處 時間: 2025-3-30 01:33
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
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.作者: 強行引入 時間: 2025-3-30 08:12 作者: Indict 時間: 2025-3-30 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.作者: Fermentation 時間: 2025-3-30 17:06
An Evaluation Framework for Controlled Natural Languages 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.作者: 大炮 時間: 2025-3-30 21:36 作者: jocular 時間: 2025-3-31 03:44 作者: prostatitis 時間: 2025-3-31 09:04 作者: Tincture 時間: 2025-3-31 10:38
Norbert E. FuchsUp-to-date results.Fast track conference proceedings.State-of-the-art report作者: mechanical 時間: 2025-3-31 16:22 作者: 競選運動 時間: 2025-3-31 19:42
https://doi.org/10.1007/978-3-642-14418-9CNL; Clang; Natural; computational linguistics; forrmal mathematics; knowledge bases; language technologie
