pub:software:pelletheart
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
pub:software:pelletheart [2011/04/02 18:00] – wta | pub:software:pelletheart [2011/04/02 21:23] – wta | ||
---|---|---|---|
Line 9: | Line 9: | ||
==== Idea ==== | ==== Idea ==== | ||
- | * **Conceptual level**: Integration of //Attribute Logic with Set Values over Finite Domains (ALSV(FD))// | + | * **Conceptual level**: Integration of //Attribute Logic with Set Values over Finite Domains (ALSV(FD))// |
- | * **Implementation level**: Integration of Pellet ontology reasoner and HeaRT rule inference engine (research paper on architecture proposal: [[http:// | + | * **Implementation level**: Integration of Pellet ontology reasoner and HeaRT rule inference engine (research paper on architecture proposal: [[http:// |
pub/software/pelletheart.txt · Last modified: 2013/01/10 12:57 by 127.0.0.1