Pellet Reasoner 1.5.2 in Protege 3.5
Mahmood2.Ahmad <[email protected]> Thu, 19 Dec 2013 13:18:31 +0000
| Newsgroups | gmane.comp.misc.ontology.protege.owl,gmane.comp.misc.ontology.protege.general |
|---|---|
| Message-ID | <7a7ffe2853bd43f88b8a3a119723f629@AM3PR07MB257.eurprd07.prod.outlook.com> |
--===============8239022404028170725== Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_7a7ffe2853bd43f88b8a3a119723f629AM3PR07MB257eurprd07pro_" --_000_7a7ffe2853bd43f88b8a3a119723f629AM3PR07MB257eurprd07pro_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Dear colleagues, [A copy of this message is set to each forum at [email protected].= edu<mailto:[email protected]> and [email protected]= nford.edu<mailto:[email protected]> .... apologies for = cross posting]. I am seeking help on the problem of Pellet reasoner 1.5.2 in Prot?g? 3.5 al= pha on my windows 8 PC laptop which has 8GB RAM. After looking at discussio= ns at this prestigious forum, I have set the maximum memory field in prot?g= ?.lax file as 3GB for the prot?g? launching indicates that the maximum is s= et at 1871 MB. I have the following ontologies imported in my prot?g? project: 1) Ontology P2 that further imports ontology P1 which further imports ontol= ogies A and B 2) Ontology P4 that imports ontology P3 3) Ontology P5 As soon as I have imported the ontologies, Pellet reasoner 1.5.2 performs t= he consistency check which is successful. The problem of 'out of memory' starts when I add more than one individuals = to a concept. The reasoner simply goes out of memory on adding more than on= e concept. Is this expected? What does this indicate? Could you please help me on reso= lving this problem as I need to infer some SWRL rules on about 100 individu= als? Very grateful and with regards, Mahmood Ahmad (PhD student) --_000_7a7ffe2853bd43f88b8a3a119723f629AM3PR07MB257eurprd07pro_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable <html tabindex=3D"-1" style=3D"-ms-scrollbar-base-color: rgb(0, 0, 0); -ms-= scrollbar-face-color: rgb(240, 240, 240); -ms-scrollbar-3dlight-color: rgb(= 227, 227, 227); -ms-scrollbar-shadow-color: rgb(160, 160, 160); -ms-scrollb= ar-highlight-color: rgb(255, 255, 255); -ms-scrollbar-darkshadow-color: rgb= (105, 105, 105); -ms-scrollbar-arrow-color: rgb(0, 0, 0);"> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dus-ascii"= > <meta http-equiv=3D"X-UA-Compatible" content=3D"IE=3D10"> <meta name=3D"GENERATOR" content=3D"MSHTML 10.00.9200.16750"> <style id=3D"owaParaStyle" style=3D"display: none;"><!--P {margin-top:0;mar= gin-bottom:0;}--></style> </head> <body tabindex=3D"0" style=3D"" dir=3D"ltr" aria-label=3D"Message body" fPS= tyle=3D"1"> <div name=3D"divtagdefaultwrapper" id=3D"divtagdefaultwrapper" style=3D"fon= t-family: Tahoma, Geneva, sans-serif; font-size: 10pt; color: #333399; marg= in: 0"> <div style=3D"margin-top: 0px; margin-bottom: 0px;">Dear colleagues,</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">[A copy of this message= is set to each forum at <a href=3D"mailto:protégé[email protected]">proté= ;gé[email protected]</a> and <a href=3D"mailto:protégé[email protected]">prot= égé[email protected]</a> .... apologies for cros= s posting].</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">I am seeking help on th= e problem of Pellet reasoner 1.5.2 in Protégé 3.5 alpha = on my windows 8 PC laptop which has 8GB RAM. After looking at discussions a= t this prestigious forum, I have set the maximum memory field in protégé.lax file as 3GB for the protég&eacut= e; launching indicates that the maximum is set at 1871 MB.</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">I have the following on= tologies imported in my protégé project:</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">1) Ontology P2 that fur= ther imports ontology P1 which further imports ontologies A and B</div= > <div style=3D"margin-top: 0px; margin-bottom: 0px;">2) Ontology P4 that imp= orts ontology P3</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">3) Ontology P5</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">As soon as I have impor= ted the ontologies, Pellet reasoner 1.5.2 performs the consistency che= ck which is successful.</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">The problem of 'out of = memory' starts when I add more than one individuals to a concept. The = reasoner simply goes out of memory on adding more than one concept.</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">Is this expected? What = does this indicate? Could you please help me on resolving this problem as I= need to infer some SWRL rules on about 100 individuals?</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">Very grateful and with = regards,</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">Mahmood Ahmad</div> <div style=3D"margin-top: 0px; margin-bottom: 0px;">(PhD student)</div> </div> </body> </html> --_000_7a7ffe2853bd43f88b8a3a119723f629AM3PR07MB257eurprd07pro_-- --===============8239022404028170725== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ protege-owl mailing list [email protected] https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 --===============8239022404028170725==--