GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:software:pelletheart

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
pub:software:pelletheart [2011/04/02 19:58]
wta pelletheart description
pub:software:pelletheart [2013/01/10 13:57] (current)
Line 1: Line 1:
-====== ​Pelletheart ​======+====== ​Pellet-HeaRT ​======
 A prototype of a hybrid rule reasoner for ontologies. 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]]. 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 ====
Line 107: Line 104:
  
 **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 ==
Line 115: Line 112:
   * ''​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]] ​
pub/software/pelletheart.1301767098.txt.gz · Last modified: 2011/04/02 19:58 by wta