ABSTRACT In conceptual design of any engineering system, decisions are made regarding which technologies to include and where. One of the first stages of that process is constructing the technology compatibility matrix (TCM), which indicates the compatibility of each pair in a technology set. Rather than constructing a TCM with expert judgment, this study develops a method based on graph transformation rules, allowing for a formal description of technologies. The TCM is then automatically derived. An ontology based on the Basic Formal Ontology is developed to describe systems and technologies, and provides axioms to derive statements about these descriptions. The method is demonstrated with four inference examples, showing how the inferences are made. An industry case study demonstrates the method's ability to mimic human expert reasoning. Although the approach is labour-intensive during setup, it enables knowledge capturing, automated reasoning and can be extended to provide quantitative analysis, to save time and effort.

中文翻译：

---

自动推断与本体和图重写规则的技术兼容性

摘要 在任何工程系统的概念设计中，都需要决定包含哪些技术以及包含在何处。该过程的第一阶段之一是构建技术兼容性矩阵 (TCM)，该矩阵表示技术集合中每一对的兼容性。本研究不是用专家判断来构建 TCM，而是开发了一种基于图转换规则的方法，允许对技术进行正式描述。然后自动推导出 TCM。开发基于基本形式本体的本体来描述系统和技术，并提供公理来导出关于这些描述的陈述。该方法通过四个推理示例进行演示，展示了如何进行推理。一个行业案例研究证明了该方法模仿人类专家推理的能力。