जेना

Question

InfModel infmodel = ModelFactory.createInfModel(reasoner, m); 
Resource vegetarian = infmodel.getResource(source + "Vegetarian"); 
Resource margherita = infmodel.getResource(source + "Example-Margherita"); 
if (infmodel.contains(margherita, RDF., vegetarian)) { 
     System.out.println("Margherita is a memberOf Vegetarian pizza"); 
    } 

का उपयोग करके उपरोक्त उदाहरण औपचारिक pizza.owl द्वारा बनाया गया है। इस उल्लू में, उदाहरण-मार्गरिता मार्गरिता वर्ग का एक व्यक्ति है। तो, यह उल्लू फ़ाइल में पहले ही लिखा गया है। हालांकि, समस्या यह है कि तर्ककर्ता को यह अनुमान लगाया जाना चाहिए कि मार्जरीटा-उदाहरण भी एक शाकाहारी पिज्जा होना चाहिए। क्या कोई ऐसा उदाहरण दे सकता है जो दिखाता है कि किसी व्यक्ति के संभावित अनुमानित वर्गों को प्रोटेज में कैसे ढूंढें? (प्रोटेज सही ढंग से अनुमान लगाता है कि उदाहरण-मार्गरिता एक शाकाहारी पिज्जा है। हालांकि, मैं प्रोग्रामेटिक रूप से अनुमान नहीं लगा सकता)

Answer 1

मैंने अपना हल किया सवाल। मुझे लगता है कि मेरे ऑटोलॉजी में कोई समस्या थी। इसलिए, मैंने व्यक्तियों का अनुमान लगाने के लिए एक और ऑटोलॉजी बनाई। मैंने जो ऑटोलॉजी बनाई है वह व्यक्ति के व्यक्ति और उप-वर्ग शामिल हैं: मालेपर्सन, मादास्पर्सन और विवाहित पीटरसन। और, दो ऑब्जेक्ट गुण हैं (हैस्पस, हैसबलिंग) और एक डेटा प्रकार की संपत्ति (हैसएज) है। और, मैंने 3 व्यक्तियों को बनाया। जॉन - MalePerson - hasAge (20) - hasSibling (जेन) जेन - FemalePerson - hasSibling (जॉन) - hasSpouse (बॉब) बॉब - MalePerson - hasSpouse (जेन)

और, मैं MalePerson के लिए दो प्रतिबंध लगा और मादास्पर्सन कक्षाएं MalePerson के लिए: hasSpouse अधिकतम 1 hasSpouse केवल MalePerson FemalePerson के लिए: hasSpouse अधिकतम 1 hasSpouse केवल FemalePerson

अन्त में, मैं एक परिभाषित वर्ग होने के लिए MarriedPerson बनाया है। तर्क से पहले, विवाहित पीटरसन के पास कोई व्यक्ति नहीं है। हालांकि, मॉडल का अनुमान लगाया जाना चाहिए कि जेन और बॉब विवाहित हैं। इसलिए, अंत में, विवाहित पीटरसन कक्षा में 2 व्यक्ति होना चाहिए।

जब मैंने जावा में जेना का उपयोग करके यह कोड चलाया, तो मुझे 2 अनुमानित व्यक्ति मिले।

OntModel ontModel = ModelFactory.createOntologyModel(); 
    InputStream in = FileManager.get().open(inputFileName); 
    if (in == null) { 
     throw new IllegalArgumentException("File: " + inputFileName + " not found"); 
    } 
    ontModel.read(in, ""); 


    Reasoner reasoner = ReasonerRegistry.getOWLReasoner(); 
    reasoner = reasoner.bindSchema(ontModel); 
    // Obtain standard OWL-DL spec and attach the Pellet reasoner 
    OntModelSpec ontModelSpec = OntModelSpec.OWL_DL_MEM; 
    ontModelSpec.setReasoner(reasoner); 
    // Create ontology model with reasoner support 
    OntModel model = ModelFactory.createOntologyModel(ontModelSpec, ontModel); 

    // MarriedPerson has no asserted instances 
    // However, if an inference engine is used, two of the three 
    // individuals in the example presented here will be 
    // recognized as MarriedPersons 
      //ns is the uri 
    OntClass marPerson = model.getOntClass(ns + "OWLClass_00000003866036241880"); // this is the uri for MarriedPerson class 
    ExtendedIterator married = marPerson.listInstances(); 
    while(married.hasNext()) { 
     OntResource mp = (OntResource)married.next(); 
     System.out.println(mp.getURI()); 
    } // this code returns 2 individuals with the help of reasoner