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.