Reasoning about Assembly Sequences Based on Description Logic and Rule

Abstract : 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.
Type de document :
Communication dans un congrès
Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.131-136, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_18〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01524945
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:09
Dernière modification le : vendredi 19 mai 2017 - 10:45:57

Fichier

978-3-642-32891-6_18_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Yu Meng, Tianlong Gu, Liang Chang. Reasoning about Assembly Sequences Based on Description Logic and Rule. Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.131-136, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_18〉. 〈hal-01524945〉

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

17