Golovianko M. Methods and a model of knowledge verification for Web-content intellectualization

Object of research - the process of knowledge verification in distributed intelligent systems. Subject of research - methods and models of knowledge verification for Web-content intellectualization. Research methods are based on the integrated use of systems theory, artificial intelligence theory, graph theory, description logics formalisms based on first-order calculus, Web-technologies (including Semantic Web technologies) according to research by the World Wide Web Consortium . Theoretical and practical results is a common salvation of actual scientific and practical problems associated with Web-content intellectualization through its verification. Scientific novelty: 1) method of semantic knowledge verification, which is to establish the authenticity of knowledge presented in the Web-space using ontology model based on analysis of information that is automatically extracted from distributed heterogeneous sources, resulting in improved confidence in Web-content; 2) method of interpretation of verification elements which is to determine the equivalence of tree structures, taking into account the semantics of nodes which allowed to classify ontological knowledge by way of their inference and discover changes in the inference mechanisms; 3) improved model for ontologies representation, which differs from existing models, based on description logics by presence of the verification component, which expands the set of basic concepts and relationships, and adds a verification component to the existing triple form describing statements that made it possible to explain and justify the inference of hybrid knowledge, and 4) improved model of Web-oriented distributed systems management of heterogeneous resources, which differs from the existing by verification components, which allowed verification implementation of semantic content in the systems of this type. Introduction degree - LTD "KODA", and at the Department of Artificial Intelligence in Kharkiv National University of Radio Electronics. Area of application covers organizations related to the development of knowledge-based systems to support decision making and in the educational process for training specialists in the field of intellectual processing.