[JENA-416] Incorrect handling of maxcard(0) in presence of disjointness

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: Jena 2.10.1
• Component/s: Reasoners
• Assignee: Dave Reynolds
• Reporter: Dave Reynolds
• Created: 19/Mar/13 10:48
• Updated: 16/May/13 07:25
• Resolved: 19/Mar/13 11:27

Description

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.