Trong khoa học máy tính và khoa học thông tin, bản thể học thông thường thể hiện tri thức, hay là một tập khái niệm để định nghĩa một vấn đề, và mối quan hệ giữa các cặp khái niệm. Nó có thể được dùng với mô hình dưới dạng một tập hợp các phần tử và mối quan hệ giữa chúng. Bản thể học hỗ trợ lý tính về các khái niệm.
Theo lý thuyết, một bản thể học là "một đặc tả chính thức và rõ ràng của một khái niệm chung".[1] Một bản thể học cung cấp một ngữ nghĩa chung (semantic), đi kèm với các đối tượng và/hoặc các khái niệm tồn tại và các mối quan hệ, các thuộc tính của các đối tượng đó.[2]
^Arvidsson, F.; Flycht-Eriksson, A. "Ontologies I"(PDF). Bản gốc(PDF) lưu trữ ngày 17 tháng 12 năm 2008. Truy cập ngày 26 tháng 11 năm 2008.
Nghiên cứu thêm
Oberle, D., Guarino, N., & Staab, S. (2009) What is an ontology?Lưu trữ ngày 30 tháng 5 năm 2013 tại Wayback Machine. In: "Handbook on Ontologies". Springer, 2nd edition, 2009.
Gangemi A., Presutti V. (2009). Ontology Design Patterns[liên kết hỏng]. In Staab S. et al. (eds.): Handbook on Ontologies (2nd edition), Springer, 2009.
Smith, B. Ontology (Science), in C. Eschenbach and M. Gruninger (eds.), Formal Ontology in Information Systems. Proceedings of FOIS 2008, Amsterdam/New York: ISO Press, 21–35.
ONTOLOG (a.k.a. "Ontolog Forum") - an Open, International, Virtual Community of Practice on Ontology, Ontological Engineering and Semantic Technology
Ontology Summit - an annual series of events (first started in 2006) that involves the ontology community and communities related to each year's theme chosen for the summit.