A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation

Kiyoshi Akama, Ekawit Nantajeewarawat. A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. In Ana L. N. Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe, editors, KEOD 2015 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, part of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015), Volume 2, Lisbon, Portugal, November 12-14, 2015. pages 38-49, SciTePress, 2015. [doi]

Abstract

Abstract is missing.