Markup-Languages-Based Approach to Knowledge Management and Representation

• Autorzy: Grzegorz J. Nalepa , Antoni Ligęza
• Języki publikacji: EN

Abstrakty

EN

The paper presents a new approach to knowledge management and representation with XML-based solution for rule-based systems management. A new integrated CASE environment for rule-based systems design is discussed. The principal idea consists in integrating the design with verification methodology, while supporting it by an integrated visual development environment. The environment discussed employs XML-based meta-level knowledge representation language to internally store the complete description of a system being built. Formal properties of the system can be verified on-line by external modules which integrate Prolog-based inference engine with the visual design environment. Modularization allows for writing multiple validation components for different formal properties. The visual CASE environment presented in the paper is the result of several years of research. It aims at supporting wide class of rule-based systems. Open and modular architecture of the environment makes future extensions easy to implement. It is a example of application of modern markup-based knowledge representation techniques to design and verification of rule-based systems. (original abstract)

Artykuł poświęcono zagadnieniom związanym z podejściem do zarządzania wiedzą opartym na języku adiustacyjnym. Zaprezentowano rozszerzalny język programowania (XML) dla systemów regułowych. Omówiono środowisko oprogramowania używanego do komputerowego wspomagania projektowania oprogramowania (CASE).

Słowa kluczowe

EN

Knowledge management; Programing languages; Computer aided software engineering (CASE); Computer Aided Software Enginneering (CASE)

PL

Zarządzanie wiedzą; Języki programowania; Komputerowe wspomaganie inżynierii programowania (CASE); Computer Aided Software Enginneering (CASE)

• Czasopismo: Prace Naukowe Akademii Ekonomicznej we Wrocławiu
• Rocznik: 2004
• Numer: nr 1011 Pozyskiwanie wiedzy i zarządzanie wiedzą
• Strony: 234--240

Twórcy

autor

Grzegorz J. Nalepa

autor

Antoni Ligęza

Bibliografia

• Andert E. P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, 357-373.
• Boley H., Decker S., Sintek M.: Tutorial on Knowledge Markup Techniques, http://www.dfki.uni-kl.de/km/knowmark, ECAI2000, Berlin.
• Boley H., Tabet S., Wagner G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules, SWWS'Ol, Stanford, 2001.
• Bray Т., Paoli J., Sperberg-McQueen C.M., Maler E.: Eds.: Extensible Markup Language (XML) 1.0 (Second Edition), http://www.w3.org/TR/REC-xml, W3C Recommendation, 2000.
• Coenen F.: Validation and verification of knowledge based systems: Report on EUROVAV'99. "Knowledge Engineering Review", 15:2,2000,187-196.
• de Hoog R.: Methodologies for Building Knowledge-Based Systems: Achievements and Prospectus. A Chapter in [9].
• Lassila O., Swick R.R.: Resource Description Framework (RDF) Model and Syntax Specification, http://www.w3.org/TR/REC-rdf-syntax, W3C Recommendation, 1999.
• Lee K.J., Boley H., Tabet S.: Issues in Semantic Web-based E-Commerce and Rule Markup Languages, ICEC 2001, Workshop on Semantic Web-based E-Commerce and Rules Markup Languages, November 2nd, 2001, Vienna Austria.
• Liebowitz J.: The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.
• Ligęza A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [17], 1999, 313-325.
• Ligęza A.: Logical support for design of rule-based systems. Reliability and quality issues, ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-based Systems, ЕСАI'96, 1996, Budapest, 28-34.
• Ligęza A.: Toward logical analysis of tabular rule-based systems. "International Journal of Intelligent Systems", Vol. 16, 333-360,2001.
• Ligęza A., Wojnicki L, Nalepa G.J.: Tab-Trees: a CASE tool for the design of extended tabular systems Database and expert systems applications. 12th International Conference, DEXA 2001: Munich, September 3-5,2001, : proceedings / eds. Heinrich C. Mayr [et al.]. - Berlin: Springer, 2001. - (Lecture Notes in Computer Science ; 2113).
• Nalepa G.J., Ligęza A.: Designing reliable web security systems using rule-based systems approach, Atlantic Web Intelligence Conference AWIC 2003, Madrid, Spain, May 5-6, 2003, proceedings / eds. E. Menasalvas [et al.]. - Berlin: Springer-Verlag, 2003. (LNCS AI 2663).
• Nalepa G.J., Ligęza A.: Integrated design environment for formal verification of ruled-based systems, Inżynieria wiedzy i systemy ekspertowe. Zdzisław Bubnicki i Adam Grzech, red. -Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2003.
• Nalepa G.J., Ligęza A.: Graphical CASE tools for integrated design and verification of rule-based systems, Symposium on Methods of Artificial Intelligence: proceedings / eds. Burczynski T. [et al.], Silesian University of Technology, Polish Association for Computational Mechanics, Gliwice, 2001.
• Vermesan A. and Coenen F. (Eds.): Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999.
• Wielinga B.J., Schreiber A.Th., Breuker J.A.: KADS: A modeling approach to knowledge engineering. Readings in Knowledge Acquisition and Learning, Morgan Kaufmann 1992, Los Altos, CA.