[
https://issues.apache.org/jira/browse/JENA-416?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13606278#comment-13606278
]
Hudson commented on JENA-416:
-----------------------------
Integrated in Jena__Development_Test #550 (See
[https://builds.apache.org/job/Jena__Development_Test/550/])
Test case and fix for JENA-416 (Revision 1458226)
Result = SUCCESS
der :
Files :
* /jena/trunk/jena-core/src/main/resources/etc/owl-fb-mini.rules
* /jena/trunk/jena-core/src/main/resources/etc/owl-fb.rules
*
/jena/trunk/jena-core/src/test/java/com/hp/hpl/jena/reasoner/rulesys/test/TestBugs.java
* /jena/trunk/jena-core/testing/reasoners/bugs/terrorism.owl
> 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
