كيف تحصل على نتائج فردية أثناء حل لغز أينشتاين مع البومة في Protégé؟
-
30-09-2019 - |
سؤال
أود أن أفهم بشكل أفضل الأنطولوجيا والتفكير. هناك لغز مثير للاهتمام يسمى لغز أينشتاين على الشبكة التي يمكن حلها بمساعدة الأنطولوجيا والتفكير. قمت بتنزيل Owl Ontology من هذا الموقع واستيراده إلى Protege 4.0.2 (لا يعمل مع 4.1). يمكنني بدء سبب Quenter → Fact ++, Quenter → تصنيف ..., ، لكني لا أعرف ، كيفية تصور النتائج الفردية. كيف يمكنني أن أفعل هذا؟
المحلول
هناك طريقتان يمكنك من خلاله تصور النتائج. أولاً ، عندما تقوم بتحديد علامة التبويب "الفئات" ، سترى أن هناك عرضان متاحان لك: "العرض الهرمي للفئة" ، وهو التصنيف المؤكد و "عرض التسلسل الهرمي للطبقة (الاستنتاج)" ، وهو ، كما الاسم يقترح ، المستنتج. هذا يمنحك وجهات نظر الفصل. كما يقترح Kaarel ، يمكنك تصور الأفراد الذين يعطون في علامة التبويب الأفراد.
يتيح لك Protege أيضًا إضافة عدد من آراء الأفراد الآخرين إلى واجهة المستخدم: قم بعمل علامة تبويب فارغة جديدة ثم اختر طريقة عرض من "عرض الأفراد" تحت "وجهات النظر". أخيرًا ، يمكنك استخدام عدد من الأدوات الرسومية الخارجية لتصوره: إذا تأكدت على التسلسل الهرمي المستنتج وحفظه في ملف (في RDF-XML) ، يمكنك بعد ذلك استخدام أدوات مثل سماء أو جنة, Isaviz وما إلى ذلك للحصول على تمثيلات رسومية.
نصائح أخرى
بعد انتهاء العقل Individuals-tab
وابحث عن البديهيات التي لها خلفية صفراء. هذه البديهيات هي تلك التي تنطوي عليها. إذا تم تصميم مكونات اللغز (أي الرجال والحيوانات الأليفة والمشروبات ، وما إلى ذلك) كأفراد بومة ، فسترى بعض تأكيدات ملكية الكائنات الجديدة التي وجدها العقل بين هؤلاء الأفراد.
هناك أيضًا خيارات أخرى لمشاهدة الحوادث:
View -> Ontology views -> Classification Results
سوف تظهر قائمة البديهيات التي تنطوي عليها. قد لا تظهر كل البديهيات التي تنطوي عليها ، على سبيل المثال ، جربتها مع Protege 4.1 ولم أر أي تأكيدات خاصية كائن.- في ال
DL Query tab
يمكنك الكتابة في تعبير الفصل ويكون لجميع فئاته الفرعية والأفراد (بما في ذلك تلك التي يستلزمها) المدرجة. قد تكون هذه هي الطريقة الأكثر طبيعية لاستكشاف التراجعات.
أنظر أيضا:
- ACE عرض أمثلة: يحتوي على مثال "لغز Zebra" ، يعمل في Protege 4.1
- Stackoverflow سؤال: حل "من يملك الحمار الوحشي" برمجيا؟: لا يحتوي بعد على الحل القائم على البومة :(