» Từ khóa: ngu nghia mo hinh

Kết quả 1-9 trong khoảng 9

Bài giảng Hệ cơ sở dữ liệu: Chương 1 - TS. Lê Thị Tú Kiên

Bài giảng Hệ cơ sở dữ liệu: Chương 1 Khái quát về các hệ cơ sở dữ liệu, cung cấp cho người học những kiến thức như: Hệ cơ sở dữ liệu; Hệ quản trị cơ sở dữ liệu; Các mức trừu tượng của một hệ cơ sở dữ liệu; Tính độc lập giữa dữ liệu và chương trình; Một số mô hình cơ sở dữ liệu;...Mời các bạn cùng tham khảo!

86 p husc 23/12/2023 114 0

Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Mô hình cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Lưu trữ dữ liệu, Ngôn ngữ định nghĩa dữ liệu
Tìm hiểu việc biểu diễn tri thức bằng các chương trình logic.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...

5 p husc 23/10/2017 356 1

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.
Ứng dụng web ngữ nghĩa và OpenStreetMap hỗ trợ tìm kiếm thông tin du lịch tỉnh Bà Rịa – Vũng Tàu.

Mô tả về bài toán tìm kiếm thông tin du lịch tỉnh Bà Rịa – Vũng Tàu, giải pháp cho hệ thống tìm kiếm thông tin du lịch để trình bày mô hình của hệ thống, chuyển đổi (RDF) và lưu trữ dữ liệu (Jena). Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

5 p husc 20/10/2017 494 7

Từ khóa: Công nghệ thông tin, Web ngữ nghĩa, Ngôn ngữ truy vấn, Linked data, Mô hình hóa thông tin, Dữ liệu từ DBF, Quản lý thông tin, Thông tin du lịch, Truy vấn dữ liệu, Xây dựng ứng dụng.
Tìm hiểu ngữ nghĩa chương trình Logic mở rộng và ứng dụng.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

10 p husc 27/09/2016 395 2

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.
Nghiên cứu việc chuyển đổi mô hình TimeER sang OWL ONTOLOGY.

Trình bày phương pháp chuyển đổi mô hình EER sang OWL-ontology để xây dựng ứng dụng minh họa, trình bày kết quả minh họa và kết quả cài đặt công cụ TimeER2OWL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

7 p husc 01/06/2016 383 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Lớp cha, Lớp con, Chuyên biệt hóa, Dữ liệu thời gian, Mô hình TimeER, Xây dựng ontology, Ngôn ngữ RDF, Dữ liệu vào, Dữ liệu ra, Phân tích bài toán
Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 01/06/2016 344 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog
Tìm hiểu về chương trình Datalogfs và ứng dụng.

Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 31/05/2016 343 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình
Nghiên cứu và xây dựng hệ thống tích hợp thông tin cá nhân dựa trên công nghệ Web ngữ nghĩa.

Hệ thống quản lý thông tin cá nhân theo tiếp cận Web ngữ nghĩa. Cách biểu diễn thông tin bằng RDF và OWL. Truy vấn thông tin cá nhân bằng ngôn ngữ SPARQL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

10 p husc 27/05/2016 328 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Mô hình dữ liệu RDF, Phân cấp lớp, Phân cấp thuộc tính, Ngôn ngữ RDF, Toán tử tập hợp, Lớp liệt kê, Lớp rời nhau, Khung ứng dụng.
Nghiên cứu một số vấn đề về cơ sở dữ liệu theo thời gian

Thiết kê ở mức logic đối với CSDL có yếu tố thời gian. Xây dựng phụ thuộc hàm theo thời gian trên đối tượng phức. Thiết kế mô hình ngữ nghĩa cho CSDL thời gian. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

7 p husc 18/02/2016 421 1

Từ khóa: Tin học, cơ sở dữ liệu, thiết kế mô hình ngữ nghĩa, cơ sở dữ liệu thời gian