5. Ý nghĩa khoa học và thực tiễn
1.2.1. Giới thiệu về Ontology
Theo triết học thì ontology đƣợc định nghĩa nhƣ sau: “ontology là một siêu hình học nghiên cứu về sự tồn tại và hiện thân của tự nhiên” [Aristoteles]; nó đƣợc sử dụng nhƣ tên của một lĩnh vực nghiên cứu về sự tồn
tại của tự nhiên, xác định các vật thể trong tự nhiên và làm thế nào để mô tả chúng. Chẳng hạn nhƣ quan sát thế giới thực, xác định các đối tƣợng và sau đó nhóm chúng lại thành các lớp trừu tƣợng dựa trên thuộc tính chung [15].
Trong khoa học máy tính ontology có nhiều định nghĩa, tuy nhiên định nghĩa đƣợc sử dụng rộng rãi đƣợc đƣa ra bởi Gruber (1993): “Ontology là một thuyết minh hình thức, rõ ràng của một nhận thức chung”. Định nghĩa đƣợc phân làm 4 khái niệm chính: mô tả trừu tƣợng của hiện tƣợng (nhận thức), diễn đạt rõ ràng bằng toán học (hình thức), các khái niệm và quan hệ giữa chúng phải đƣợc định nghĩa một cách chính xác và rõ ràng, tồn tại một sự đồng thuận của những ngƣời sử dụng ontology (chung).
Tuy nhiên về cơ bản ontology bao gồm các thành phần nhƣ sau:
- Các Cá thể (Individuals): Các thực thể hoặc các đối tƣợng (các đối tƣợng cơ bản hoặc cấp độ nền)..
- Các Lớp (Classes): Các tập hợp, các bộ sƣu tập, các khái niệm, các loại đối tƣợng, hoặc các loại khác.
- Các Thuộc tính (Attributes): Các khía cạnh, đặc tính, tính năng, đặc điểm, hoặc các thông số mà các đối tƣợng (và các lớp) có thể có.
- Các Quan hệ (Relations) giữa các Khái niệm hay Thực thể: Cách thức mà các lớp và các cá thể có thể liên kết với nhau.
- Các thuật ngữ chức năng (Function terms): Cấu trúc phức tạp đƣợc hình thành từ các mối quan hệ nhất định có thể đƣợc sử dụng thay cho một thuật ngữ cá thể trong một báo cáo (Statement).
- Các sự hạn chế (Restrictions): Những mô tả chính thức đƣợc tuyên bố về những điều phải chính xác cho một số khẳng định đƣợc chấp nhận ở đầu vào.
- Các quy tắc (Rules): Tuyên bố có hình thức nhƣ một cặp nếu-thì (if- then) mô tả suy luận logic có thể đƣợc rút ra từ một sự khẳng định trong từng hình thức riêng.
- Các tiên đề (Axioms): Các khẳng định (bao gồm các quy tắc) trong một hình thức hợp lý với nhau bao gồm các lý thuyết tổng thể mà Ontology mô tả trong lĩnh vực của ứng dụng.
- Các sự kiện (Events): Sự thay đổi các thuộc tính hoặc các mối quan hệ.