ontology consistency modular architectural specification

Publications for keyword "ontology consistency modular architectural specification"
Oliver Kutz and Till Mossakowski, A Modular Consistency Proof for Dolce, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234, AAAI Press; Menlo Park, CA, 2011