[
https://issues.apache.org/jira/browse/STANBOL-418?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13173310#comment-13173310
]
Alberto Musetti edited comment on STANBOL-418 at 12/20/11 5:09 PM:
-------------------------------------------------------------------
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:
- reasoners/owl2/classify (Hermit): produces the inference that "margherita" is
rdf:type Pizza and also Food.
- reasoners/owl/classify (Jena): otherwise, dosn't prodoce the inference that
"margherita" rdf:type Food
was (Author: alberto.musetti):
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
