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 11:57:16 UTC

[jira] [Commented] (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:comment-tabpanel&focusedCommentId=13606226#comment-13606226 ] 

Dave Reynolds commented on JENA-416:
------------------------------------

Patch provided.  I can't get my svn credentials to work so I can't commit it myself.
                
> 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
>            Priority: Minor
>         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