उल्लू - प्रोटीज सही ढंग से उल्लंघन नहीं कर रहा है? ठीक शाकाहारी वर्ग को कैसे परिभाषित किया जाए?

Question

मैं दो दिनों के लिए अटक गया है अब समझने के लिए क्यों इस परिदृश्य पर काम नहीं कर रहा कोशिश कर:

यहाँ स्क्रीनशॉट: http://dl.dropbox.com/u/4677548/screenshots.html

मैं एक VegetarianFood वर्ग (खाद्य के उपवर्ग) है कि "खाद्य के बराबर है और (अंडे या MilkAndDerivates या VeganFood) "के रूप में आप स्क्रीनशॉट संख्या 1

VeganFood कक्षा में देख सकते हैं, मोड़ पर, अन्य वर्गों के बराबर है (NutsAndSeeds, अनाज, फल, आदि ...) स्क्रीनशॉट 2

जैसा कि आप ca n दो व्यक्तियों (छेददार चीज़ और काजू) के रूप में MilkAndDerivates और NutsAndSeeds स्क्रीनशॉट 3 बनाई देखते हैं और वे सही ढंग से

तब मैं व्यंजनों के रूप में दो व्यक्तियों, केवल काजू के साथ एक बनाया VegetarianFood और VeganFood सदस्य के रूप में लगाए गए अनुमान कर रहे हैं (PastaVega) और दोनों छेददार chese और काजू (PastaVege), वस्तु संपत्ति hasIngredient उपयोग करने के साथ एक स्क्रीनशॉट 4 और 5

और वे पकाने की विधि के रूप में अनुमान लगाया गया है ... लेकिन कोई भी VegatarianRecipe और VeganRecipe की श्रेणी में आता है, इस प्रकार के रूप में परिभाषित स्क्रीनशॉट 6 और 7

मेरे पास कोई सुराग नहीं है, क्यों उन्हें शाकाहारी पकाने की विधि (या शाकाहारी) के रूप में अनुमानित नहीं किया जाता है ?? मुझे क्या याद आ रही है?

संपादित करें:

अगर मैं से VegetarianRecipe (या शाकाहारी) "पकाने की विधि और (hasIngredient केवल VegetarianFood)"

को "पकाने की विधि और (hasIngredient कुछ VegetarianFood)" में बदल

स्क्रीनशॉट 8

रसीद व्यक्तियों को दिखाया गया है, लेकिन निश्चित रूप से यह नहीं है कि मैं क्या करने की कोशिश कर रहा हूं, इस तरह इसमें मिश्रित मांस और शाकाहारी के साथ व्यंजन शामिल होंगे। तो एक शाकाहारी शाकाहारी या शाकाहारी होने पर तर्ककर्ता को सही तरीके से अनुमान लगाने की अनुमति देने के लिए शाकाहारियों और शाकाहारी वर्ग को कैसे परिभाषित किया जाए ????

Answer 1

आपने इस तथ्य के परिणामस्वरूप मारा है कि ओडब्लूएल तर्क एक खुली दुनिया की धारणा का उपयोग करता है।

कारण अपने PastaVege नुस्खा एक VegetarianRecipe होने के लिए पता नहीं लगाया है, हालांकि सामग्री आपने अभी तक स्पष्ट नुस्खा में सूचीबद्ध वास्तव में सभी VegeratianFood उदाहरण हैं, यह अच्छी तरह से हो सकता है, कि अपने नुस्खा के कुछ वर्तमान में अज्ञात घटक एक नहीं है शाकाहारी भोजन।

के बाद से VegetarianRecipe पर अपने बाधा है कि सभी सामग्री VegetarianFoods (न कि केवल वे हम वर्तमान के बारे में पता है), यह निश्चित रूप से यह निष्कर्ष निकाला नहीं जा सकता है (एक खुला दुनिया में) है कि अपने नुस्खा वास्तव में एक VegetarianRecipe है होना चाहिए।

इससे निपटने के कई तरीके हैं, लेकिन कोई भी वास्तव में वही नहीं करता जो आप चाहते हैं - आपको इसे थोड़ा अलग कोण से संपर्क करने की आवश्यकता है।

सटीक मॉडलिंग विवरणों के बिना: हालांकि अगर नुस्खा शाकाहारी शाकाहारी आपके वर्तमान मॉडल को दिया जाता है तो अनुमान लगाना मुश्किल है, अगर नुस्खा शाकाहारी नहीं है तो अनुमान लगाना अपेक्षाकृत आसान है; कोई भी नुस्खा जिसमें कम से कम एक गैर-शाकाहारी घटक नॉन-शाकाहारी नुस्खा है।

एक वैकल्पिक दृष्टिकोण है कि आप (शाकाहारी) सामग्री की एक बंद सेट (एक उल्लू oneOf बाधा के माध्यम से प्रगणित वर्ग का प्रयोग करके) बनाने के लिए है, लेकिन है कि अपने मॉडल में कोई महत्वपूर्ण परिवर्तन है, और निश्चित रूप से यह करने के लिए कठिन है इस फैशन में सभी संभावित सामग्री सूचीबद्ध करें।