semantic web - how to find the most specific class for an individual with pellet+owlapi -


i want perform classification ontology , pellet reasoner. pellet has function(namely realization()) find specific individual. have tried doesn't work, provide or give me examples. 

<class rdf:about="http://webmind.dico.unimi.it/care/locont.owl#havingdrink">     <equivalentclass>         <class>             <intersectionof rdf:parsetype="collection">                 <rdf:description rdf:about="http://webmind.dico.unimi.it/care/locont.owl#personalactivity"/>                 <restriction>                     <onproperty rdf:resource="http://webmind.dico.unimi.it/care/locont.owl#hasactor"/>                     <allvaluesfrom>                         <class>                             <intersectionof rdf:parsetype="collection">                                 <rdf:description rdf:about="http://webmind.dico.unimi.it/care/locont.owl#person"/>                                 <restriction>                                     <onproperty rdf:resource="http://webmind.dico.unimi.it/care/locont.owl#hascurrentsymboliclocation"/>                                     <somevaluesfrom rdf:resource="http://webmind.dico.unimi.it/care/locont.owl#kitchen"/>                                 </restriction>                                 <restriction>                                     <onproperty rdf:resource="http://webmind.dico.unimi.it/care/locont.owl#usingartifact"/>                                     <somevaluesfrom>                                         <class>                                             <unionof rdf:parsetype="collection">                                                 <rdf:description rdf:about="http://webmind.dico.unimi.it/care/locont.owl#cupscupboard"/>                                                 <rdf:description rdf:about="http://webmind.dico.unimi.it/care/locont.owl#fridge"/>                                             </unionof>                                         </class>                                     </somevaluesfrom>                                 </restriction>                             </intersectionof>                         </class>                     </allvaluesfrom>                 </restriction>             </intersectionof>         </class>     </equivalentclass>     <rdfs:subclassof rdf:resource="http://webmind.dico.unimi.it/care/locont.owl#personalactivity"/> </class>

for example, havingdrink 1 of activity classes. create individual , objectproperty:

    string file = "file:///home/uqjwen/workspace/owlapi/snapshot.owl#";     owlontologymanager manager = owlmanager.createowlontologymanager();     owlontology ont = manager.loadontology(iri.create(file));     owldatafactory fac = manager.getowldatafactory();      prefixmanager pm = new defaultprefixmanager(iri.create("http://webmind.dico.unimi.it/care/locont.owl").tostring());       //////////create hasactor property///////////////////////////////////////     owlnamedindividual currentactivity = fac.getowlnamedindividual("#alice_activity", pm);     owlnamedindividual alice = fac.getowlnamedindividual("#alice", pm);     owlobjectproperty hasactor = fac.getowlobjectproperty("#hasactor", pm);     owlobjectpropertyassertionaxiom propertyassertion = fac             .getowlobjectpropertyassertionaxiom(hasactor,currentactivity,alice);     manager.addaxiom(ont, propertyassertion);      ////////////create hascurrentsymboliclocation ////////     owlnamedindividual kitchen = fac.getowlnamedindividual("#kitchen", pm);      owlobjectproperty haslocation = fac             .getowlobjectproperty("#hascurrentsymboliclocation", pm);     owlobjectpropertyassertionaxiom locationassertion = fac             .getowlobjectpropertyassertionaxiom(haslocation,alice,kitchen);     manager.addaxiom(ont, locationassertion);      /////////////create using actifact  //////////////     owlnamedindividual cc = fac.getowlnamedindividual("#cups_cupboard", pm);     owlobjectproperty usingartifact = fac             .getowlobjectproperty("#usingartifact", pm);     owlobjectpropertyassertionaxiom artifactassertion =fac             .getowlobjectpropertyassertionaxiom(usingartifact, alice, cc);     manager.addaxiom(ont, artifactassertion);      owlnamedindividual fridge = fac.getowlnamedindividual("#fridge", pm);     artifactassertion =fac             .getowlobjectpropertyassertionaxiom(usingartifact, alice, fridge);     manager.addaxiom(ont, artifactassertion);       //////////////reason      pelletreasoner reasoner = pelletreasonerfactory.getinstance().createreasoner( ont );     system.out.println(reasoner.isconsistent());     reasoner.getkb().classify();     reasoner.getkb().realize();     nodeset<owlclass> types = reasoner.gettypes(currentactivity, true);

it supposed return havingdrink class, not.

the first thing check ontology contains classes , individuals expect contain—you can saving ontology system.out in code, you're sure of loaded:

manager.saveontology(ont, new systemoutdocumenttarget());

then make sure iris being resolved prefix manager match iris in ontology:

owlnamedindividual currentactivity = fac.getowlnamedindividual("#alice_activity", pm); system.put.println("expected individual "+currentactivity.getiri());

once these possible sources of error out of way, need verify type expect inferrable ontology—we cannot see rest of ontology, , there might important information there might change expected result.

edit: ontology, definition havingdrink (in functional syntax) is:

equivalentclasses(:havingdrink objectintersectionof( objectallvaluesfrom(:hasactor objectintersectionof(:person objectsomevaluesfrom(:hascurrentsymboliclocation :kitchen) objectsomevaluesfrom(:usingartifact objectunionof(:fridge :cupscupboard))) ) :personalactivity))

in order havingdrink activity, must have value usingartifact of type fridge or cupscupboard, cannot see assertions in ontology. it's quite complex definition, start checking whether alice_activity instance of separate parts of intersection, , ensure each of them satisfied. middle term not satisfied, far can tell.


Comments

Post a Comment

Popular posts from this blog

javascript - Jquery show_hide, what to add in order to make the page scroll to the bottom of the hidden field once button is clicked -

i have button on website when clicked, reveals map. button can seen when page first loads up, when clicked, section holding map slides open , goes out of screen since page loads @ top (normal). want page scroll down bottom of div select when button pushed, if map out of screen. if page scrolled down, , clicks show map button, don't want page jump bottom of map. i tried figure out myself, no luck. seasoned jquery coders able give me guidance? many thanks! map = mapdiv.gmap3("get"); infobox = new infobox({ pixeloffset: new google.maps.size(-220, -310), closeboxurl: '', enableeventpropagation: true }); mapdiv.delegate('.infobox .close','click',function () { infobox.close(); }); jquery(".slidingdiv").hide(); jquery(".show_hide").show(); jquery('.show_hide').click(function(){ lastcenter=map.getcenter(); jquery(".slidingdiv...
Read more

python - Django-cities exits with "killed" -

i trying install django-cities on server 500mb ram. whenever run: manage.py cities the system exits saying killed. trying run: manage.py cities --import=country --force worked, guessing matter of running out of memory. to bypass, tried refer package local copy of cities' data file. still didn't work. any ideas on how can migrate data without having increase memory on server? based on suggestion comments, solved setting temporary swap file. if unfamiliar it, can follow these steps: set swap file touch /var/swap.img chmod 600 /var/swap.img set swap file size cd /var dd if=/dev/zero of=/var/swap.img bs=1024k count=1000 this create 1gb swap file. prepare disk image mkswap /var/swap.img activate swap memory swapon /var/swap.img once done, can turn off swap image: swapoff /var/swap.img more information on virtual memory , swap files can found here: https://www.digitalocean.com/community/tutorials/how-to-configure-virtual-me...
Read more

python - How to get a widget position inside it's layout in Kivy? -

i have gridlayout , added image widgets on after adding of images want draw rectangle in each image using canvas couldn't because don't know exact image widgets positions on gridlayout. code: http://paste.ofcode.org/3bdp9yhjrcrzmsztbu9hqp4 http://paste.ofcode.org/3az3gx4fxzr9dlhe2ami97c in last line of python code : rectangle(pos = (child.x - 2.4, child.y + 467), size = (70, 70)) how draw rectangle in child(my method not good^), also why gridlayout not coming in center after setting it's pos_hint = {"center_x" : .5}? if understand question right, try use such methods to_local() , to_parent() , to_widget() , to_window() . try substract position of gridlayout widgets' positions.
Read more