Protege Tutorial

More documents

Recommendations

Info

การใช้ Reasoner ontology อธิบายไว้ในOWL - DL สามารถประมวลผลโดย Reasoner ไปที owl—preference, เพือให้แน่ใจว่า OWL-DL ถูกเลือก บริการหลักทีนําเสนอโดย Reasoner คือการทดสอบหรือหนึ งคลาสไม่เป็ น คลาสย่อย ของคลาสอืน โดยการดําเนินการทดสอบดังกล่าวในทุกคลาสนั นเป็ นไปได้สําหรับ Reasoner เพือคํานวณ ontology ลําดับชั นของคลาสทีอ้างถึง บริการการให้เหตุผลอีกประการหนึ งคือตรวจสอบความสอดคล้อง -- เพือ ตรวจสอบหรือไม่ก็เป็ นไปได้สําหรับการเรียนทีจะมีกรณีใด ๆ คลาส จะถือว่าจะไม่สอดคล้องกันถ้ามันไม่มีบางกรณี
การใช้ Racer เพือให้เหตุผลทีมากกว่า ontology ใน <strong>Protege</strong> – OWL ซึ งเป็ นไปตาม มาตรฐาน DIG Reasoner ควรจะติดตั งและเริ มต้น ในการสอนนี เราใช้ Racer ดาวน์โหลดที : http://www.racer-systems.com/products/download/index.phtml ดับเบิลคลิกที RacerPro เพือเริ ม Racer
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 40 and 41: การขอร้อง Reasone
Page 42 and 43: E24: คลาสทีไม่ส
Page 44 and 45: E26: ลบคําสังที
Page 46 and 47: แหล่งข้อมูล

Protege Tutorial

Create successful ePaper yourself

Delete template?

Save as template?