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
Last revisionBoth sides next revision
pub:software:pelletheart [2011/04/02 17:59] wtapub:software:pelletheart [2011/05/02 17:23] wta
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:people:gjn|G. J. Nalepa]] and [[pub:about_us:people:wta|W. T. Adrian]] (de domo Furmańska), prototype implementation by 
 W. T. Adrian. W. 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 123: Line 120:
 ===== Releases ===== ===== Releases =====
 See us back on spring 2011 See us back on spring 2011
- 
 ===== Comments ===== ===== Comments =====
 +Support by [[pub:about_us:people:wta|W.T.Adrian]].
  
-{{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