TAILIEUCHUNG - Phân tách ontology trong logic mô tả dựa vào kỹ thuật phân tách đồ thị

Trong bài báo này, các tác giả đề xuất một phương pháp phân tách ontology tự động dựa vào lát cắt tối thiểu và tiến hành thử nghiệm trên một phần của các TBox như Vedaall, tambis, . trong hệ thống FaCT, và đưa ra một số kết quả đánh giá. | JOURNAL OF SCIENCE OF HNUE FIT. 2011 Vol. 56 pp. 59-71 PHÂN TÁCH ONTOLOGY TRONG LOGIC MÔ TẢ DỰA VÀO KỸ THUẬT PHÂN TÁCH ĐỒ THỊ Phạm Thị Anh Lê Đoàn Thị Quế Khoa Công nghệ Thông tin - Đại học Sư phạm Hà Nội Email lepta@ Tóm tắt. Một trong những phương pháp nhằm tăng hiệu quả của việc lập luận trên các ontology lớn là tách ontology lớn thành nhiều ontology nhỏ. Khi đó thay vì lập luận trên ontology lớn ban đầu người ta có thể thực hiện trên các ontology nhỏ. Trong bài báo này chúng tôi nghiên cứu kỹ thuật phân tách một ontology trong logic mô tả dựa vào các giải thuật phân tách đồ thị. Chúng tôi tập trung vào các đặc trưng cú pháp của các axioms của ontology. Cách tiếp cận nhằm phân tách ontology thành nhiều ontology thành phần sao cho chúng phân biệt nhất có thể. Chúng tôi phân tích các giải thuật và khám phá các tham số phân tách mà ảnh hưởng đến hiệu quả của việc tính toán và lập luận. Các tham số này gồm số lượng các khái niệm và vai trò chung trong các cặp ontology thành phần kích cỡ của mỗi ontology thành phần và cấu trúc của phép phân tách. Chúng tôi đề xuất một phương pháp phân tách ontology tự động dựa vào lát cắt tối thiểu và tiến hành thử nghiệm trên một phần của các TBox như Vedaall tambis . trong hệ thống FaCT và đưa ra một số kết quả đánh giá. 1. Mở đầu Các nghiên cứu về ontology dựa vào Logic mô tả DLs trước đây thường tập trung vào các nhiệm vụ như thiết kế ontology phát triển ontology tích hợp ontology . . . Xuất phát từ ý tưởng muốn xử lý một cách hiệu quả với các ontology lớn thay vì tích hợp các ontology chúng tôi xem xét bài toán phân tách ontology. Phân tách một ontology lớn thành nhiều ontology nhỏ và thực hiện lập luận trên các ontology nhỏ. Có nhiều phương pháp phân tách ontology nhằm phục vụ các yêu cầu khác nhau. Mục đích chính của chúng tôi là làm thế nào để chọn được một phép phân tách quot tốt quot . Một phép phân tách được gọi là quot tốt quot nếu nó bảo toàn thông tin bảo toàn các kết quả lập luận 5 và làm tăng hiệu quả của

• Kỹ thuật lập trình
• Phân tách ontology
• Logic mô tả
• Kỹ thuật phân tách đồ thị
• Hệ thống FaCT
• Giải thuật phân tách đồ thị