ConceptBase.cc

Sự miêu tả

ConceptBase.cc là một hệ thống cơ sở dữ liệu suy diễn đa người dùng với mô hình dữ liệu tập trung vào đối tượng. Khả năng đại diện thông tin ở bất kỳ mức trừu tượng nào (dữ liệu, lớp, siêu kính, siêu kính) làm cho nó trở thành một công cụ mạnh mẽ để siêu mô hình hóa và kỹ thuật các ngôn ngữ mô hình tùy chỉnh. Hệ thống đi kèm với giao diện người dùng đồ họa có thể cấu hình cao được xây dựng dựa trên các tính năng dựa trên logic của máy chủ ConceptBase.cc. ConceptBase.cc có thể đại diện cho thông tin ở cấp dữ liệu (dữ liệu ví dụ, dấu vết của quá trình thực thi), cấp lớp (lược đồ, định nghĩa quy trình), cấp siêu kính (cấu trúc của ngôn ngữ mô hình hóa), cấp siêu kính (cấu trúc để xác định mô hình ngôn ngữ), v.v. Biểu diễn đối tượng thống nhất. Tất cả các đối tượng được biểu diễn trong một cấu trúc dữ liệu bốn nhân thống nhất được gọi là P-fact do các nhà phát triển ngôn ngữ Telos tiên phong. Các đối tượng, các thuộc tính, chuyên môn hóa và các khởi tạo của chúng đều được biểu diễn dưới dạng P-fact. Ví dụ, bằng cách này, các thuộc tính của các đối tượng có thể có các thuộc tính và là các thể hiện của các thuộc tính khác. Ngay cả sự chuyên môn hóa giữa các thuộc tính cũng được hỗ trợ đầy đủ. Biểu thức lôgic. Các quy tắc, ràng buộc và truy vấn được thể hiện trong các công thức logic bậc nhất. Bên trong, hệ thống chuyển chúng thành mệnh đề Horn được máy đánh giá dựa trên Datalog thông dịch. Các biểu thức logic trong ConceptBase.cc có thể bao gồm bất kỳ đối tượng nào bất kể loại của nó (nút so với liên kết) và mức độ trừu tượng của nó. Datalog được biết đến là hệ thống tính toán mạnh mẽ nhất để đánh giá các biểu thức logic. Quy tắc hoạt động. Các quy tắc hoạt động cập nhật cơ sở dữ liệu hoặc gọi các quy trình bên ngoài như một phản ứng với các sự kiện.