Integrating Knowledge Management and Knowledge-Based Engineering: Formal and Platform Independent Representation of Engineering Rules

Because the amount of knowledge in the engineering domain nowadays is huge, while being opaque, heterogeneous, distributed and informal at the same time, it is incredibly time-consuming for an engineer to find the knowledge (s)he is looking for and to reuse that knowledge. Furthermore, the amount of knowledge is growing exponentially, while the amount of qualified engineers is decreasing. To increase resource effectiveness and enable engineers to focus on what they do best (come up with creative design solutions) these time-consuming and non-creative tasks need to be removed from the engineer’s plate. This study set out to investigate and offer solutions to the issue of knowledge reuse relating to the knowledge contained in engineering rules, in context of a Knowledge-Based Engineering (KBE) based Multi-Disciplinary Optimization (MDO) framework, called the Integrated Design and Engineering Engine (IDEE). This research has investigated the different rule types that are required for capturing engineering rules. It was shown that these can be captured by a production rule language. To formally capture this knowledge, this research has identified the available technologies and based on this, extended the ontology based Knowledge Representation Model (KRM) of the IDEE with the production rule language RIF-PRD. Engineering rules are integrated into the KRM by means of a rule ontology that embeds the RIF-PRD expression. It was found that expressing formulas would benefit from an additional extension, which was added in the form of the mathematical language Content MathML. Formulas expressed in Content MathML are embedded into RIF-PRD. To increase the effectiveness of the IDEE approach, an implementation has been created by the author that provides the means to capture and reuse engineering rules in a more user-friendly way; from the point of informal capture to the generation of KBE application code usable by a KBE system, and the generation of process workflows usable by Simulation Work Flow Management (SWFM) tools. In addition, the implementation incorporates a reasoning engine in the form of elREy. This provides the IDEE with reasoning capabilities, used for instance to instantiate workflows. From the use cases it became apparent that all identified engineering rules were able to be captured by the extended KRM via the implementation. The implementation facilitated the modeling considerable. Because of the guidance the user gets, it is even for beginning rule modelers impossible to make a syntax error. For experienced programmers, the semi-graphical modeling might go somewhat slower, though, also due to annotation steps, but the value this brings in return is huge. The annotation provides so much information regarding origin, author, explanations, etc. that it makes the rules and the rationale easy to understand, even long after the creation of the knowledge. Because rules are stored separately they can be managed easily and directly linked to. Due to the capture of the semantics the knowledge contained in rules is easy to find, update and reuse, saving time (and money). Moreover, non-creative tasks carried out in order to reuse knowledge can be automated (e.g. generation of a KBE application). In addition, rules are platform independent and centrally stored, making sure that the knowledge they contain will not be lost and one consistent model is used in the entire framework.

[1]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[2]  Massimo Marchiori,et al.  The Mathematical Semantic Web , 2003, MKM.

[3]  Christine Golbreich,et al.  Combining Rule and Ontology Reasoners for the Semantic Web , 2004, RuleML.

[4]  R. Kurzweil The Law of Accelerating Returns , 2004 .

[5]  D. J. Stockton Improving the new product development process , 1983 .

[6]  M. J. L. van Tooren,et al.  Enabling distributed multi-disciplinary design of complex products: a knowledge based engineering approach , 2007 .

[7]  Thomas H. Davenport,et al.  Book review:Working knowledge: How organizations manage what they know. Thomas H. Davenport and Laurence Prusak. Harvard Business School Press, 1998. $29.95US. ISBN 0‐87584‐655‐6 , 1998 .

[8]  Kenneth Slonneger,et al.  Formal syntax and semantics of programming languages - a laboratory based approach , 1995 .

[9]  R. Kurzweil,et al.  The Singularity Is Near: When Humans Transcend Biology , 2006 .

[10]  Nick Milton,et al.  Knowledge Technologies , 2008, ArXiv.

[11]  Christian de Sainte Marie,et al.  ILOG's position on Rule Languages for Interoperability , 2005, Rule Languages for Interoperability.

[12]  Marla M. Capozzi Knowledge management architectures beyond technology , 2007, First Monday.

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

[14]  Pablo Bermell-Garcia,et al.  International Standard Development for Knowledge Based Engineering Services for Product Lifecycle Management , 2008, Concurr. Eng. Res. Appl..

[15]  Nick Milton Knowledge Management: For Teams and Projects , 2005 .

[16]  Keith Case,et al.  An engineering design knowledge reuse methodology using process modelling , 2007 .

[17]  M. van Tooren Sustainable knowledge growth , 2003 .

[18]  James A. Hendler,et al.  N3Logic: A logical framework for the World Wide Web , 2007, Theory and Practice of Logic Programming.

[19]  Christoph Lange,et al.  Ontologies and languages for representing mathematical knowledge on the Semantic Web , 2013, Semantic Web.

[20]  Thomas Krichel The Semantic Web and an Introduction to RDF , 2002 .

[21]  Michael Kifer,et al.  Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions , 2005, Rule Languages for Interoperability.

[22]  Gary Belie Non-Technical Barriers to Multidisciplinary Optimization in the Aerospace Industry , 2002 .

[23]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[24]  B. Demuth,et al.  Generation of an OCL 2 . 0 Parser , 2005 .

[25]  P. Davies The American heritage dictionary of the English language , 1981 .

[26]  Thomas Eiter,et al.  Rules and Ontologies for the Semantic Web , 2008, Reasoning Web.

[27]  Bijan Parsia,et al.  Cautiously Approaching SWRL , 2005 .

[28]  Ian Horrocks,et al.  A Description Logic Primer , 2012, ArXiv.

[29]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[30]  Michael Kifer,et al.  RIF Framework for Logic Dialects , 2009 .

[31]  Charles A. Snyder,et al.  The Process of Knowledge Harvesting™: The Key to KM , 2000 .

[32]  E. J. Schut,et al.  Tail Optimization and Redesign in a Multi Agent Task Environment (TailORMATE) , 2006 .

[33]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[34]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[35]  Jens G. Pohl,et al.  Increasing the Expressiveness of OWL Through Procedural Attachments , 2009 .

[36]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

[37]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[38]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[39]  G. La Rocca,et al.  Knowledge based engineering techniques to support aircraft design and optimization , 2011 .

[40]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[41]  Anthony Mills,et al.  Data, Information, Knowledge, and Wisdom , 2011 .

[42]  Aidan Hogan,et al.  Exploiting RDFS and OWL for Integrating Heterogeneous, Large-Scale, Linked Data Corpora , 2011 .

[43]  Angelo Corallo,et al.  Streamlining new product development ( PD ) in aerospace through knowledge based engineering ( KBE ) , 2010 .

[44]  J.P.T.J. Berends,et al.  An Agent System Co-operating as a Design Build Team in a Multidisciplinary Design Environment , 2006 .

[45]  Tim Berners-Lee,et al.  Experience with N3 rules , 2005, Rule Languages for Interoperability.