Skip to main content

A Hybrid System Combining Description Logics and Rules for Inventive Design

  • Conference paper
Knowledge-Based and Intelligent Information and Engineering Systems (KES 2009)

Abstract

Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still called inventive design, has a certain quantity of specific characteristics. The theoretical approach we are interested in, called TRIZ (the Russian acronym for Theory for Inventive Problem Solving), when translated into a methodological procedure, can be declined into two different steps: problem formulation and problem resolution. This article presents an analysis of two of the most used knowledge bases of TRIZ during the resolution stage. These knowledge bases have been formalized by the construction of an ontology of the informal knowledge sources usually used by the TRIZ experts. This approach has permitted the design of a software architecture that eases the implementation of these bases by means of their declarative manipulation. It combines rules and description logics for populating the ontology and facilitates the access to the compiled generic knowledge that synthesizes, at an abstract level, the already encountered problems and their solutions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Altshuller, G.S.: Creativity as an exact science. Gordon and Breach, New York (1988); 0275-5807

    Google Scholar 

  2. Altshuller, G.S.: TRIZ the innovation algorithm, systematic innovation and technical creativity. Technical innovation Center Inc., Worcester, Massachusset (1999)

    Google Scholar 

  3. Zanni, C., Cavallucci, D., Rousselot, F.: An Ontological Basis for Inventive Design, Computers in Industry. Special issue on “Computer Aided Design” (to be appeared, 2009)

    Google Scholar 

  4. Guarino, N., Welty, C.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97–112. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  5. Savransky, S.D.: Engineering of Creativity: Introduction to TRIZ methodology of Inventive Problem Solving. CRC Ed., Boca Raton (2000)

    Book  Google Scholar 

  6. Salamatov, Y.: TRIZ: the right solution at the right time (2000); Insystec Ed. Translated by Strogaia M., Yakovlev S.

    Google Scholar 

  7. Bultey, A., De Bertrand De Beuvron, F., Rousselot, F.: A problem solving environment based on TRIZ ontologies. In: Proceedings of Virtual Concept 2006, Playa del Carmen, Mexico (2006)

    Google Scholar 

  8. De Bertrand De Beuvron, F., Rousselot, F., Kullman, M., Rudolf, D.: CICLOP. In: Proceedings of « les journées francophones de l’ingénierie des connaissances », Toulouse, France (2000)

    Google Scholar 

  9. Lauriere, J.L., Vialatte, M.: SNARK: a language to represent declarative knowledge and inference engine which use heuristics. In: Proceedings of IFIP Congres, Dublin, Ireland, pp. 811–816 (1986)

    Google Scholar 

  10. Nardi, D., Brachman, R.J.: An Introduction to Description Logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook, pp. 5–44. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  11. Bultey, A., De Bertrand De Beuvron, F., Rousselot, F.: A substance-field ontology to support the TRIZ thinking approach. Int. J. Computer Applications in Technology 30(1/2), 113–124 (2007)

    Article  Google Scholar 

  12. Baader, F., Küsters, R.: Matching in description logics with existential restrictions. In: Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 261–272 (2000)

    Google Scholar 

  13. SAAS, http://www2.insa-strasbourg.fr/lgeco/these/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bultey, A., Zanni-Merk, C., Rousselot, F., de Beuvron, F. (2009). A Hybrid System Combining Description Logics and Rules for Inventive Design. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2009. Lecture Notes in Computer Science(), vol 5711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04595-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04595-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04594-3

  • Online ISBN: 978-3-642-04595-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics