Reasoning about Assembly Sequences Based on Description Logic and Rule
Reasoning about assembly sequences is useful for identifying the feasibility of assembly sequences according to the assembly knowledge.Technologies used for reasoning about assembly sequences have crucial impacts on the efficiency and automation of assembly sequence planning.Description Logic (DL) is well-known for representing and reasoning about knowledge of static application domains; it offers considerable expressive power going far beyond propositional logic while reasoning is still decidable.In this paper,we bring the power and character of description logic into reasoning about assembly sequences.Assembly knowledge is firstly described by a description logic enhanced with some rules.Then,the feasibility of assembly operations is decided by utilizing the reasoning services provided by description logics and rules.An example has been provided to demonstrate the usefulness and executability of the proposed approach.
assembly sequence knowledge representation reasoning description logic rule
Yu Meng Tianlong Gu Liang Chang
School of Electronic Engineering,Xidian University,Xian 710071,China;Guangxi Key Laboratory of Trus Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,
国际会议
7th IFIP TC 12 International Conference (第七届智能信息处理国际会议 (IIP 2012))
桂林
英文
131-136
2012-10-12（万方平台首次上网日期，不代表论文的发表时间）