Uploaded image for project: 'Apache Jena'
  1. Apache Jena
  2. JENA-416

Incorrect handling of maxcard(0) in presence of disjointness

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Minor
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: Jena 2.10.1
    • Component/s: Reasoners
    • Labels:
      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.

        Attachments

        1. patch.txt
          39 kB
          Dave Reynolds

          Activity

            People

            • Assignee:
              der Dave Reynolds
              Reporter:
              der Dave Reynolds
            • Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: