
Метод диаграмматической верификации онтологий на основе дескрипционной логики 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 |
---|---|---|
![]() |
LA21.1700.1, LA21.1700.2, LA21.1700.3 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-847775.html |