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 07:05] – created gjnpub: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.
  
-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 07:05 by gjn

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki