You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@jena.apache.org by "Dave Reynolds (JIRA)" <ji...@apache.org> on 2013/03/19 12:27:15 UTC
[jira] [Resolved] (JENA-416) Incorrect handling of maxcard(0) in
presence of disjointness
[ https://issues.apache.org/jira/browse/JENA-416?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Dave Reynolds resolved JENA-416.
--------------------------------
Resolution: Fixed
Fix Version/s: Jena 2.10.1
Assignee: Dave Reynolds
> Incorrect handling of maxcard(0) in presence of disjointness
> -------------------------------------------------------------
>
> Key: JENA-416
> URL: https://issues.apache.org/jira/browse/JENA-416
> Project: Apache Jena
> Issue Type: Bug
> Components: Reasoners
> Reporter: Dave Reynolds
> Assignee: Dave Reynolds
> Priority: Minor
> Fix For: Jena 2.10.1
>
> Attachments: patch.txt
>
>
> Rules maxrec2 and cardrec1 are too strong, they deduce an owl:equivalentClass relation where only rdfs:subClassOf is justified. Applies to both MINI and RULE configurations.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira