From: Carlos B. <cb...@un...> - 2009-02-04 10:21:08
|
Thanks, it wasn't an infinite loop, it needed 300M but the time that is needed to process the new axioms is prohibitively high. When I work directly with the Pellet API the classifying process is really fast, but through the OWLAPI it's unmanageable. In my code in OWLAPI, the newly built concepts are asserted through three new AddAxioms, has the resulting classification time anything to do with the way the assertions are handled in the OWLAPI? The same build/classification process using the Pellet API is at least 4 orders of magnitude smaller than with the OWLAPI. I imagine that it's due to (in my opinion) the more static view of the ontologies in the OWLAPI. Thanks in advance :) El mié, 04-02-2009 a las 07:00 +0000, GEORGE LITSIOS escribió: > Hi Carlos, > > I don't know what is your code, but i had a same problem. In my case i > thought that my code went in a infinite loop and after a long time i > had a over heap space error. > > Try to give more ram at your jvm. I gave 1 gb and the problems gone. > > George > > > From: cb...@un... > > To: pel...@li... > > Date: Tue, 3 Feb 2009 10:56:28 +0100 > > Subject: [Pellet-users] Problems Pellet + OWLAPI > > > > Hi to everyone, I'm having problems asserting new built concepts > into an > > existing ontology. The ontology is > > http://protege.stanford.edu/plugins/owl/owl-library/koala.owl and I > > build on the fly some concepts (quite a high number maybe :P) via > the > > OWLAPI, I assert them by adding three axioms: a Declaration axiom to > > give the built concept an identifier, a subClassOf(OWLThing) of the > > previous declared concept and an EquivalentClass (id, builtConcept). > The > > problem is that when I assert concepts that involves the All and > Some > > restrictions Pellet enters an infinite loop and gives a over heap > space > > error. Does anyone have a clue? Thanks in advance. > > > > P.S.: the toString representation of the concept that > > causes the problem is: > > > > ObjectAllValuesFrom(hasChildren ObjectIntersectionOf(Animal Degree > > Gender)) > > > > > > -- > > Carlos Bobed > > --------------------- > > ¿Sueñan las ontologías con ovejas conceptuales? > > Do ontologies dream of conceptual sheep? > > --------------------- > > Departamento de Informática e Ingeniería de Sistemas > > Grupo de Sistemas de Información Distribuidos > > Centro Politécnico Superior, Universidad de Zaragoza > > Edificio Ada Byron, Lab. 1.01, 1.03a > > > > _______________________________________________ > > Pellet-users mailing list > > Pel...@li... > > http://lists.owldl.com/mailman/listinfo/pellet-users > > _______________________________________________ > > > > Sponsored by Clark & Parsia, LLC http://clarkparsia.com/ > > > > ______________________________________________________________________ > Hotmail® goes where you go. On a PC, on the Web, on your phone. See > how. > _______________________________________________ > Pellet-users mailing list > Pel...@li... > http://lists.owldl.com/mailman/listinfo/pellet-users > _______________________________________________ > > Sponsored by Clark & Parsia, LLC http://clarkparsia.com/ -- Carlos Bobed --------------------- ¿Sueñan las ontologías con ovejas conceptuales? Do ontologies dream of conceptual sheep? --------------------- Departamento de Informática e Ingeniería de Sistemas Grupo de Sistemas de Información Distribuidos Centro Politécnico Superior, Universidad de Zaragoza Edificio Ada Byron, Lab. 1.01, 1.03a |