亲爱
发表于 2025-3-26 21:49:17
http://reply.papertrans.cn/24/2375/237471/237471_31.png
peak-flow
发表于 2025-3-27 03:04: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:33
http://reply.papertrans.cn/24/2375/237471/237471_33.png
香料
发表于 2025-3-27 11:06:58
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:53
http://reply.papertrans.cn/24/2375/237471/237471_35.png
羽毛长成
发表于 2025-3-27 19:34:48
http://reply.papertrans.cn/24/2375/237471/237471_36.png
纵欲
发表于 2025-3-28 01:21:05
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:29
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 . 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 , which mea
xanthelasma
发表于 2025-3-28 09:49:50
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:16
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