You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@stanbol.apache.org by "Andrea Nuzzolese (JIRA)" <ji...@apache.org> on 2011/04/27 17:19:03 UTC
[jira] [Created] (STANBOL-185) Jena-based reasoner
Jena-based reasoner
-------------------
Key: STANBOL-185
URL: https://issues.apache.org/jira/browse/STANBOL-185
Project: Stanbol
Issue Type: New Feature
Reporter: Andrea Nuzzolese
Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Commented] (STANBOL-185) Jena-based reasoner
Posted by "Enrico Daga (Commented) (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13122711#comment-13122711 ]
Enrico Daga commented on STANBOL-185:
-------------------------------------
The branch have been deleted in rev 1180012
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
> Assignee: Enrico Daga
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Commented] (STANBOL-185) Jena-based reasoner
Posted by "Enrico Daga (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13083087#comment-13083087 ]
Enrico Daga commented on STANBOL-185:
-------------------------------------
I would not limit the change implementing the OWLApi interface, because I am sure this would cause problems later on, since the way OWLApi manages input is very different from Jena. To be more 'free', I would implement two different kind of services, one based on OWLApi (which manages input creating an OWLOntology object, including SWRL rules from the Rules module), and another based on Jena (which would have as input a Model and the rules work as additional configurations for the reasoner).
Phases are:
1) Create a new module jena, to include jena-based reasoning services
2) Change the reasoners/web module to support both OWLApi and Jena
type of reasoning services (this affects both input preparation and how rules are handled). This phase must happen in parallel with STANBOL-186 .
3) Remove HermiT as default reasoner
Since this work would affect the whole /reasoners component - and will not be quick to implement, I will branch the whole /reasoners.
Then I will start working at 1)
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Updated] (STANBOL-185) Jena-based reasoner
Posted by "Alessandro Adamou (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Alessandro Adamou updated STANBOL-185:
--------------------------------------
Component/s: Reasoners
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Commented] (STANBOL-185) Jena-based reasoner
Posted by "Enrico Daga (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13087747#comment-13087747 ]
Enrico Daga commented on STANBOL-185:
-------------------------------------
To achieve task 2 (support for reasoning services based on both owlapi and jena), we need to implement an abstract reasoning service based on owlapi, parallel to jena based one, already implemented. In this way we could invoke a owlapi reasoner without having an explicit dependency in the reasoners web module (for example hermit or owl-link). This will allow the removal of hermit.
In addition, we need to implement bridges to prepare the input for an owlapi and a jena reasoning service respectively.
We first implement the owlapi module, with working service for the hermit reasoner, then prepare a generic service api, to support both. Bridges can be implemented in the web module directly.
All the reasoning services will be available as SCR Components.
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
> Assignee: Enrico Daga
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Commented] (STANBOL-185) Jena-based reasoner
Posted by "Enrico Daga (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13095222#comment-13095222 ]
Enrico Daga commented on STANBOL-185:
-------------------------------------
Support for jena have been implemented, and a starting common API for reasoning services, with default services implementation.
Dependencies to the hermit module have been removed everywhere. Anyway, we keep the service by now, because we are waiting for STANBOL-186 to have stanbol rules work with Jena.
Phase 3) can be achieved when STANBOL-186 is solved, to not loose functionalities (the integrity check demo needs support for 'recipe's).
The code is now on /trunk/reasoners, so I would consider this issue closed, then open new ones for improvements and bugs.
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
> Assignee: Enrico Daga
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Resolved] (STANBOL-185) Jena-based reasoner
Posted by "Enrico Daga (Resolved) (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Enrico Daga resolved STANBOL-185.
---------------------------------
Resolution: Fixed
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
> Assignee: Enrico Daga
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira
[jira] [Assigned] (STANBOL-185) Jena-based reasoner
Posted by "Enrico Daga (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/STANBOL-185?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Enrico Daga reassigned STANBOL-185:
-----------------------------------
Assignee: Enrico Daga
> Jena-based reasoner
> -------------------
>
> Key: STANBOL-185
> URL: https://issues.apache.org/jira/browse/STANBOL-185
> Project: Stanbol
> Issue Type: New Feature
> Components: Reasoners
> Reporter: Andrea Nuzzolese
> Assignee: Enrico Daga
>
> Add Jena rule based reasoner as a new separate inference module inside the reasoners package;
> Implement the Reasoners OWLApi interface to adapt to Jena rule based inference engine with OWL lite profile;
> Remove HermiT fro within the reasoners module
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira