We build on the theory of ontology logs (ologs) created by Spivak and Kent, and define a notion of wiring diagrams. In this article, a wiring diagram is a finite directed labelled graph. The labels correspond to types in an olog; they can also be interpreted as readings of sensors in an autonomous system. As such, wiring diagrams can be used as a framework for an autonomous system to form abstract concepts. We show that the graphs underlying skeleton wiring diagrams form a category. This allows skeleton wiring diagrams to be compared and manipulated using techniques from both graph theory and category theory. We also extend the usual definition of graph edit distance to the case of wiring diagrams by using operations only available to wiring diagrams, leading to a metric on the set of all skeleton wiring diagrams. In the end, we give an extended example on calculating the distance between two concepts represented by wiring diagrams, and explain how to apply our framework to any application domain.

翻译：我们基于斯皮瓦克和肯特创立的本体日志理论，定义了接线图的概念。本文中，接线图是一种有限有向带标签图，其标签对应本体日志中的类型，也可解释为自主系统中传感器的读数。因此，接线图可作为自主系统形成抽象概念的理论框架。我们证明：骨架接线图的底层图构成一个范畴，这使得可通过图论与范畴论技术对骨架接线图进行比较与操作。进一步，我们将经典图编辑距离拓展至接线图场景，通过仅适用于接线图的操作集合，在全体骨架接线图集合上建立了度量空间。最后，通过计算两个以接线图表示的概念间距离的扩展实例，阐明该框架在任意应用领域中的实施方法。