An Evaluation of Description Logic for the Development of Product Models

The languages and logical formalisms developed by information scientists and logicians concentrate on the theory of languages and logical theorem proving. These languages, when used by domain experts to represent their domain of discourse, most often have issues related to the level of expressiveness and need specific extensions. In this paper we first analyze the requirements for the development of structured knowledge representation models for manufacturing products using ontologies. We then explore how these requirements can be satisfied through the levels of logical formalisms and expressivity of a structured knowledge representation model. We report our evaluation of Description Logic (DL) with respect to the requirements by giving an example of a product ontology developed with OWL (Ontology Web Language-Description Logic). In order to represent a product, we also need to combine both DL expressivity and domainspecific rules. Domain-specific rules are defined to add specific constraints in the knowledge base and we have used SWRL (Semantic Web Rule Language) for this purpose. We present a case study of an electro-mechanical product to validate the evaluation and further show how the OWL-DL reasoner together with the rule engine can enable reasoning of the product ontology. We finally discuss the open issues such as capabilities and limitations related to the usage of DL, OWL and SWRL for product modeling.

[1]  Ram D. Sriram,et al.  From symbol to form: a framework for conceptual design , 1996, Comput. Aided Des..

[2]  Steven J. Fenves,et al.  CPM 2: A Revised Core Product Model for Representing Design Information , 2004 .

[3]  Kyoung-Yun Kim,et al.  Ontology-based assembly design and information sharing for collaborative product development , 2006, Comput. Aided Des..

[4]  Mark S. Fox,et al.  A Requirement Ontology for Engineering Design , 1996 .

[5]  Maria J. Stokes,et al.  Managing Engineering Knowledge: MOKA-Methodology for Knowledge Based Engineering Applications , 2001 .

[6]  Edith Schonberg,et al.  Scalable Semantic Retrieval through Summarization and Refinement , 2007, AAAI.

[7]  Steven J. Fenves,et al.  A product information modeling framework for product lifecycle management , 2005, Comput. Aided Des..

[8]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[9]  Antero Taivalsaari,et al.  On the notion of inheritance , 1996, CSUR.

[10]  Robert Meersman,et al.  Scalability and knowledge reusability in ontology modeling , 2002 .

[11]  Douglas A. Schenck,et al.  Information modeling: the EXPRESS way , 1994 .

[12]  William C. Burkett.  Product data markup language: a new paradigm for product data exchange and integration , 2001, Comput. Aided Des..

[13]  Sudarsan Rachuri,et al.  Information Models for Product Representation: Core and Assembly Models , 2004 .

[14]  L. Serafini,et al.  D2.1.1 Survey of Scalability Techniques for Reasoning with Ontologies , 2004 .

[15]  Evren Sirin,et al.  Opening, Closing Worlds - On Integrity Constraints , 2008, OWLED.

[16]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[17]  Andrew Y. C. Nee,et al.  Towards a generic distributed and collaborative digital manufacturing , 2007 .

[18]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[19]  Steven J. Fenves,et al.  Information sharing and exchange in the context of product lifecycle management: Role of standards , 2008, Comput. Aided Des..

[20]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[21]  Ram D. Sriram,et al.  An object-oriented representation for product and design processes , 1998, Comput. Aided Des..

[22]  Riichiro Mizoguchi,et al.  A functional concept ontology and its application to automatic identification of functional structures , 2002, Adv. Eng. Informatics.

[23]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[24]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[25]  Achille Fokoue,et al.  Semantic Web Technologies and Data Management , 2007 .