Protege Tutorial

More documents

Recommendations

Info

การขอร้อง Reasoner เริมต้น Racer, Ontology ทีสามารถส่งไปยัง Reasoner โดยอัตโนมัติ คํานวณการ จําแนกลําดับชั นและยังตรวจสอบความสอดคล้องเชิงตรรกะของ Ontology ใน <strong>Protege</strong>, ลําดับชั นทีสร้างด้วยตนเองจะเรียกว่าลําดับชั นของการยืนยัน ที คํานวณโดยอัตโนมัติโดย Reasoner จะเรียกว่าลําดับชั นของอนุมาน - ไปที OWL—การจําแนก taxonomy -- การเรียก Reasoner ถ้าคลาสได้รับการจัดประเภทรายการใหม่แล้วชือคลาสจะปรากฏสีฟ้ าในลําดับ ชั นทีอ้างถึง ไปที OWL-- ตรวจสอบความสอดคล้อง -- เพือเรียก Reasoner ถ้ามีคลาสทีพบว่าไม่มีความสอดคล้องกัน ไอคอนจะเป็ นวงกลมสีแดง การคํานวณลําดับคลาสทีอ้างถึงเป็ นทีรู้จักกันว่าเป็ นการจําแนก Ontology
การขอร้อง Reasoner
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 42 and 43: E24: คลาสทีไม่ส
Page 44 and 45: E26: ลบคําสังที
Page 46 and 47: แหล่งข้อมูล

Protege Tutorial

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?