好开玩笑 发表于 2025-3-26 23:30:20

Ontologies,ed understanding nor does it model the whole of the domain (Fig. .). It is widely stated that, while an ontology uses an open-world assumption, a model uses a closed-world assumption (e.g. Aßmann et al. 2006; Atkinson et al. 2006) although some ontologies are based on a closed-world assumption (e.g. Wang et al. 2006).

媒介 发表于 2025-3-27 03:50:23

Linking Models, Metamodels, Ontologies and Modelling Languages, This is named, variously, meta-ontology, ontology specification language, foundational ontology or higher level ontology (see Fig. . and previous discussion). Such a language provides reasoning support not possible in software modelling languages such as UML or ER, which many researchers are tempted to use and/or extend for this purpose.

Neonatal 发表于 2025-3-27 05:47:05

http://reply.papertrans.cn/71/7012/701184/701184_33.png

ablate 发表于 2025-3-27 12:09:46

Mathematics for Modelling,pings (functions) between pairs of sets–whether such a mapping is one-to-one, onto or both can be critical in understanding many of the ‘problems’ identified in the software engineering modelling literature

Rebate 发表于 2025-3-27 16:09:44

Metamodels,“a metamodel makes statements about what can be expressed in the valid models of a certain modelling language”. It should be stressed that the abstraction needed here is the F-abs kind of abstraction since it creates type rather than token models.

平淡而无味 发表于 2025-3-27 21:03:38

http://reply.papertrans.cn/71/7012/701184/701184_36.png

Ledger 发表于 2025-3-28 00:29:58

http://reply.papertrans.cn/71/7012/701184/701184_37.png

drusen 发表于 2025-3-28 03:26:20

8楼

暴行 发表于 2025-3-28 08:41:29

8楼

侧面左右 发表于 2025-3-28 13:40:13

9楼
页: 1 2 3 [4] 5
查看完整版本: Titlebook: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages; Brian Henderson-Sellers Book 2012 The Author(s) 2012 m