Chương 3 đã trình bày về mối liên hệ giữa chương trình Datalog và logic mô tả, trong đó tập trung vào chi tiết về cú pháp, ngữ nghĩa của logic mô tả DL- Lite. Mối liên hệ giữa logic mô tả DL-Lite và chương trình Datalog được thể hiện qua một phép chuyển đổi và được minh họa chi tiết qua nhiều ví dụ. Chương 3 cũng giới thiệu một hệ thống lập trình logic DLV, tiến hành cài đặt và thực thi một số chương trình Datalog bằng DLV.
KẾT LUẬN
Luận văn tập trung tìm hiểu về chương trình Datalog và mối quan hệ với logic mô tả DL-Lite. Các kết quả chính mà luận văn đạt được là:
-Tìm hiểu cú pháp của chương trình Datalog và các tiếp cận để xác định ngữ nghĩa chương trình Datalog.
-Tìm hiểu tổng quan về quan hệ giữa chương trình Datalog và logic mô tả; Cú pháp của chương trình Datalog; Ngữ nghĩa của chương trình Datalog theo các tiếp cận lý thuyết mô hình và lý thuyết điểm bất động.
-Tìm hiểu cú pháp và ngữ nghĩa của logic mô tả DL-Lite, phương pháp chuyển logic mô tả DL-Lite thành chương trình Datalog cùng với các ví dụ minh họa chi tiết.
- Tìm hiểu hệ thống lập trình logic DLV, tiến hành cài đặt và thực thi một số chương trình Datalog bằng DLV.
Hướng phát triển của đề tài là:
TÀI LIỆU THAM KHẢO
Tiếng Việt
1. Lê Mạnh Thạnh, Trương Công Tuấn (2011), Giáo trình Chương trình Datalog, NXB Đại học Huế.
Tiếng Anh:
2. Apt K. R. (1990), Logic Programming, Elsevier Science Publishers.
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds). (2003). The Description Logic Handbook. Theory, Implementation and Applications. Cambridge University Press.
4. Calì, A., Gottlob, G., Thomas Lukasiewicz, (2008). “Tractable Query Answering over Ontologies with Datalog±”. Computing Laboratory and Oxford-Man Institute of Quantitative Finance, University of Oxford, UK, pp. 25-37.
5. Calì, A., Gottlob, G., Lukasiewicz, T., (2009). “A general Datalog-based framework for tractable query answering over ontologies”. In: Proc. of PODS, pp. 77–86. ACM Press.
6. Calì, A., Gottlob, G., Andreas Pieris. (2010). “Query answering under non- guarded rules in Datalog+/-“. In Proceedings of RR, pp. 175-190.
7. Calì, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A. (2010). “Datalog+/-: A family of logical knowledge representation and query languages for new applications”. In: Proc. of LICS, pp. 228–242.
8. Deutsch, A., Nash, A., Remmel, J.B. (2008). “The chase revisisted”. In: Proc. Of PODS, pp. 149-158.
9. Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus, (2012). “Datalog and its Extensions for Semantic Web Datababes”. Reasoning Web Summer School, Vienna, Austria, pp. 15-39.