1,055 research outputs found
Domains with Complicated Structures and Their Ontologies
The article defines the class of domains with complicated structures, gives the definition of multilevel
ontologies and determines the method for developing such ontologies
Parallelization of Logical Inference for Confluent Rule-based System
* This paper was made according to the program № 14 of fundamental scientific research of the Presidium of the
Russian Academy of Sciences, the project 06-I-П14-052The article describes the research aimed at working out a program system for multiprocessor
computers. The system is based on the confluent declarative production system. The article defines some
schemes of parallel logical inference and conditions affecting scheme choice
- …