1. Trang chủ
  2. » Luận Văn - Báo Cáo

Tìm hiểu về Fuzzy ontology and fuzzy OWL

104 558 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 104
Dung lượng 2,14 MB

Nội dung

các bạn xem kĩ nội dung nhé mình để ở chế độ xem tối đa 70% tài liệu để các bạn tham khảo ! Hoc tốt nhé !

ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH TRƢỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA KHOA HỌC MÁY TÍNH ĐỒ ÁN TỐT NGHIỆP ĐỀ TÀI: TÌM HIỂU FUZZY ONTOLOGY VÀ FUZZY- OWL Giáo viên hường dẫn: ThS. TRƢƠNG HẢI BẰNG Sinh viên thực hiện: TRẦN THANH TOẢN PHẠM ĐÌNH ÂN Lớp: KHOA HỌC MÁY TÍNH Khóa: 01 TP.HỒ CHÍ MINH, 5-2010 MỞ ĐẦU Việc biểu diễn tri thức và Lập Luận Là vấn đề then chốt cho quá trình xử Lý thông tin tự động trong các hệ thống thông minh. Trong thời gian gần đây, một vấn đề quan trọng đã và đang được nhiều nhà nghiên cứu quan tâm đó Là biểu diễn và xử Lý tri thức trên Web. Năm 1998, Tim Berners-Lee đã nghiên cứu và phát triển Semantic web (web ngữ nghĩa), theo cách này các trang web không chỉ thực hiện chức năng nhận và hiển thị thông tin mà còn có khả năng tự động trích rút thông tin, truy vấn, Lập Luận trong cơ sở tri thức để có thể cho ra các thông tin một cách tự động, chính xác. Năm 2003, F-Baader đã phát triển Logic mô tả (Description Logic – DLs) ([11],[20],[19]) và xem nó như Là ngôn ngữ biểu diễn tri thức trên web ngữ nghĩa. Từ đó việc nghiên cứu quá trính biểu diễn và Lập Luận trong web ngữ nghĩa được quan tâm tuy nhiên chỉ dừng Lại đối với tri thức chắc chắn. Năm 2006, Umberto Straccia dựa vào nền tảng của Logic mô tả và Lý thuyết tập mờ của Zadeh xây dựng Logic mô tả mờ (Fuzzy Description Logic) ([9]) nhằm phục vụ cho việc xử lý tri thức không chắc chắn trên web ngữ nghĩa. Từ đó việc nghiên cứu và phát triển Logic mô tả mờ như là một cơ sở cho việc biểu diễn tri thức và lập luận được đặt ra. Vấn đề then chốt của web ngữ nghĩa Là xây dựng các cơ sở tri thức (OntoLogy mờ) [10] từ đó tạo ra cơ chế Lập Luận trên cơ sở tri thức đó cho ra các thông tin cần thiết. Bài báo đề cập việc sử dụng Logic mô tả mờ F-SHIN[10] cho Lập Luận trên (Fuzzy Ontology) [11],[19]. Trong thời gian qua em đã có điều kiện được tiếp xúc nghiên cứu về Fuzzy Ontology. Từ những nghiên cứu này, trong đồ án em sẽ nêu lên các vấn đề cơ bản của Fuzzy Ontology và các kiến thức có lien quan. Do vậy các nội dung của luận văn sẽ được trình bày theo các nội dung sau:  : Chương này giới thiệu một số kiến thức cơ bản về ontology và các vấn đề liên quan. Trong chương này chúng ta sẽ tìm hiểu về các thành phần cơ bản của Ontology cũng như các bước xây dựng Ontology. Các kiến thức trong phần này kết hợp với Logic mô tả được giới thiệu trong chương tiếp theo là kiến thức cơ bản đề xây dựng Ontology mờ.  2: Đây là chương giới thiệu về những nội dung cơ bản của logic mô tả như khái lược về logic mô tả, các ngôn ngữ của logic mô tả, kiến trúc của một hệ cơ sở tri thức dựa trên logic mô tả, các bài toán quyết định.  3. Fuzzy Ontology and fuzzy OWL: Đây là chương trình bày nghiên cứu về việc sử dụng Logic mô tả mờ cho lập luận trên Ontology mờ. Trên đây là những phần chính sẽ được trình bày trong đồ án. Trên thực tế vẫn còn nhiều vấn đề cần phải tìm hiểu về Ontology mờ. Em hy vọng mình sẽ có điều kiện để tiếp tục đi sâu hơn vào việc nghiên cứu ứng dụng của logic mô tả trong thời gian tới. Cuối cùng, em xin được gửi lời cám ơn của mình tới thầy giáo hướng dẫn thạc sỹ Trương Hải Bằng đã dìu dắt, hỗ trợ và giúp đỡ em hoàn thành đề tài này. Phần trình bày của em chắc chắn còn nhiều thiếu sót, em rất mong được sự góp ý của thày để có thể hoàn thiện tốt hơn đề tài. LỜI CẢM ƠN Chúng em xin chân thành cám ơn các thầy cô trong khoa Khoa Học Máy Tính – Trường Đại Học Công Nghệ Thông Tin đã hỗ trợ tạo nhiều điều kiện thuận lợi cho chúng em trong quá trình học tập cũng như quá trình thực hiện đồ án tốt nghiệp. Chúng em xin ghi nhận lòng biết ơn sâu sắc đến Th.S Trương Hải Bằng là người trực tiếp hướng dẫn em làm đồ án. Cám ơn thầy đã tận tình hướng dẫn, truyền đạt cho em những kiến thức quí báu để em có thể hoàn thành đồ án này. Chúng em cũng xin chân thành cám ơn quý thầy cô trong Khoa Khoa Học Máy Tính đã tận tình giảng dạy, trang bị cho chúng em những kiến thức cần thiết trong suốt quá trình học tập và nghiên cứu tại khoa. Cuối cùng chúng tôi xin gởi lời cảm ơn đến bạn bè đã hỏi thăm, động viên và giúp đỡ chúng tôi trong quá trình thực hiện đồ án. Mặc dù chúng em đã nỗ lực hết sức để hoàn thành tốt đề tài của mình nhưng dù sao những sai sót trong đồ án là những điều không thể tránh khỏi. Em rất mong nhận được sự thông cảm và những ý kiến đóng góp tận tình của các thầy, cô giáo và các bạn cũng như những ai quan tâm tới lĩnh vực trong đồ án này. Tp.Hồ Chí Minh, ngày 30 tháng 8 năm 2010 NHẬN XÉT (Của giảng viên hƣớng dẫn)

Ngày đăng: 03/02/2014, 15:50

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiết
[2] Lê Anh Phương, Nguyễn Văn Ninh, Huỳnh Bảo Quốc Dũng, Trường ĐHSP Huế, Lập luận với Ontology mờ sử dụng logic mô tả mờ F-SHIN, báo cáo hội thảo quốc gia 2008 Sách, tạp chí
Tiêu đề: Lập luận với Ontology mờ sử dụng logic mô tả mờ F-SHIN
[4] Trần Thị Ngân, Các bước xây dựng Ontology sử dụng công cụ Protege, Link: http://vnlp.net/blog/wp-content/uploads/2008/08/xdontology.pdfTiếng anh Sách, tạp chí
Tiêu đề: Các bước xây dựng "Ontology" sử dụng công cụ Protege", Link: "http://vnlp.net/blog/wp-content/uploads/2008/08/xdontology.pdf
[7] Trương Hải Bằng(2010), Definition Fuzzy Ontology, university of information technology Sách, tạp chí
Tiêu đề: Definition Fuzzy Ontology
Tác giả: Trương Hải Bằng
Năm: 2010
[8] T.Berners-Lee, J.Hendler, O.Lassila: “The Semantic Web”. Scientific American, May 2001 Sách, tạp chí
Tiêu đề: The Semantic Web
[9] Straccia, U. (1998). A fuzzy description Logic. In Proc. of the 15th Nat. Conf. on ArtificiaL InteL Ligence (AAAI-98), pp. 594–599 Madison, USA Sách, tạp chí
Tiêu đề: A fuzzy description Logic". In Proc. of the 15th Nat. Conf. on ArtificiaL
Tác giả: Straccia, U
Năm: 1998
[10] G. StoiLos, G. Stamou, V. Tzouvaras, J.Z. Pan, I. Horrocks, "The Fuzzy Description Logic f-SHIN", InternationaL Workshop on Uncertainty Reasoning For the Semantic Web (2005) Sách, tạp chí
Tiêu đề: The Fuzzy Description Logic f-SHIN
[11] I. Horrocks and U. SattLer, ‘A description Logic with transitive and in- verse roLes and roLe hierarchies’, JournaL of Logic and Computation, 9, 385–410, (1999) Sách, tạp chí
Tiêu đề: A description Logic with transitive and in- verse roLes and roLe hierarchies’, JournaL of Logic and Computation
[12] Dan Brickley, R.V.Guha (27 March 2000), Resource Description Framework (RDF) Schema Specification 1.0, W3C Sách, tạp chí
Tiêu đề: Resource Description Framework (RDF) Schema Specification 1.0
[13] Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L.McGuinness, Peter F. Patel-Schneider, Lynn Andrea Stein (18 December (18 December 2001), DAML+OIL (March 2001) Reference Description, W3C Sách, tạp chí
Tiêu đề: DAML+OIL (March 2001) Reference Description
[14] Ian Horrocks, Stefan Decker, Dieter Fensel, Frank van Harmelen (2002), OIL – the Ontology Language for the Semantic Web, University of Manchester, UK Sách, tạp chí
Tiêu đề: OIL – the Ontology Language for the Semantic Web
Tác giả: Ian Horrocks, Stefan Decker, Dieter Fensel, Frank van Harmelen
Năm: 2002
[15] Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L.McGuinness, Peter F.Patel-Schneider, Lynn Andrea Stein (18 August 2003), OWL Web Ontology Language Reference, W3C Sách, tạp chí
Tiêu đề: OWL Web Ontology Language Reference
[16] Stuart Aitken (2002), DAM –Ontology, Sevices and Rules, University of Edinburgh Sách, tạp chí
Tiêu đề: DAM –Ontology, Sevices and Rules
Tác giả: Stuart Aitken
Năm: 2002
[17] Enrico Franconi (03/2002), Description Logic Course, Faculty of Computer Science, University of Bozen-Bolzano, Italy Sách, tạp chí
Tiêu đề: Description Logic Course
[18] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel- Schneider (01/2003), The Description Logic HandbookTheory, Implemantation and Applications, Cambridge University Press Sách, tạp chí
Tiêu đề: The Description Logic HandbookTheory
[19]BucceLLa, A. and ALejandra Cechich and Nieves R. Brisaboa (2003), “OntoLogy- Based Data Integration Methods: A Framework for Comparison”, web page:http://www.unab.edu.co/editoriaLunab/ revistas/rcc/pdfs/r61_art3_c.pdf Sách, tạp chí
Tiêu đề: “OntoLogy-Based Data Integration Methods: A Framework for Comparison”," web page
Tác giả: BucceLLa, A. and ALejandra Cechich and Nieves R. Brisaboa
Năm: 2003
[20]I. Horrocks, U. SattLer, and S. Tobies. “Reasoning with IndividuaLs for the Description Logic SHIQ”. In David MacALLester, editor, CADE-2000, number 1831 in LNAI, pages 482–496. Springer-VerLag, 2000 Sách, tạp chí
Tiêu đề: “Reasoning with IndividuaLs for the Description Logic SHIQ”
[21] Natalya Fridman Noy, Ray W.Fergerson, Mark A.Musen (2002), The knowledge model of protégé-2002 –combining interoperability and flexibility, Stanford Medical Informatics, Stanford University, Stanford Sách, tạp chí
Tiêu đề: The knowledge model of protégé-2002 –combining interoperability and flexibility
Tác giả: Natalya Fridman Noy, Ray W.Fergerson, Mark A.Musen
Năm: 2002
[22] A.Maedche, B.Motik, L.Stojanovic, R.Studer, R.Volz (2003), An Infrastructure for Searching, Reusing and Evolving Distributed Ontologies, IEEE Transaction on Computers Sách, tạp chí
Tiêu đề: An Infrastructure for Searching, Reusing and Evolving Distributed Ontologies
Tác giả: A.Maedche, B.Motik, L.Stojanovic, R.Studer, R.Volz
Năm: 2003
[23] A.Maedche, B.Motik, L.Stojanovic (04/2003), Managing Multiple and Distributed Ontologies in the SemanticWeb, In Proc. 1 st Int‟l Conf. on Ontologies, Databases and Application of Semantics (ODBASE-2002) Sách, tạp chí
Tiêu đề: Managing Multiple and Distributed Ontologies in the SemanticWeb
[1] Đặng Văn Huệ (2006), Luận Văn Thạc Sỹ, Logic mô tả và ứng dụng trong cơ sở dữ liệu Khác

HÌNH ẢNH LIÊN QUAN

Hình 1.1 Cây Brentano về các phạm trù của Aristotle. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 1.1 Cây Brentano về các phạm trù của Aristotle (Trang 21)
Hình 1.2 Cây Porphyry. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 1.2 Cây Porphyry (Trang 21)
Điều này cho ta biết Explorer là mô hình thay thế cho Bronco. Ví dụ này cũng minh - Tìm hiểu về Fuzzy ontology and fuzzy OWL
i ều này cho ta biết Explorer là mô hình thay thế cho Bronco. Ví dụ này cũng minh (Trang 25)
Hình 1.4: Cấu trúc lớp phân cấp - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 1.4 Cấu trúc lớp phân cấp (Trang 32)
Bảng 1.1. Các mô tả thuộc tính đối tượng OWL - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 1.1. Các mô tả thuộc tính đối tượng OWL (Trang 34)
Bảng 1.2. Các mô tả thuộc tính lớp OWL - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 1.2. Các mô tả thuộc tính lớp OWL (Trang 35)
Hình 1.6 sơ đồ ánh xạ các thành phần của mô hình thực thể kết hợp và dữ liệu sang ontology và thể hiện - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 1.6 sơ đồ ánh xạ các thành phần của mô hình thực thể kết hợp và dữ liệu sang ontology và thể hiện (Trang 38)
Hình 1.7: kiến trúc logic mô tả. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 1.7 kiến trúc logic mô tả (Trang 40)
Bảng 2.1: Cú pháp của ngôn ngữ AL - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 2.1 Cú pháp của ngôn ngữ AL (Trang 43)
Bảng 2.2: Ngữ nghĩa của logic mô tả - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 2.2 Ngữ nghĩa của logic mô tả (Trang 44)
Hình 2.1: Kiến trúc hệ logic mô tả - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 2.1 Kiến trúc hệ logic mô tả (Trang 46)
Hình 2.2: TBox với các khái niệm về quan hệ gia đình - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 2.2 TBox với các khái niệm về quan hệ gia đình (Trang 48)
Hình 2.3: Khai triển TBox quan hệ gia đình trong Hình 2.2 - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 2.3 Khai triển TBox quan hệ gia đình trong Hình 2.2 (Trang 49)
(define-modifier CM linear-modi_er(b)) linear hedge with b > (hình… (f)) - Tìm hiểu về Fuzzy ontology and fuzzy OWL
define modifier CM linear-modi_er(b)) linear hedge with b > (hình… (f)) (Trang 68)
Bảng 3.2. Giới hạn kiểu dữ liệu. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.2. Giới hạn kiểu dữ liệu (Trang 69)
Bảng 3.3. Diễn giải các khái niệm. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.3. Diễn giải các khái niệm (Trang 70)
Bảng 3.5: Cú pháp của các khái niệm và phương thức trong F-SHIN - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.5 Cú pháp của các khái niệm và phương thức trong F-SHIN (Trang 72)
Bảng 3.6: Ngữ nghĩa của các khái niệm và phương thức trong F-SHIN - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.6 Ngữ nghĩa của các khái niệm và phương thức trong F-SHIN (Trang 73)
Bảng3.7 mở rộng các khái niệm trong SHOIN(D) - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.7 mở rộng các khái niệm trong SHOIN(D) (Trang 74)
Hình 3.2. (a) Trapezoidal function; (b) Triangular function; (c) L-function; (d) R- R-function  - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 3.2. (a) Trapezoidal function; (b) Triangular function; (c) L-function; (d) R- R-function (Trang 77)
Bảng 3.8 ABox, TBox và RBox trong SROIQ. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.8 ABox, TBox và RBox trong SROIQ (Trang 83)
Bảng 3.9 Mở rộng các khái niệm trong SROIQ. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.9 Mở rộng các khái niệm trong SROIQ (Trang 84)
Hình 3.3 Cấu trúc của một ontology mờ. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 3.3 Cấu trúc của một ontology mờ (Trang 87)
Hình 3.4 Ba lớp cấu trúc ontology. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Hình 3.4 Ba lớp cấu trúc ontology (Trang 89)
Một ví dụ, hình 3.5, cho thấy điều này rõ ràng hơn, μ của mỗi thành viên đại diện cho giá trị của mối quan hệ từ “apple” đến “tree”, “fruit” và “computer company” - Tìm hiểu về Fuzzy ontology and fuzzy OWL
t ví dụ, hình 3.5, cho thấy điều này rõ ràng hơn, μ của mỗi thành viên đại diện cho giá trị của mối quan hệ từ “apple” đến “tree”, “fruit” và “computer company” (Trang 92)
Bảng 3.10 phân biệt sự khác nhau giữa fuzzy ontology và Crisp ontology. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.10 phân biệt sự khác nhau giữa fuzzy ontology và Crisp ontology (Trang 94)
Bảng 3.11: Số Lượng giới hạn mờ. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.11 Số Lượng giới hạn mờ (Trang 98)
Bảng 3.13: Ràng buộc mờ - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.13 Ràng buộc mờ (Trang 99)
Bảng 3.14: Tiên đề của fuzzy OWL. - Tìm hiểu về Fuzzy ontology and fuzzy OWL
Bảng 3.14 Tiên đề của fuzzy OWL (Trang 100)

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w