[Pellet-users] Problems with online ontologies

[cbobed at unizar.es]

Hi, I've been working with Pellet for a while and I've some problems  
that I haven't been able to solve and I don't have any clue about the  
solution, here they are:

- Working with the Koala ontology  
"http://protege.stanford.edu/plugins/owl/owl-library/koala.owl", if I  
try to assert

ATermAppl concept =
	ATermUtils.makeAnd(
              ATermUtils.makeTermAppl("#animal"),
             AermUtils.makeAllValues(
                           ATermUtils.makeTermAppl(    
ourOntology+"#has_gender"),ATermUtils.makeTermAppl(ourOntology+"#Gender")  
));

	kb.addClass(concept);

when I classify the ontology, an Exception arise telling that animal  
isn't in the correct definition order. What does it means? when I'm  
working accessing locally to the ontology, it doesn't happen.

- Working with People+pets ontology  
"http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/people+pets.owl.rdf", if  
I assert all(has_pet, adult), or all(has_pet, all(has_part, adult))   
(among other expressions, just to check whether they are or not  
satisfiable), the system raises another exception (null in this case)  
and the following Stack trace:

java.lang.NullPointerException
	at org.mindswap.pellet.Individual.getRNeighborEdges(Individual.java:690)
	at  
org.mindswap.pellet.CompletionStrategy.applyAllValues(CompletionStrategy.java:920)
	at  
org.mindswap.pellet.CompletionStrategy.addType(CompletionStrategy.java:273)
	at  
org.mindswap.pellet.CompletionStrategy.applyUnfoldingRule(CompletionStrategy.java:643)
	at  
org.mindswap.pellet.CompletionStrategy.applyUnfoldingRule(CompletionStrategy.java:614)
	at  
org.mindswap.pellet.CompletionStrategy.initialize(CompletionStrategy.java:170)
	at org.mindswap.pellet.SROIQStrategy.complete(SROIQStrategy.java:120)
	at org.mindswap.pellet.ABox.isConsistent(ABox.java:1605)
	at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:748)
	at  
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.checkSatisfiability(CDOptimizedTaxonomyBuilder.java:683)
	at  
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:732)
	at  
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:167)
	at org.mindswap.pellet.KnowledgeBase.classify(KnowledgeBase.java:1613)
	at  
sid.QueryGen.ontologyManagement.DLReasonerPelletImpl.classify(DLReasonerPelletImpl.java:81)
	at  
sid.QueryGen.ontologyManagement.SemanticFilter.filterGroupingRankedQueries(SemanticFilter.java:155)
	at  
sid.QueryGen.WebInterface.QueryGenEngine.generateQueriesWithoutDisambiguationRQ(QueryGenEngine.java:797)
	at org.apache.jsp.results_jsp._jspService(results_jsp.java:261)
	at org.apache.jasper.runtime.HttpJspBase.service(HttpJspBase.java:98)
	at javax.servlet.http.HttpServlet.service(HttpServlet.java:803)
	at  
org.apache.jasper.servlet.JspServletWrapper.service(JspServletWrapper.java:331)
	at org.apache.jasper.servlet.JspServlet.serviceJspFile(JspServlet.java:329)
	at org.apache.jasper.servlet.JspServlet.service(JspServlet.java:265)
	at javax.servlet.http.HttpServlet.service(HttpServlet.java:803)
	at  
org.apache.catalina.core.ApplicationFilterChain.internalDoFilter(ApplicationFilterChain.java:269)
	at  
org.apache.catalina.core.ApplicationFilterChain.doFilter(ApplicationFilterChain.java:188)
	at  
org.apache.catalina.core.StandardWrapperValve.invoke(StandardWrapperValve.java:213)
	at  
org.apache.catalina.core.StandardContextValve.invoke(StandardContextValve.java:174)
	at  
org.apache.catalina.core.StandardHostValve.invoke(StandardHostValve.java:127)
	at  
org.apache.catalina.valves.ErrorReportValve.invoke(ErrorReportValve.java:117)
	at  
org.apache.catalina.core.StandardEngineValve.invoke(StandardEngineValve.java:108)
	at  
org.apache.catalina.connector.CoyoteAdapter.service(CoyoteAdapter.java:151)
	at org.apache.coyote.http11.Http11Processor.process(Http11Processor.java:874)
	at  
org.apache.coyote.http11.Http11BaseProtocol$Http11ConnectionHandler.processConnection(Http11BaseProtocol.java:665)
	at  
org.apache.tomcat.util.net.PoolTcpEndpoint.processSocket(PoolTcpEndpoint.java:528)
	at  
org.apache.tomcat.util.net.LeaderFollowerWorkerThread.runIt(LeaderFollowerWorkerThread.java:81)
	at  
org.apache.tomcat.util.threads.ThreadPool$ControlRunnable.run(ThreadPool.java:689)
	at java.lang.Thread.run(Thread.java:619)

Why does it happens? the asserted expression seems to be well-formed.  
Appart from that, when loading the ontology, it tells that truck is  
not in the definition order again. ...

I hope you guys bring me some light about these matters, thanks in advance.

Carlos Bobed