Средство логического вывода для Semantic Web на основе продукционной модели представления знанийтезисы доклада