Both sides previous revisionPrevious revisionNext revision | Previous revision |
pub:software:pelletheart [2011/04/02 17:58] – pelletheart description wta | pub:software:pelletheart [2013/01/10 12:57] (current) – external edit 127.0.0.1 |
---|
====== Pelletheart ====== | ====== Pellet-HeaRT ====== |
A prototype of a hybrid rule reasoner for ontologies. | A prototype of a hybrid rule reasoner for ontologies. |
| |
Integrating classic forward chaining rule reasoning implemented by [[HeaRT]] with the [[http://clarkparsia.com/pellet/|Pellet]]. | Integrating classic forward chaining rule reasoning implemented by [[HeaRT]] with the [[http://clarkparsia.com/pellet/|Pellet]]. |
| |
Concept by G. J. Nalepa and W. T. Adrian (de domo Furmańska), prototype implementation by | Concept by [[pub:about_us:gjn|Grzegorz J. Nalepa]] and [[pub:about_us:wta|Weronika T. Adrian]] (Furmańska), prototype implementation by |
W. T. Adrian. | Weronika T. Adrian. |
| |
==== Idea ==== | ==== Idea ==== |
* **Conceptual level**: Integration of //Attribute Logic with Set Values over Finite Domains (ALSV(FD))// and //Description Logics (DL)// (research paper on integration: [[http://www.springerlink.com/content/9161824068583k57/|read]]) | * **Conceptual level**: Integration of //Attribute Logic with Set Values over Finite Domains (ALSV(FD))// and //Description Logics (DL)// (research papers on integration: [[http://www.springerlink.com/content/9161824068583k57/|here]] and [[http://www.springerlink.com/content/m388651626832551/|here]]) |
* **Implementation level**: Integration of Pellet ontology reasoner and HeaRT rule inference engine (research paper on architecture proposal: [[http://www.springerlink.com/content/r46p8m40432n7342/|read]], poster: \\ {{:pub:software:ki2010poster.png?300|poster}} | * **Implementation level**: Integration of Pellet ontology reasoner and HeaRT rule inference engine (research paper on architecture proposal: [[http://www.springerlink.com/content/r46p8m40432n7342/|here]], poster: \\ {{:pub:software:ki2010poster.png?300|poster}} |
| |
| |
See [[http://www.springerlink.com/content/r46p8m40432n7342/|LNCS/LNAI 6359/2010 Paper: Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules (2010)]]. | |
| |
It is based on the DAAL concept, see [[http://www.springerlink.com/content/9161824068583k57/|Springer SCI vol. 244/2009 Paper: Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications (2009)]] and [[http://www.springerlink.com/content/m388651626832551/|TCCI II, LNCS/LNAI 6450/2010 Paper: Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules (2010)]]. | |
| |
==== Integration Proposal ==== | ==== Integration Proposal ==== |
| |
**3.** Sending partial ontologies from HeaRT to Pellet | **3.** Sending partial ontologies from HeaRT to Pellet |
- predicates for sending the ontologies FIXME | |
| |
**4.** Interpreting the Pellet answers by HeaRT FIXME | |
| **4.** Interpreting the Pellet answers by HeaRT |
| |
== Technically == | == Technically == |
* ''heart-pellet.pl'' - Extended version of HeaRT (works with the standard HeaRT distribution): additional parameter in ''gox'' predicates for the external reasoner to use | * ''heart-pellet.pl'' - Extended version of HeaRT (works with the standard HeaRT distribution): additional parameter in ''gox'' predicates for the external reasoner to use |
* ''heart-daal-translator.pl'' - predicates | * ''heart-daal-translator.pl'' - predicates |
| |
==== Papers ==== | ==== Papers ==== |
* G.J. Nalepa, W.T. Furmańska: [[http://www.springerlink.com/content/9161824068583k57/|Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications]], New Challenges in Computational Collective Intelligence. Studies in Computational Intelligence, 2009, Vol. 244/2009, 15-26. | * G.J. Nalepa, W.T. Furmańska: [[http://www.springerlink.com/content/9161824068583k57/|Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications]], New Challenges in Computational Collective Intelligence. Studies in Computational Intelligence, 2009, Vol. 244/2009, 15-26. |
* G.J. Nalepa, W.T. Furmańska: [[http://www.springerlink.com/content/r46p8m40432n7342/|Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules]], KI 2010: Advances in Artificial Intelligence. LNCS, Vol. 6359/2010, 143-150. | * G.J. Nalepa, W.T. Furmańska: [[http://www.springerlink.com/content/r46p8m40432n7342/|Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules]], KI 2010: Advances in Artificial Intelligence. LNCS, Vol. 6359/2010, 143-150. |
* G.J. Nalepa, W.T. Furmańska: [[http://www.springerlink.com/content/m388651626832551/|Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules]], TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE II, LNCS, Vol. 6450/2010, 1-23. | * G.J. Nalepa, W.T. Furmańska: [[http://www.springerlink.com/content/m388651626832551/|Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules]], TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE II, LNCS, Vol. 6450/2010, 1-23. |
| |
===== Releases ===== | |
See us back on spring 2011 | |
| |
===== Comments ===== | ===== Comments ===== |
| No longer supported. |
| |
{{tag>software wtf gjn}} | {{tag>software Semantic_Web ontologies rules}} |
| |
Go back to -> [[start|software]] | Go back to -> [[start|software]] |