Manufacturing knowledge verification in design support systems

DOI10.1080/00207540701802452MaRDI QIDQ3055421zbMATH OpenOpenAlexFDO

Authors

Publication date 7 November 2010

Published in International Journal of Production Research (Search for Journal in Brave)

Full work available at URL https://dspace.lboro.ac.uk/2134/4840

zbMATH Keywords

design for manufactureenterprise modellingknowledge representationontologyvalidation and verification

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Management decision making, including multiple objectives (90B50)

Recommendations

• The role of ontologies in the verification and validation of knowledge-based systems
• Design Verification for Bent Sheet Metal Parts: A Graphs Approach
• Functional ontology artifacts: Existent and emergent knowledge
• An illustration of verification and validation in the modelling phase of KBS development
• scientific article; zbMATH DE number 3954305

Cites work

• About the incremental validation of first-order stratified knowledge-based decision-support systems
• Invited paper Challenges and chances for innovative companies in a global information society

Cited in

(3)

• The role of ontologies in the verification and validation of knowledge-based systems
• Functional ontology artifacts: Existent and emergent knowledge
• A Knowledge Based Approach for Holistic Decision Support in Manufacturing Systems

Describes a project that uses

Uses Software

• CLIPS

This page was built for publication: Manufacturing knowledge verification in design support systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3055421)