Description Logics in Information Semantic Integration for Product Design and Manufacturing

Article Preview

Abstract:

In the process of information semantic integration for product design and manufacturing, it is very important to express the product information semantic. Description logics (DLs) are a family of state-of-the-art knowledge representation languages, and a decidable subset of first-order logic. Firstly, by analyzing the characteristics of product information, proposed a semantic information description framework based on description logics for product information integration, which is divided into three levels: basic description logic, classic extended logic and unusual extended logic. Then, in the framework, reducer was taken for example to illustrate the application of their description logic in product design and manufacturing formal semantic information. Finally, based on description logic, discussed reasoning problems of product design and manufacturing information.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 542-543)

Pages:

251-254

Citation:

Online since:

June 2012

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2012 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] G. Ming, L. Shanping, D. Jinxiang, F. Xiangjun, H. Yujie and Y. Qiwei, in: Proc. Of AINA 2003, IEEE Press (2003), p.530.

DOI: 10.1109/aina.2003.1192937

Google Scholar

[2] H. Zhiming, W. Zhongqi and W. Jianjun: MIE of China Vol. 40 (2011), p.33, In Chinese

Google Scholar

[3] D. Calvanese, M. Lenzerini, D. Nardi and R. Rosati, in: Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning, (1998).

Google Scholar

[4] D. Calvanese, G. De Giacomo and M. Lenzerini, in: Computational Logic: Logic Programming and Beyond, edited by A. Kakas, F. Sadri, Vol. 2408, Springer Berlin/Heidelberg (2002)

DOI: 10.1007/3-540-45632-5_2

Google Scholar

[5] F.Xiangjun: Doctor Paper, Zhejiang University (2005), In Chinese

Google Scholar

[6] Information on http://www.w3.org/TR/owl-ref/

Google Scholar

[7] I. Horrocks, O. Kutz and U. Sattler, in: Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning, AAAI Press (2006)

Google Scholar