นกฮูกนกฮูก 1 และ 2 และประวัติศาสตร์

  • นกฮูกกลายเป็นคำแนะนำ W3C ในปี 2004 นกฮูก 2 ในปี 2009
  • นกฮูก 2 แต่ขยายอย่างเข้ากันได้ย้อนหลังของนกฮูก
  • ย่อยภาษาที่แตกต่างกันสายพันธุ์นกฮูกนกฮูก vs 2 โปรไฟล์
  • ประโยคน้ำตาล (แล้วเป็นไปได้ แต่ตอนนี้ง่ายต่อการด่วน)
    • เคล็ดสหภาพของชั้นเรียน
  • expressivity ใหม่
    • กุญแจ
    • สถานที่ให้บริการเครือข่าย
    • ประเภทข้อมูลที่ร่ำรวยช่วงข้อมูล
    • ข้อ จำกัด cardinality ที่มีคุณสมบัติเหมาะสม
    • อสมมาตรสะท้อนและคุณสมบัติเนื่อง
    • ความสามารถในการเพิ่มคำอธิบายประกอบ


นกฮูก 2 เต็ม

  • ใช้งานไม่ จำกัด ของนกฮูกและองค์ประกอบภาษา RDF (ต้อง RDFS ที่ถูกต้อง)
  • ยากประเภทที่มีอยู่ไม่ใช่การแยก (ชั้นเรียนบทบาทบุคคล) ดังนี้:
    • นกฮูก: สิ่งเดียวกับ rdfs: ทรัพยากร
    • นกฮูก: ชั้นเดียว rdfs: คลาส
    • นกฮูก: รอง DatatypeProperty ของนกฮูก: ObjectProperty
    • นกฮูก: ObjectProperty เดียวกันที่ RDF: Property


นกฮูก 2 ดูรายละเอียด

  • โปรไฟล์สามนกฮูกนกฮูกเพิ่มเข้ามาใน 2.0: นกฮูก QL, EL และ RL
  • หลักการออกแบบสำหรับประวัติ:
  • ระบุสูงสุดนกฮูก 2 sublanguages​​ ที่ยังคง implementable ในเวลาพหุนาม
  • ในการปฏิเสธไม่อนุญาตทั่วไปและความร้าวฉานเพราะที่มีความซับซ้อนและเหตุผลเป็นสิ่งจำเป็นไม่ค่อย


QL นกฮูก

  • QL ภาษาของแบบสอบถาม =
  • อยู่บนพื้นฐานของครอบครัว DL-Lite ของ logics คำอธิบาย
  • ออกแบบมาสำหรับการตอบแบบสอบถามใช้ SQL เขียนใหม่ด้านบนของฐานข้อมูลเชิงสัมพันธ์
  • subclasses สามารถเป็นชื่อชั้นหรือ existentials ด้วยฟิลเลอร์ จำกัด
  • superclasses สามารถเป็นชื่อชั้น, existentials หรือสันธานกับสารตัวเติม superclass (recursive) หรือ negations ด้วยฟิลเลอร์รอง

อนุญาตให้

\[\text{Fish} \sqsubseteq \text{Animal}\]

\[\exists \text{hasHouse}.\top \sqsubseteq \text{Landlord}\]

หวงห้าม

\[\exists \text{hasHouse}.\text{Villa} \sqsubseteq \text{RichLandlord}\]

\[\text{Student} \sqsubseteq \text{Poor} \sqcap \exists \text{hasBike}.\top \sqcap \neg \text{Pupil}\]




รายละเอียดเกี่ยวกับนกฮูก QL (1)

หวงห้าม


ความเท่าเทียมกัน \[ \text{RichPerson} = \text{FamousPerson} \]

disjunctions \[ \text{Book} = \text{Ebook} \sqcup \text{PrintedBook} \]

universals \[ \forall \text{killed}.\text{Human} = \text{Murderer} \]

ตนเอง \[\text{loves}.\text{Self} = \text{NarcisticPerson} \]

cardinalities \[ \geq 5 \text{wonFight}.\top = \text{SuccessfulBoxer} \]



รายละเอียดเกี่ยวกับนกฮูก QL (2)

หวงห้าม

กุญแจ

Class: Person
HasKey: hasSSN
สถานที่ให้บริการเครือข่าย
ObjectProperty: hasGrandparent
SubPropertyChain: hasParent o hasParent
คุณสมบัติ transitive
ObjectProperty: hasAncestor
Characteristics: Transitive
nominals
EquivalentClasses(
:MyBirthdayGuests
ObjectOneOf(:Bill :John :Mary) )
คุณสมบัติการทำงาน
ObjectProperty: hasHusband
Characteristics: Functional


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}\]



RL นกฮูก

  • RL = ภาษากฎ
  • สัจพจน์รองตามกฎเหมือนผลกระทบกับหัว (superclass) และร่างกาย (รอง)
  • \ (\ text {DaysWithRain} \ ข้อความ sqsubseteq \ {DaysWithWetStreet} \)



อ่านเพิ่มเติม





Creator: soeren (TIB)

Contributors:
-


Licensed under the Creative Commons
Attribution ShareAlike CC-BY-SA license


This deck was created using SlideWiki.