In order to facilitate sharing of functional models, some functional taxonomies each of which provides a set of verbs for representing generic functions (called functional terms here) have been developed. Their examples include some sets of generally valid functions in the book written by Pahl and Beitz, Functional Basis (FB) developed by Hirtz et al. and FOCUS/Tx developed by the authors of this paper. The issue addressed in this paper is the implicitness of the criteria of classification of functional terms in those taxonomies and thus unclearness of their definitions. This paper proposes an ontology of logical criteria for classification of functional terms (called FOCUS/View). Using the classes defined in FOCUS/View, the classification criteria of a functional taxonomy can be explicitly represented. These classes have been conceptualized based on deep investigation on FB and FOCUS/Tx. The benefits of the proposed FOCUS/View ontology include: (1) users of a taxonomy can easily understand differences of similar terms and select an appropriate term out of them, (2) a developer of a taxonomy can check its logical classification structure and then improve its logical clearness, and (3) we can compare different taxonomies and establish more reliable mappings between their terms for interoperability of functional models. In this paper, as a demonstration of the benefit (1), the classification criteria of FB, FOCUS/Tx, Krumhauer’s and Roth’s generally valid functions are explicitly presented using FOCUS/View. As a demonstration of the benefit (2), some logically problematic classification structures of FB and the Krumhauer’s functions are discussed and modified for the logical clearness. For the benefit (3), this paper demonstrates the mappings between FB and FOCUS/Tx and a semantic interoperable document search system based on these mappings.
A relevant document search system model using word2vec approaches