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 revisionPrevious revision
Next revision
Previous revision
pub:software:pelletheart [2011/04/02 17:59] wtapub: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. 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 120: 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/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.txt · Last modified: 2013/01/10 12:57 by 127.0.0.1

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki