Issue running SWRL rules. Protege 4.2 with Pellet reasoner

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Issue running SWRL rules. Protege 4.2 with Pellet reasoner

Paulo Picota
Hello, 

Im trying to run some SWRL rules together with Pellet reasoner on a large number of individuals, over 8000 to be clear. 

The issue is that my pellet reasoner dies at a very low number of individuals.. Here I attach a copy of the ontology with the SWRL rules. 

Im thinking there might be something wrong with the implementation. If there is any working examples with SWRL rules on large number of individuals I will be happy to check it out. 

Thanks 

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

Prueba_Reglas.owl (48K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: Issue running SWRL rules. Protege 4.2 with Pellet reasoner

Paulo Hauck
Hello, 
I'm developing an Ontology with a large set of individuals too, and i've the same problem.
The solution i found is use one tool that transforms the ontology in a relational database and makes the reasoning over this db. I'm actually using the Stardog RDF Database (http://stardog.com).

I dont know if its actually the best solution for this problem (reasoning over ontologies with large ABox), but i hope it helps.

Best Regards.



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: Issue running SWRL rules. Protege 4.2 with Pellet reasoner

Paulo Picota
Thnx Very much Paulo. 

I will go ahead and read the article. If anyone else have some thoughts on the matter it will be most helpful. 

Thanks 


2014-02-11 5:51 GMT-05:00 Paulo Hauck <[hidden email]>:
Hello, 
I'm developing an Ontology with a large set of individuals too, and i've the same problem.
The solution i found is use one tool that transforms the ontology in a relational database and makes the reasoning over this db. I'm actually using the Stardog RDF Database (http://stardog.com).

I dont know if its actually the best solution for this problem (reasoning over ontologies with large ABox), but i hope it helps.

Best Regards.



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user