Знайдено документів: 1
Інформація × Реєстраційний номер 0307U003520, 0106U009460 , Науково-дослідна робота Назва роботи Об'єктно-орієнтована система баз знань для суджень про OWL-онтології Назва етапу роботи Проведення досліджень та створення специфікації системи та її проектування: створення специфікацій архітектури системи (компонентів) та функціонування системи, проектування розширеної OWL-S відображаючої схеми в межах категорної інтервальної логіки, теорій типів, функторіальної інтервальної семантики з наголосом на верифікацію на базі теоретичних аспектів дескриптивної логіки, які утворюють фундамент OWL-мережевої мови онтологій. Керівник роботи Вельбицький Ігор В'ячеславович, Дата реєстрації 29-03-2007 Організація виконавець Міжнародний науковий центр технології програмування "Технософт" Опис етапу У ході роботи було досліджено та описано специфікацію архітектури системи (компонентів) та функціонування системи. Це зроблено для запропонованої грецькою стороною нової дедуктивної об'єктно-орієнтованої системи баз знань для суджень у середовищі OWL- документів, яка має назву Q-DEVICE. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Керівник: Вельбицький Ігор В'ячеславович. Об'єктно-орієнтована система баз знань для суджень про OWL-онтології. (Етап: Проведення досліджень та створення специфікації системи та її проектування: створення специфікацій архітектури системи (компонентів) та функціонування системи, проектування розширеної OWL-S відображаючої схеми в межах категорної інтервальної логіки, теорій типів, функторіальної інтервальної семантики з наголосом на верифікацію на базі теоретичних аспектів дескриптивної логіки, які утворюють фундамент OWL-мережевої мови онтологій.). Міжнародний науковий центр технології програмування "Технософт". № 0307U003520
Знайдено документів: 1

Оновлено: 2026-03-17