org.mindswap.pellet.exceptions.InternalReasonerException: *Object Property hasLowerBound is used with a hasValue restriction where the value

Google Groups | 林雅 | 1 year ago
  1. 0

    Pellet internalReasonerException in OWL API

    Google Groups | 1 year ago | 林雅
    org.mindswap.pellet.exceptions.InternalReasonerException: *Object Property hasLowerBound is used with a hasValue restriction where the value
  2. 0

    [SPIN] Intermittent exception

    Google Groups | 8 years ago | Jeff
    org.mindswap.pellet.exceptions.InternalReasonerException: Invalid value to create a literal. Value: bnode(-56fdbb17:120ff661ba4:-766b)
  3. 0

    Consistency check with Pellet fails

    GitHub | 3 years ago | sternk
    org.mindswap.pellet.exceptions.InternalReasonerException: Invalid value to create a literal. Value: http://www.dfki.de/sks/hets/ontology/unamed#6
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    Problem with backtracking

    Google Groups | 7 months ago | Unknown author
    org.mindswap.pellet.exceptions.InternalReasonerException: Backtrack: Trying to backtrack to branch 205 but has only 122 branches*. Clash found: [Clash "anon(5685)" EMPTY_DATATYPE [-1-[0, 108, 109, 110, 205]] [http://www.w3.org/2001/XMLSchema#int, not(restrictedDatatype(http://www.w3.org/2001/XMLSchema#int,[facet(http://www.w3.org/2001/XMLSchema#minInclusive,literal(135,(),http://www.w3.org/2001/XMLSchema#integer)),facet(http://www.w3.org/2001/XMLSchema#maxInclusive,literal(225,(),http://www.w3.org/2001/XMLSchema#integer))])), restrictedDatatype(http://www.w3.org/2001/XMLSchema#int,[facet(http://www.w3.org/2001/XMLSchema#minInclusive,literal(0,(),http://www.w3.org/2001/XMLSchema#integer)),facet(http://www.w3.org/2001/XMLSchema#maxExclusive,literal(360,(),http://www.w3.org/2001/XMLSchema#integer))]), restrictedDatatype(http://www.w3.org/2001/XMLSchema#int,[facet(http://www.w3.org/2001/XMLSchema#minInclusive,literal(225,(),http://www.w3.org/2001/XMLSchema#integer)),facet(http://www.w3.org/2001/XMLSchema#maxInclusive,literal(315,(),http://www.w3.org/2001/XMLSchema#integer))]), restrictedDatatype(http://www.w3.org/2001/XMLSchema#int,[facet(http://www.w3.org/2001/XMLSchema#minInclusive,literal(0,(),http://www.w3.org/2001/XMLSchema#integer)),facet(http://www.w3.org/2001/XMLSchema#maxInclusive,literal(45,(),http://www.w3.org/2001/XMLSchema#integer))]), not(restrictedDatatype(http://www.w3.org/2001/XMLSchema#int,[facet(http://www.w3.org/2001/XMLSchema#minInclusive,literal(45,(),http://www.w3.org/2001/XMLSchema#integer)),facet(http://www.w3.org/2001/XMLSchema#maxInclusive,literal(135,(),http://www.w3.org/2001/XMLSchema#integer))]))]] *at org.mindswap.pellet.tableau.completion.SROIQStrategy.backtrack(SROIQStrategy.java:57)*
  6. 0

    Pellet-Users is a list for the discussion and use of the Pellet reasoner. ()

    gmane.org | 1 year ago
    org.mindswap.pellet.exceptions.InternalReasonerException: Unknown term type: not(restrictedDatatype( ))

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. org.mindswap.pellet.exceptions.InternalReasonerException

      *Object Property hasLowerBound is used with a hasValue restriction where the value

      at org.mindswap.pellet.tableau.completion.rule.SomeValuesRule.applySomeValuesRule()
    2. org.mindswap.pellet
      KnowledgeBase.isConsistent
      1. org.mindswap.pellet.tableau.completion.rule.SomeValuesRule.applySomeValuesRule(SomeValuesRule.java:204)
      2. org.mindswap.pellet.tableau.completion.rule.SomeValuesRule.apply(SomeValuesRule.java:64)
      3. org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule.apply(AbstractTableauRule.java:64)
      4. org.mindswap.pellet.tableau.completion.SROIQStrategy.complete(SROIQStrategy.java:157)
      5. org.mindswap.pellet.ABox.isConsistent(ABox.java:1423)
      6. org.mindswap.pellet.ABox.isConsistent(ABox.java:1260)
      7. org.mindswap.pellet.KnowledgeBase.consistency(KnowledgeBase.java:1987)
      8. org.mindswap.pellet.KnowledgeBase.isConsistent(KnowledgeBase.java:2061)
      8 frames
    3. Pellet :: Jena
      PelletInfGraph.prepare
      1. org.mindswap.pellet.jena.PelletInfGraph.prepare(PelletInfGraph.java:258)
      2. org.mindswap.pellet.jena.PelletInfGraph.prepare(PelletInfGraph.java:241)
      2 frames
    4. com.clarkparsia.pellet
      SparqlDLExecutionFactory.create
      1. com.clarkparsia.pellet.sparqldl.jena.SparqlDLExecutionFactory.create(SparqlDLExecutionFactory.java:113)
      2. com.clarkparsia.pellet.sparqldl.jena.SparqlDLExecutionFactory.create(SparqlDLExecutionFactory.java:261)
      3. com.clarkparsia.pellet.sparqldl.jena.SparqlDLExecutionFactory.create(SparqlDLExecutionFactory.java:226)
      3 frames
    5. loadMODIS
      load.main
      1. loadMODIS.load.main(load.java:78)
      1 frame