Differences

This shows you the differences between two versions of the page.

--- pub:software:pelletheart [2011/04/02 18:00] – wta
+++ pub:software:pelletheart [2013/01/10 12:57] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Pelletheart ======
+====== Pellet-HeaRT ======
 A prototype of a hybrid rule reasoner for ontologies.
@@ Line 5: / Line 5: @@
 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 ====
-  * **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}}
@@ Line 117: / Line 117: @@
   * 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.
-===== Releases =====
-See us back on spring 2011
 ===== Comments =====
+No longer supported.
-{{tag>software  wtf gjn}}
+{{tag>software Semantic_Web ontologies rules}}
 Go back to -> [[start|software]]