An Analysis of Description Logic Augmented with Domain Rules for the Development of Product Models

Cited 16 time in webofscience Cited 0 time in scopus
  • Hit : 505
  • Download : 0
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. 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 analysis of description logic (DL) and domain-specific rules with respect to the requirements by giving an example of a product ontology developed with ontology web language-description logic (OWL) and augmented with semantic web rule language (SWRL) rules. Clearly, increasing the expressivity of a product ontology also improves that of domain-specific rules, but there exits the usual tradeoff between the expressivity of languages and the complexity of their reasoning tasks. We present a case study of an electromechanical product to validate the analysis and further show how the OWL-DL reasoner together with the rule engine can enable reasoning about 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. [DOI: 10.1115/1.3385794]
Publisher
ASME-AMER SOC MECHANICAL ENG
Issue Date
2010-06
Language
English
Article Type
Article
Keywords

LIFE-CYCLE MANAGEMENT; DESIGN; ONTOLOGY; FRAMEWORK; EXCHANGE

Citation

JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, v.10, no.2

ISSN
1530-9827
DOI
10.1115/1.3385794
URI
http://hdl.handle.net/10203/98216
Appears in Collection
IE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 16 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0