Protege Tutorial

More documents

Recommendations

Info

E24: คลาสทีไม่สอดคล้องกัน เพือแสดงถึงการใช้งานของ Reasoner ในการตรวจสอบความไม่สอดคล้อง กันใน ontology ทีเราจะสร้างคลาส ProbeInconsistentTopping ซึ งเป็ นคลาสย่อย ของ CheeseTopping เลือก ProbeInconsistentTopping ไปทีการยืนยันสภาพทีจะเพิมคลาสทีมี ชือ VegetableTopping ให้เลือก แล้วกด OK ไปที OWL -- ตรวจสอบความสอดคล้อง
E25: จัด Ontology อีกครั ง เพือดู ProbeInconsistentTopping จะไม่สอดคล้องกัน
Page 1 and 2: Protege Tutorial Based on ProtegeOW
Page 3 and 4: การติดตั ง Proteg
Page 5 and 6: การสร้าง OWL Ontolo
Page 7 and 8: คลาส Disjoint E4: วิ
Page 9 and 10: E6: สร้างคลาสย
Page 11: คุณสมบัติขอ
Page 14 and 15: E8: การสร้างคุ
Page 16 and 17: E9: การสร้างคุ
Page 18 and 19: คุณสมบัติขอ
Page 20 and 21: คุณสมบัติกา
Page 22 and 23: การทําให้ hasIngr
Page 24 and 25: คุณสมบัติขอ
Page 26 and 27: E13: การระบุ Pizza
Page 28 and 29: E15: ระบุโดเมนแ
Page 30 and 31: E16: เพิมข้อจํา
Page 32 and 33: E18: สร้างสิงที
Page 34 and 35: E20: การเพิมข้อ
Page 36 and 37: E22: สร้าง AmericanHotPiz
Page 38 and 39: การใช้ Reasoner ontolo
Page 40 and 41: การขอร้อง Reasone
Page 44 and 45: E26: ลบคําสังที
Page 46 and 47: แหล่งข้อมูล

Protege Tutorial

Create successful ePaper yourself

Delete template?

Save as template?