Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
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.