Uploaded image for project: 'Blazegraph (by SYSTAP)'
  1. Blazegraph (by SYSTAP)
  2. BLZG-708

RuleOwlTransitiveProperty2 not part of OWL entailment

    Details

      Description

      The RuleOwlTransitiveProperty2 Rule, which asserts
      (a rdf:type owl:TransitiveProperty), (b rdfs:subPropertyOf a) -> (b rdf:type owl:TransitiveProperty) is not part of OWL entailment and is entailing wrong conclusions.

      For example:
      :hasParent rdfs:subPropertyOf :hasAncestor
      :hasAncestor rdf:type owl:TransitiveProperty

      does not imply that :hasParent is transitive.

      Another example would be with SKOS

      skos:broader rdfs:subPropertyOf skos:broaderTransitive
      skos:broaderTransitive rdfs:type :owl:TransitiveProperty

      does not entail that broader is transitive.

      The rule needs to be removed from the OWL-Axioms to get the reasoner coming with the right conclusions.

        Activity

        There are no comments yet on this issue.

          People

          • Assignee:
            Unassigned
            Reporter:
            sfellah sfellah
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved: