Knowledge formalization methods for semantic interoperability in rule bases

Promotor: Grzegorz J. Nalepa.Recenzent: Marcin Szpyrka, Ngoc Thanh Nguyen.Niepublikowana praca doktorska.Tyt. z ekranu tyt.Praca doktorska. AGH University of Science and Technology in Kraków. Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, 2015.Zawiera bibliogr.Dostępna również w wersji drukowanej.Tryb dostępu: Internet.State of the art in rule representation, knowledge representation with rules, selected knowledge representation methods, expert systems, production systems Shells, business rules approach, rules on semantic web, rules in software engineering, formalization of rules, propositional logic, First-Order Predicate Calculus, common logic, description logics, attributive logic, F-LOGIC, modal logics, knowledge engineering processes, problem identification, knowledge acquisition, knowledge modeling, inference process, knowledge verification and validation, knowledge interoperability, rule interoperability methods, knowledge interchange framework, rule interchange framework, production rule representation, rule markup language, REWERSE rule markup language, languages for production rules, important features of rule languages, Polish Liability Insurance Use Case Example, CLIPS, Jess, DROOLS, XTT2, comparison of rule languages, CLIPS versus JESS, CLIPS versus DROOLS, JESS versus DROOLS, all versus XTT2, existing approaches to translation of the selected rule languages, model of production rule representation, multilevel approach to rule interoperability, definition of the formalized model, data types and objects, facts, system state and trajectory, variables, taxonomy of formulae and operators, semantics of formulae and operators, rules, modules, knowledge base, model-based knowledge translation, identification of semantically equivalent features, translation of rule base structure, modules, rule level features, submodules, evaluation of the approach, evaluation procedure, definition and translation of the formal model of the PLI use case, definitions of types, initial state, definitions of rules, modules definitions, implementation of translation tool, identified challenges, syntax of rule languages, XML schema of the Model Concrete Synatx, CLIPS Syntax in BNF, data types, variables and expressions, Constructs, deffacts Construct, deftemplate Construct, fact specification, defrule Construct, defglobal Construct, deffunction Construct, defgeneric Construct, defmethod Construct, defclass Construct, defmessage-handler Construct, definstances Construct, defmodule Construct, Constraint Attributes, JESS Syntax, deffacts Construct, deffunction Construct, defglobal Construct, defmodule Construct, defquery Construct, defrule Construct, deftemplate Construct, Complete Models of the Selected Use Cases, Model of PLI Use Case, Formal Model of System, Model in CLIPS, Model in JESS, Model in DROOLS, Model in XTT2, Model of UserV Use Case, Formal Model of Syste