Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Rules as a Knowledge Representation Paradigm Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

9. Semantic Knowledge Engineering Approach

verfasst von : Grzegorz J. Nalepa

Erschienen in: Modeling with Rules Using Semantic Knowledge Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter we introduce the Semantic Knowledge Engineering approach. It is a development approach for Knowledge-based Systems that uses rule-based knowledge representation. The core of the approach is the formalized rule representation method XTT. The motivation for the approach, along with its distinctive features are given. Then the SKE design process for rule-based systems is presented. SKE was developed to support a heterogeneous architecture of rule-based applications. The approach is well supported by a number of discussed software tools for knowledge base design, generation of the executable rule format, and execution of the rule-based system. Furthermore, tools for rule analysis are discussed.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Formalizing Interoperability in Rule Bases
Nächstes Kapitel Rule Interoperability with Expert System Shells
Fußnoten
4
Here by “quality” we mostly mean the correctness of the system, providing its safety, reliability, etc. From this perspective, quality is mostly assured by system verification.
 
5
In fact, one can imagine that a number of documents related to the system can be used in this phase. This include norms, standards, and written policies.
 
6
To simplify the transition from this stage to the next one, some basic natural language processing techniques might be considered. In fact, in [1] we explored a simple semi-formalization in Structured English, which is the part of the SBVR standard [2].
 
7
Considering the whole life cycle of a system more phases of the process could be identified, e.g. refinement, tuning, maintenance, etc. However, these are not directly addressed here, because the focus is on building the system.
 
8
It is worth emphasizing that the principal idea is not to model the whole application in the rule-based manner. Instead, it is asserted that a clear separation of the declarative rule-based logic is possible. Interfaces are identified and possibly designed in another, more common way e.g. using object-oriented frameworks.
 
14
In fact the original case study does not have this deficiency. To show the discovery of uncovered states, the model domain has been changed and the number of failed attempts have been increased to 5.
 
Literatur
1.
Atzmueller, M., Nalepa, G.J.: A textual subgroup mining approach for rapid ARD+ model capture. In: Lane, H.C., Guesgen, H.W. (eds.) FLAIRS-22: Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society conference: 19–21 May 2009, Sanibel Island, Florida, USA, Menlo Park, California, FLAIRS, pp. 414–415. AAAI Press (2009)
2.
OMG: Semantics of Business Vocabulary and Business Rules (SBVR). Technical Report dtc/06-03-02, Object Management Group (2006)
3.
Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model Driven Architecture, 1st edn. Addison-Wesley Professional (2002)
4.
Burbeck, S.: Applications programming in Smalltalk-80(TM): How to use Model-View-Controller (MVC). Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign (1992)
5.
Hayes-Roth, B.: A blackboard architecture for control. Artif. Intell. 26(3), 251–321 (1985)CrossRef
6.
Bieberstein, N., Bose, S., Fiammante, M., Jones, K., Shah, R.: Service-Oriented Architecture (SOA) Compass: Business Value, Planning, and Enterprise Roadmap. IBM Press (2006)
7.
Kaczor, K., Nalepa, G.J.: HaDEs - presentation of the HeKatE design environment. In: Baumeister, J., Nalepa, G.J. (eds.) 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany, pp. 57–62 (2009)
8.
Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)
9.
Nalepa, G.J., Ligęza, A., Kaczor, K., Furmańska, W.T.: HeKatE rule runtime and design framework. In: Giurca, A., Nalepa, G.J., Wagner, G. (eds.) Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) September 21, 2009, Cottbus, Germany, pp. 21–30 (2009)
10.
Nalepa, G.J., Wojnicki, I.: XML-based knowledge translation methods for XTT-based expert systems. In: Tadeusiewicz, R., Ligęza, A., Szymkat, M. (eds.) CMS’07: Computer Methods and Systems 21–23 November 2007, Kraków, Poland, AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, pp. 77–82 (2007)
11.
Nalepa, G.J., Wojnicki, I.: VARDA rule design and visualization tool-chain. In: Dengel, A.R., et al. (eds.) KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23–26, 2008. Lecture Notes in Artificial Intelligence, vol. 5243, pp. 395–396. Springer, Berlin (2008)
12.
Nalepa, G.J., Wojnicki, I.: Hierarchical rule design with HaDEs the HeKatE toolchain. In: Ganzha, M., Paprzycki, M., Pelech-Pilichowski, T. (eds.) Proceedings of the International Multiconference on Computer Science and Information Technology, vol. 3, pp. 207–214. Polish Information Processing Society (2008)
13.
Kaczor, K., Nalepa, G.J.: Design and implementation of HQEd, the visual editor for the XTT+ rule design method. Technical Report CSLTR 02/2008, AGH University of Science and Technology (2008)
14.
Kaczor, K., Nalepa, G.J.: Extensible design and verification enviroment for XTT rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS’09: Computer Methods and Systems: 7th conference, 26–27 November 2009, Kraków, Poland, Cracow, AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, pp. 99–104 (2009)
15.
Nalepa, G.J., Bobek, S., Gawędzki, M., Ligęza, A.: HeaRT Hybrid XTT2 rule engine design and implementation. Technical Report CSLTR 4/2009, AGH University of Science and Technology (2009)
16.
Nalepa, G.J.: Architecture of the HeaRT hybrid rule engine. In: Rutkowski, L. et al. (eds.) Artificial Intelligence and Soft Computing: 10th International Conference, ICAISC 2010: Zakopane, Poland, June 13–17, 2010, Pt. II. Lecture Notes in Artificial Intelligence, vol. 6114, pp. 598–605. Springer (2010)
17.
Bobek, S., Nalepa, G.J., Babiarz, P.: Web-based edtitor for structured rule bases. In: Rutkowski, L., et al. (eds.) ICAISC 2017 Proceedings. LNCS, Springer (2017)
18.
Szostek-Janik, J.: Translations of knowledge representations for rule-based systems. AGH University of Science and Technology. MSc Thesis (2008)
19.
Kluza, K., Nalepa, G.J., Łysik, Ł.: Visual inference specification methods for modularized rulebases. Overview and integration proposal. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence September 21, 2010, Karlsruhe, Germany, pp. 6–17 (2010)
20.
Nalepa, G.J., Kluza, K.: UML representation for rule-based application models with XTT2-based business rules. Int. J. Softw. Eng. Knowl. Eng. (IJSEKE) 22(4), 485–524 (2012)CrossRef
21.
Denvir, T., Oliveira, J., Plat, N.: The cash-point (ATM) ‘Problem’. Form. Asp. Comput. 12(4), 211–215 (2000)CrossRef
22.
Poizat, P., Royer, J.C.: Kadl specification of the cash point case study. Technical report, IBISC, FRE 2873 CNRS - Universite d’Evry Val d’Essonne, France, Genopole Tour Evry 2, 523 place des terrasses de l’Agora 91000 Evry Cedex (2007)
23.
24.
Olderog, E.R., Wehrheim, H.: Specification and (property) inheritance in csp-oz. Sci. Comput. Program. 55(1–3), 227–257 (2005). Formal Methods for Components and Objects: Pragmatic aspects and applications
25.
Nalepa, G.J., Wojnicki, I.: An ARD+ design and visualization toolchain prototype in Prolog. In: Wilson, D.C., Lane, H.C. (eds.) FLAIRS-21: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society conference: 15–17 May 2008, Coconut Grove, Florida, USA, pp. 373–374. AAAI Press (2008)
26.
Nalepa, G.J., Wojnicki, I.: ARD+ a prototyping method for decision rules. method overview, tools, and the thermostat case study. Technical Report CSLTR 01/2009, AGH University of Science and Technology (2009)
27.
Kluza, K., Kaczor, K., Nalepa, G.J.: Enriching business processes with rules using the Oryx BPMN editor. In: Rutkowski, L. et al. (eds.) Artificial Intelligence and Soft Computing: 11th International Conference, ICAISC 2012: Zakopane, Poland, April 29–May 3, 2012. Lecture Notes in Artificial Intelligence, vol. 7268, pp. 573–581. Springer (2012)
28.
Bobek, S., Kaczor, K., Nalepa, G.J.: Overview of rule inference algorithms for structured rule bases. Gdansk Univ. Technol. Fac. ETI Ann. 18(8), 57–62 (2010)
29.
Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, Harlow (2000)MATH
30.
Bobek, S., Nalepa, G.J., Ślażyński, M.: Heartdroid – rule engine for mobile devices and context-aware systems. Pervasive and Mobile Computing (2016)
31.
Bobek, S., Nalepa, G.J.: Uncertain context data management in dynamic mobile environments. Future Gener. Comput. Syst. 66, 110–124 (2017)CrossRef
32.
Bobek, S., Nalepa, G.J.: Incomplete and uncertain data handling in context-aware rule-based systems with modified certainty factors algebra. In: Bikakis, A., Fodor, P., Roman, D. (eds.) Rules on the Web. From Theory to Applications. Lecture Notes in Computer Science, vol. 8620, pp. 157–167. Springer International Publishing (2014)
33.
Bobek, S., Nalepa, G.: Compact representation of conditional probability for rule-based mobile context-aware systems. In: Bikakis, A., Fodor, P., Roman, D. (eds.) Rules on the Web. From Theory to Applications. Lecture Notes in Computer Science. Springer International Publishing (2015)
34.
Ligęza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS’09: Computer Methods and Systems: 7th conference, 26–27 November 2009, Kraków, Poland, Kraków, AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, pp. 105–110 (2009)
35.
Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: HalVA – rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) Rule-Based Reasoning, Programming, and Applications. Lecture Notes in Computer Science, vol. 6826, pp. 337–344. Springer, Berlin (2011)
Metadaten
Titel
Semantic Knowledge Engineering Approach
verfasst von
Grzegorz J. Nalepa
Copyright-Jahr
2018
Buch
Modeling with Rules Using Semantic Knowledge Engineering

Print ISBN: 978-3-319-66654-9

Electronic ISBN: 978-3-319-66655-6

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-66655-6_9