tailieunhanh - Bài giảng Cơ sở logic đặc tả của OWL - Lê Thanh Hương

Bài giảng "Cơ sở logic đặc tả của OWL" cung cấp cho người học các kiến thức: ALC, cú pháp ALC, mở rộng, cơ sở tri thức, ngữ nghĩa ALC, các khái niệm tương đương, suy luận với ALC, các kiểu suy luận,. . | cơ SỞ LOGIC ĐẶC TẢ CỦA OWL Cú pháp ALC Extracts from slides of Bruijn and Franconi 1 khái niệm đơn Các đánh giá đơn trong ALC T khái niệm vũ trụ a c c J- khái niệm đáy CnD 1 phép giao a bị G R CuD 1 phép hợp Các tiên đề trong ALC phủ định giới hạn giá trị c D lượng từ tồn tại c D ALC Là dạng đơn giản nhất của DL Các khái niệm sử dụng n u -1 3 V Chỉ có các vai trò đơn vd đảo Ví dụ Person all of whose children are either Doctors or have a child who is a Doctor Person n VhasChild. Doctor u Mở rộng s - vai trò mở rộng transitive roles R H - phân cấp vai trò role hierarchy vd hasDaughter G hasChild o - lớp định danh đơn nominals singleton classes vd 3hasChild. mary I - vai trò đảo vd isChildOf hasChild- N - giới hạn số lượng number restrictions vd 1 hasChild Q - giới hạn số lượng thỏa 1 tính chất nào đó qualified number restrictions s role hierarchy H nominals O inverse I NR N SHOIN 1 cơ sở tri thức TBox là tập các luật câu vd Doctor c Person Happy Parents Person n Vhas Child. Doctor o Bhas Child. Doctor Doctor Person Happy Parent - Person A hasChild Doctor v hasChild Doctor ABox là tập các sự kiện John Happy Parent John hasChild Mary John HappyParent John hasChild Mary 1 CSTT Knowledge Base - KB là TBox Abox Bài tập xây dựng Tbox cho các phát biểu sau Mammals are animals. Cats are mammals that are carnivores. Elephants are mammals that are herbivores. Carnivores eat meat. A vertebrate is any animal that has amongst other things a backbone. cơ sở tri thức Phát biêu thuật ngữ I s Terminological Axioms c Ẹ D c D Student Person r n ZE1N ROLLED. Cour se Student E E Undergrad J Professor Phát biểu thành viên C . íz. b Student john ENRDLLED john. cs415 Student u Prof essor paul Bài tập xây dựng Tbox cho các phát biểu sau Every fish is an animal that lives in water Something that eats meat is a carnivore A bird is a vertebrate that has wings and legs and lays eggs .