Dependable Systems and Software Engineering Group(11)

2021-01-20 21:59

Nine month progress report submitted for continuation towards a PhD

Toward a Canonical Method to Solve Patterns of Ontology Modelling Issues 11 ____________________________________________________________________________________________________________Faults is-a is-a is-aThis property value is a necessary and sufficient condition for all faults of type development fault This property value is a necessary condition for all faults of type development fault This property value is a necessary and sufficient condition for all faults of type physical fault This property value is a necessary and sufficient condition for all faults of type interaction fault This property value is a necessary condition for all faults of type interaction faultFigure 3 - Matrix representation of the classes of combined faults. For ReSIST, and again with application use in mind, it would seem unnecessary to create classes for all types of faults, provided that users of the knowledge base may never populate many of those classes with any instances, simply because they may not describe their research interest in those terms. For this reason, ontology use, together with the notion of building an ontology fit for purpose, it would not deem appropriate attempting to model all the information conveyed by Figures 1 to 3, in terms of one class for every type of fault, with the additional need to provide axioms, domain and range information for each class. This addresses the question of how much information to model. Selecting an adequate level of detail to model would


Dependable Systems and Software Engineering Group(11).doc 将本文的Word文档下载到电脑 下载失败或者文档不完整,请联系客服人员解决!

下一篇:2019年(春)八年级物理全册 第11章 小粒子与大宇宙 第3节 探索宇

相关阅读
本类排行
× 注册会员免费下载(下载后可以自由复制和排版)

马上注册会员

注:下载文档有可能“只有目录或者内容不全”等情况,请下载之前注意辨别,如果您已付费且无法下载或内容有问题,请联系我们协助你处理。
微信: QQ: