Cochrane, Sean; Young, R.; Case, K.; Harding, J.; Gao, James X.; Dani, S.; Baxter, David
(Taylor & Francis, 2009-12-01)
This paper identifies the need for a verification methodology for manufacturing
knowledge in design support systems; and proposes a suitable methodology based
on the concept of ontological commitment and the PSL ontology ...