[jira] [Commented] (STANBOL-418) Issue in the usage of rules with reasoners

["Alberto Musetti (Commented) (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/STANBOL-418?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13173310#comment-13173310 ] 

Alberto Musetti commented on STANBOL-418:
-----------------------------------------

I have tried this easy test:

Menu.owl: there is an individual "margherita" rdf:type Pizza
Food.owl: there are the classes Food and Pizza
recipe.txt: if(x rdf:type Pizza) -> (x rdf:type Food)

Result:
- Hermit produces the inference that "margherita" is rdf:type Pizza and also Food. 
- Jena, otherwise, dosn't prodoce the inference that "margherita" rdf:type Food
                
> Issue in the usage of rules with reasoners
> ------------------------------------------
>
>                 Key: STANBOL-418
>                 URL: https://issues.apache.org/jira/browse/STANBOL-418
>             Project: Stanbol
>          Issue Type: Bug
>          Components: Reasoners, Rules
>            Reporter: Alberto Musetti
>
> I created a rule, but the reasoning has not produced any inference even if the rule was created ad-hoc to cause materializations

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira