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.

EL นกฮูก

  • บนพื้นฐานของตรรกะคำอธิบาย \ (\ mathcal {EL} \) + + \ (\ mathcal {E} \) ย่อมาจากคุณสมบัติการดำรงอยู่เต็ม
  • มุ่งเน้นไปที่ expressivity terminlogical ใช้สำหรับ ontology ที่มีน้ำหนักเบา
  • ให้ดำรงอยู่ แต่ไม่เป็นสากล, rdfs เฉพาะช่วง (ชนิดพิเศษ universals) ได้รับอนุญาตมีข้อ จำกัด
  • สถานที่ให้บริการโดเมนลำดับชั้นเรียน / ทรัพย์สินทางแยกชั้นเรียนเคล็ดคุณสมบัติ / โซ่ทรัพย์สินด้วยตนเอง, nominals (เรียนเดี่ยว) และคีย์การสนับสนุนอย่างเต็มที่
  • ไม่มีคุณสมบัติผกผันหรือสมมาตร disjunctions หรือ negations

ตัวอย่าง

\[\exists \text{has.Sorrow} \sqsubseteq \exists \text{has}.\text{Liqueur}\]

\[\top \sqsubseteq \exists \text{hasParent}.\text{Person}\]

\[\text{German} \sqsubseteq \exists \text{knows}.\text{{angela}}\]

\[\text{hasParent} \circ \text{hasParent} \sqsubseteq \text{hasGrandparent}\]


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.