1 documents found
Information × Registration Number 0307U003520, 0106U009460 , R & D reports Title An Object-Oriented Knowledge Base System for Reasoning about OWL Ontologyes popup.stage_title Проведення досліджень та створення специфікації системи та її проектування: створення специфікацій архітектури системи (компонентів) та функціонування системи, проектування розширеної OWL-S відображаючої схеми в межах категорної інтервальної логіки, теорій типів, функторіальної інтервальної семантики з наголосом на верифікацію на базі теоретичних аспектів дескриптивної логіки, які утворюють фундамент OWL-мережевої мови онтологій. Head Velbitskiy Igor, Registration Date 29-03-2007 Organization International Software Technology Research Center TECHNOSOFT popup.description2 The specification of system architecture and system functioning was investigated and described during the work. It was done for new deductive object-oriented system of knowledge's bases for judgments in the environment of OWL-documents, which is named Q-DEVICE and was offered by the Greek side Product Description popup.authors popup.nrat_date 2020-04-02 Close
R & D report
An Object-Oriented Knowledge Base System for Reasoning about OWL Ontologyes
Head: Velbitskiy Igor. An Object-Oriented Knowledge Base System for Reasoning about OWL Ontologyes. (popup.stage: Проведення досліджень та створення специфікації системи та її проектування: створення специфікацій архітектури системи (компонентів) та функціонування системи, проектування розширеної OWL-S відображаючої схеми в межах категорної інтервальної логіки, теорій типів, функторіальної інтервальної семантики з наголосом на верифікацію на базі теоретичних аспектів дескриптивної логіки, які утворюють фундамент OWL-мережевої мови онтологій.). International Software Technology Research Center TECHNOSOFT. № 0307U003520
1 documents found

Updated: 2026-03-25


Роздрукувати цю сторінку