Details

      Description

      Hi,

      The inferences related to owl:equivalentClass are incomplete.

      Using the following example:

      @prefix : <http://example.org/ns1#> .
      @prefix foaf: <http://xmlns.com/foaf/0.1/> .
      @prefix owl: <http://www.w3.org/2002/07/owl#> .
      @prefix person: <http://example.org/ns2#> .

      foaf:Person a owl:Class.
      :Person a owl:Class.
      person:Person a owl:Class.

      :P1 a :Person .
      :P2 a foaf:Person .
      :P3 a person:Person .
      :Person owl:equivalentClass person:Person , foaf:Person .

      The reasoner does not infer that each instances P1,P2 and P2 are of types :Person, foaf:Person and person:Person.

      Digging in the source code, I found out that only one rule is related to equivalentClass (RuleOwlEquivalentClass) stating:

      (a owl:equivalentClass b) -> (b owl:equivalentClass a)

      The following rules needs to be added in the system to get the proper inference:

      ( ?c1 owl:equivalentClass ?c2 )(?x a ?c1) => ( ?x a ?c2 )

      If you have more questions, please contact me

      Stephane Fellah

        Activity

        Hide
        bryanthompson bryanthompson added a comment -

        The appropriate steps to resolve this issue are:


        - Create an appropriate unit test that can be plugged into the inference engine test suite. The test suite would be based on TestRuleOwlEquivalentClass.
        - Specify the missing rule. See com.bigdata.rdf.rules.RuleOwlEquivalentClass which defines the other half of this rule.
        - Update the FastClosure and FullClosure programs so the new rule is used when owl:equivalentClass inference is enabled.

        Show
        bryanthompson bryanthompson added a comment - The appropriate steps to resolve this issue are: - Create an appropriate unit test that can be plugged into the inference engine test suite. The test suite would be based on TestRuleOwlEquivalentClass. - Specify the missing rule. See com.bigdata.rdf.rules.RuleOwlEquivalentClass which defines the other half of this rule. - Update the FastClosure and FullClosure programs so the new rule is used when owl:equivalentClass inference is enabled.

          People

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

            Dates

            • Created:
              Updated: