pub:software:pelletheart
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
pub:software:pelletheart [2011/01/30 07:05] – created gjn | pub:software:pelletheart [2013/01/10 12:57] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
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:// | Integrating classic forward chaining rule reasoning implemented by [[HeaRT]] with the [[http:// | ||
- | Concept by G. J. Nalepa and W. T. Adrian (de domo Furmańska), | + | Concept by [[pub: |
- | W. T. Adrian. | + | Weronika |
- | See [[http:// | + | ==== Idea ==== |
+ | * **Conceptual level**: Integration of //Attribute Logic with Set Values over Finite Domains (ALSV(FD))// | ||
+ | * **Implementation level**: Integration of Pellet | ||
- | It is based on the DAAL concept, see [[http:// | ||
- | ===== 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: | ||
+ | |||
+ | ==== 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 // | ||
+ | - rule precondition checked with // | ||
+ | |||
+ | === What has been done === | ||
+ | |||
+ | < | ||
+ | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
+ | % Reasoning with HeaRT-Pellet: | ||
+ | % 1. Build TBox: definitions of types and attributes | ||
+ | % a) build additional statements: ' | ||
+ | % 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: ' | ||
+ | % 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 % | ||
+ | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
+ | </ | ||
+ | |||
+ | |||
+ | Following the inference scenario: | ||
+ | |||
+ | **1.** HeaRT can be started with additional parameter in the '' | ||
+ | < | ||
+ | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
+ | % gox(StateIn, | ||
+ | % | ||
+ | % % | ||
+ | % Augmented version of Heart - additional variable for an ext.reasoner | ||
+ | % % | ||
+ | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
+ | </ | ||
+ | |||
+ | **2.** Translating parts of the HMR model to RDF/XML | ||
+ | |||
+ | < | ||
+ | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
+ | % DAAL prototype translator. | ||
+ | % -------------------------- | ||
+ | % | ||
+ | % Translates attributes into concepts, | ||
+ | % attribute values into instances and | ||
+ | % rule preconditions into T-Box like axioms. | ||
+ | % | ||
+ | % Supported operators: ' | ||
+ | % Supported attributes: ' | ||
+ | % | ||
+ | % Basic predicates: | ||
+ | % | ||
+ | % | ||
+ | % and write it to the file given as the argument. | ||
+ | % | ||
+ | % | ||
+ | % | ||
+ | % | ||
+ | % | ||
+ | % | ||
+ | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
+ | </ | ||
+ | |||
+ | **3.** Sending partial ontologies from HeaRT to Pellet | ||
+ | |||
+ | |||
+ | **4.** Interpreting the Pellet answers by HeaRT | ||
+ | |||
+ | == Technically == | ||
+ | |||
+ | * '' | ||
+ | * '' | ||
+ | |||
+ | ==== Papers ==== | ||
+ | * G.J. Nalepa, W.T. Furmańska: [[http:// | ||
+ | * G.J. Nalepa, W.T. Furmańska: [[http:// | ||
+ | * G.J. Nalepa, W.T. Furmańska: [[http:// | ||
===== Comments ===== | ===== Comments ===== | ||
+ | No longer supported. | ||
- | {{tag> | + | {{tag> |
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