Author:
Kryssanov V. V.,Abramov V. A.,Fukuda Y.,Konishi K.
Reference20 articles.
1. Benjamin, P.C., Menzel, C.P., Mayer, R.J., Padmanaban, N. (1995) Toward a method for acquiring CIM ontologies. Int. J. Computer Integrated Manufacturing, 8, 225–234.
2. Collet, C., Huhns, M.N., Shen, W.-M. (1991) Resource Integration Using a Large Knowledge Base in Carnot. IEEE Computer, 24(12), 55–62.
3. Do, N.-C. and Choi, I.-J. (1996) Implementing integrity constraints of EXPRESS in an active object-oriented database. Int. J. Computer Integrated Manufacturing, 9, 311–326.
4. Fujita, S. and Yoshida, T. (1996) OSEC: Open System Environment for Controller, in Proceedings of The 7th International Machine Tool Engineers Conference, JMTBA, Tokyo, 234–243.
5. Goguen, J.A. and Meseguer, J. (1992) Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Polymorphism, and Partial Operations. Theoretical Computer Science, 105,217–273.