loading

Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC: Дисс. Кан-та тех. наук: 05.13.17/ Hryeн Hrок Тхан

Tác giả : Hryeн Hrок Тхан

Năm xuất bản : 2021

Nơi xuất bản : Санкт‑Петербурга

Mô tả vật lý : 160 с.: илл.; 30 см 1 реферат

Số phân loại : 006.332

Chủ đề : 1. $2Bộ TK TVQGSơ đồ. 2. $2Bộ TK TVQGTin học. 3. Bản thể học. 4. Logic mô tả.

Thông tin chi tiết

Tóm tắt :

Nghiên cứu về Logic Graphs trong việc biểu diễn các bản thể học với thuật toán logic mô tả ALC. Đề xuất các chỉ số mới đánh giá chất lượng của các bản thể luận được hình ảnh hoá về tính đầy đủ của nội dung thông tin dựa trên siêu đồ thị và ma trận liên thuộc

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA21.1700.1, LA21.1700.2, LA21.1700.3
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-847775.html