Ditemukan 4 dokumen yang sesuai dengan query
Faiq Miftakhul Falakh, author
Tugas Akhir ini mengembangkan ontologi semantic web berbasis Description
Logic untuk aplikasi pelestarian digital warisan budaya dan sejarah alam Indonesia.
Pembuatan ontologi ini penting untuk alasan interoperability dan memudahkan
komputer melakukan penalaran pada konsep-konsep budaya. Metode yang
digunakan untuk membangun ontologi ini adalah metode Uschold and King.
Pengembangan diawali dengan penentuan tujuan dan ruang lingkup...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2013
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
New York: Cambridge University Press, 2007
R 006.332 DES
Buku Referensi Universitas Indonesia Library
Rademaker, Alexandre, editor
A proof theory for description logics introduces sequent calculi and natural deduction for some DLs (ALC, ALCQ). Cut-elimination and normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes...
London: Springer, 2012
e20406298
eBooks Universitas Indonesia Library
Baarde, Franz, author
Description logics are knowledge representation formalisms that are highly relevant in computer science, knowledge representation and the semantic web. This is the first introductory textbook published on the subject, suitable for self-study by graduate students and as teaching material for university course...
Cambridge: Cambridge University Press, 2017
006.332 BAA i
Buku Teks Universitas Indonesia Library
