부산대학교 도서관

There are many semantic inconsistencies between domain concepts, which made it difficult to model, to interoperate and also to compose models semantically in software engineering, M&S (modeling and simulation) or semantic web. Thus we described the domain concepts and concepts taxonomy by hypernetwork (concept hypergraph), whose nodes set is the concepts set and edge is consisted of the correlative properties. Firstly, we have found out that the nodes set of concept hypergraph has the feature of order. In addition, by the definition of formal context, we have proved that the concept set is a complete concept lattice. And then, the domain knowledge has been extended from both of aspects of concept's extent and intent simultaneously, while the hypernetwork system has also been expanded according to the extended concept set. Finally, to achieve the semantically consistent taxonomy of the domain concepts through the hypernetwork system's adjacency and path matrices sequentially, we illustrated the example of the semantic inconsistencies of the military domain artillery concept's taxonomy and have given the method and steps perfectly.