Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

\ (\ mathcal {ALC} \) - แนวคิด

\ (\ mathcal {ALC} \), ภาษาที่แสดงคุณลักษณะที่มีส่วนประกอบเป็นที่ง่ายที่สุด propositionally ปิด DL  

(Complex) \ (\ mathcal {ALC} \) แนวความคิดที่ถูกกำหนด inductively ดังนี้

  • ชื่อแนวคิดทุกแนวคิด
  • \ (\ mathcal {\ บน} \) และ \ (\ mathcal {\ bot} \) เป็นแนวความคิด,
  • ถ้า \ (C \) และ \ (D \) เป็นแนวคิดและ \ (r \) คือบทบาทแล้วต่อไปนี้เป็นแนวความคิด:
    • \ (\ NEG C \) (มักจะเรียกว่าการปฏิเสธหรือส่วนประกอบ)
    • \ (C \ sqcap D \) (ร่วมสี่แยกมักจะเรียกหรือ "และ")
    • \ (C \ sqcup D \) (มักเรียกว่าการหย่าสหภาพหรือ "หรือ")
    • \ (\ exists RC \) (ข้อ จำกัด อัตถิภาวนิยมมักจะเรียกว่า)
    • \ (\ forall RC \) (ข้อ จำกัด มูลค่ามักจะเรียกว่า)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.