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

Next revision
Previous revision
pub:software:pelletheart [2011/01/30 08:05]
gjn created
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.
  
-See [[http://​www.springerlink.com/​content/​r46p8m40432n7342/|LNCS/LNAI 6359/2010 Paper: Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules (2010)]].+==== Idea ==== 
 +  * **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/​|here]], poster: \\ {{:​pub:​software:​ki2010poster.png?​300|poster}}
  
-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)]]. 
  
-===== Releases ​===== + 
-See us back on spring 2011+==== Integration Proposal ​==== 
 +  * Attributes in AL correspond to Concepts in DL 
 +  * model of a system stored in HeaRT, rule conditions checked by Pellet, execution of rules by HeaRT 
 +  * communication:​ DIG or command line 
 + 
 +==== Implementation ​==== 
 +=== Top-down overview === 
 +There are 2 aspects of the integration of Pellet and HeaRT: 
 +  - Communication channel 
 +      - command line 
 +        - sending RDF/XML (dedicated translators from HML/R to RDF/XML) 
 +      - DIG interface 
 +        - sending DIG message (dedicated translators HML/R to DIG) 
 +  - Inference scenario 
 +    - rule precondition checked with //​consistency checking// DL task 
 +    - rule precondition checked with //​realisation//​ DL task 
 + 
 +=== What has been done === 
 + 
 +<​code>​ 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +% Reasoning with HeaRT-Pellet: ​                                     % 
 +%  1. Build TBox: definitions of types and attributes ​              % 
 +%    a) build additional statements: '​allDifferent'​ for individuals % 
 +%  2. Call any inference mode you wish (GDI, TDI etc.)              % 
 +%  3. In each state build an ABox representing this state           % 
 +%  4. Whenever you check a rule preconditions: ​                     % 
 +%    a) build rule axioms (temporary TBox), ​                        % 
 +%    b) ontology = definitions TBox + rule axioms TBox + state ABox % 
 +%    c) send the ontology to Pellet to check its consistency ​       % 
 +%  5. Interpret the result, carry on as usual                       % 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 + 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +% Reasoning with HeaRT-Pellet - Alternative version: ​               % 
 +%                                                                   % 
 +%  1. Build TBox: definitions of types and attributes ​              % 
 +%    a) build additional statements: '​allDifferent'​ for individuals % 
 +%  2. Call any inference mode you wish                              % 
 +%  3. In each state build an ABox representing this state           % 
 +%  4. Whenever you check a rule preconditions: ​                     % 
 +%    a) build rule axioms (ABox statements) ​                        % 
 +%    b) definitions TBox + rule axioms aBox + state ABox            % 
 +%    c) send to Pellet to check realization the rule conditions ​    % 
 +%  5. Interpret the result, carry on as usual                       % 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +</​code>​ 
 + 
 + 
 +Following the inference scenario: 
 + 
 +**1.** HeaRT can be started with additional parameter in the ''​gox''​ predicate:​ 
 +<​code>​ 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +% gox(StateIn,​T,​Mode,​ExternalReasoner) ​                                 % 
 +%   ​ExternalReasoner - the one used to check the rules preconditions ​   % 
 +%                                                                       % 
 +% Augmented version of Heart - additional variable for an ext.reasoner ​ % 
 +%                                                                       % 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +</​code>​ 
 + 
 +**2.** Translating parts of the HMR model to RDF/XML 
 + 
 +<​code>​ 
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +% DAAL prototype translator. 
 +% -------------------------- 
 +
 +% Translates attributes into concepts,  
 +%  attribute values into instances and 
 +%  rule preconditions into T-Box like axioms. 
 +%    
 +% Supported operators: '​in',​ '​eq'​. 
 +% Supported attributes: '​symbolic'​. 
 +%  
 +% Basic predicates:​ 
 +%   ​owl_xml_gen/​0 - translate HMR file into DAAL representation (ontology). 
 +%   ​owl_xml_gen/​1 - translate HMR file into DAAL representation (ontology) 
 +%                   and write it to the file given as the argument. 
 +%   ​owl_xml_attr_gen/​0 - translate the attribute definitions 
 +%   ​owl_rulp_gen/​0 - translate the rules preconditions 
 +%   ​owl_rulp_gen/​1 - translate the given rule preconditions 
 +%   ​owl_stat_gen/​0 - translate the states statements 
 +%   ​owl_stat_gen/​1 - translate the given state statement 
 +
 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
 +</​code>​ 
 + 
 +**3.** Sending partial ontologies from HeaRT to Pellet 
 + 
 + 
 +**4.** Interpreting the Pellet answers by HeaRT  
 + 
 +== Technically == 
 + 
 +  * ''​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 
 + 
 +==== 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/​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.
  
 ===== 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.1296371100.txt.gz · Last modified: 2011/01/30 08:05 by gjn