[Pellet-users] KnowledgeBase changes do not appear in OWLOntology

[Martin Kolb]

Hi,

here you can download the TestClass I prepared:
http://87.230.1.132/TestClass.java (it's only about 20 Lines of code).
Meanwhile, I tried the same thing with Jena Reasoner, and when I try to
list all Classes of the model (model.listClasses()) it throws the Exception:

"Cannot convert node DUMMY to OntClass: it does not have rdf:type
owl:Class or equivalent" Where DUMMY is the new Class, added by the Same
Method as in the Code in TestClass.java.

Further, I am testing consistency of a term, added by
kb.addEquivalentClass(...) to a class added by the method mentioned
above. Maybe that is connected with the errors I listed above, the
reasoner always gets out of Memory if I even try to print the class
tree. (Irrespective of which API I use, the Pellet-OWL-Api, or the
Jena-Framework). Are there any other known performance issues with
qualified number restrictions (that's the thing I am working on...)

Thank you in advance,

Martin Kolb

Evren Sirin schrieb:
> On 3/7/07 9:38 AM, Martin Kolb wrote:
>> Hello everybody,
>>
>> I am using Pellet with the OWL Api. I am usually loading an ontology
>> into a OWLOntology Object, and the
>> org.mindswap.pellet.owlapi.Reasoner.
>>
>> During my program, changes are made via the ATerm-Library directly on
>> the KnowledgeBase Object, retrieved with reasoner.getKB().
>> But, if I add Classes to the KnowledgeBase and call prepare(), they do
>> not appear in the set of all Classes which I can retrieve through
>> reasoner.getClasses() later.
>> Maybe that even is not supposed to be?
>>   
> This is not really a use case I have considered but I would think it
> should work because all the Reasoner class does is to call functions
> from the underlying KB and translate results to OWLAPI structures. If
> you have a complete minimal code example showing the problem I could
> take a look.
>
> Cheers,
> Evren
>> Thank you in advance for any hints,
>> Regards,
>>
>> Martin Kolb
>>
>> _______________________________________________
>> Pellet-users mailing list
>> Pellet-users at lists.owldl.com
>> http://lists.owldl.com/mailman/listinfo/pellet-users
>> _______________________________________________
>>
>> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>>   
>
>