Details

    • Type: Bug Bug
    • Status: Open
    • Priority: Major Major
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: Reasoners
    • Labels:
      None

      Description

      From a question on Stack Overflow [1]. The expected entailment `:r :my_property :a_value` is not asserted in the inference model. As far as I can see, the OP is correct that this result should be entailed.

      [1] http://stackoverflow.com/questions/5803610/jena-recursive-reasoning-issue

      Complete test case:
      ------------------------------------------------------------------
      package example;

      import static org.junit.Assert.assertTrue;

      import org.junit.Test;

      import com.hp.hpl.jena.ontology.*;
      import com.hp.hpl.jena.rdf.model.ModelFactory;
      import com.hp.hpl.jena.vocabulary.OWL;

      public class InfTest
      {
      OntModel baseM, infM;

      @Test
      public void test1()

      { this.baseM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM); // also fails with MICRO_RULE_INF this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.baseM); OntResource r = baseM.createOntResource("http://example.com/r"); OntResource r1 = baseM.createOntResource("http://example.com/r1"); OntProperty myProperty = baseM.createOntProperty("http://example.com#my_property"); OntResource v = baseM.createOntResource("http://example.com#a_value"); OntProperty mySameAs = baseM.createOntProperty("http://example.com#mySameAs"); baseM.add(mySameAs, OWL.equivalentProperty, OWL.sameAs); r1.addProperty(myProperty, v); r.addProperty(mySameAs, r1); infM.rebind(); //infM.writeAll( System.out, "Turtle", null ); assertTrue(infM.contains(r, myProperty, v)); }

      }

      ------------------------------------------------------------------

        Activity

          People

          • Assignee:
            Dave Reynolds
            Reporter:
            Ian Dickinson
          • Votes:
            1 Vote for this issue
            Watchers:
            1 Start watching this issue

            Dates

            • Created:
              Updated:

              Development