UnsupportedOperationException using Pellet 2.3.1 when processing facet constraint

[Lloyd McKenzie]

I get the following stack-trace when I run a classify on the following (minimal) ontology:

Input size: Classes = 3, Properties = 5, Individuals = 0

Expressivity: ALH(D)

Start consistency check

Finished consistency check in 00:00:00.038

Start classification

Classifying 3 elements

Classifying:  33% complete in 00:00Exception in thread "main" java.lang.UnsupportedOperationException

        at com.clarkparsia.pellet.datatypes.types.text.RestrictedTextDatatype.applyConstrainingFacet(RestrictedTextDatatype.java:93)

        at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.getDataRange(DatatypeReasonerImpl.java:440)

        at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.normalizeVarRanges(DatatypeReasonerImpl.java:1049)

        at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:721)

        at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:665)

        at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:626)

        at org.mindswap.pellet.Literal.checkClash(Literal.java:369)

        at org.mindswap.pellet.Literal.addType(Literal.java:261)

        at org.mindswap.pellet.tableau.completion.CompletionStrategy.addType(CompletionStrategy.java:438)

        at org.mindswap.pellet.tableau.completion.CompletionStrategy.applyDomainRange(CompletionStrategy.java:631)

        at org.mindswap.pellet.tableau.completion.CompletionStrategy.applyPropertyRestrictions(CompletionStrategy.java:592)

        at org.mindswap.pellet.tableau.completion.CompletionStrategy.addEdge(CompletionStrategy.java:583)

        at org.mindswap.pellet.tableau.completion.rule.MinRule.apply(MinRule.java:98)

        at org.mindswap.pellet.tableau.completion.rule.MinRule.apply(MinRule.java:57)

        at org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule.apply(AbstractTableauRule.java:64)

        at org.mindswap.pellet.tableau.completion.SROIQStrategy.complete(SROIQStrategy.java:157)

        at org.mindswap.pellet.ABox.isConsistent(ABox.java:1423)

        at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:595)

        at org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.checkSatisfiability(CDOptimizedTaxonomyBuilder.java:763)

        at org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:814)

        at org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:265)

        at org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:217)

        at org.mindswap.pellet.KnowledgeBase.classify(KnowledgeBase.java:2095)

        at pellet.PelletClassify.runClassicClassify(PelletClassify.java:135)

        at pellet.PelletClassify.run(PelletClassify.java:117)

        at pellet.Pellet.run(Pellet.java:105)

        at pellet.Pellet.main(Pellet.java:59)

<Ontology xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://hl7.org/ontology/datatypes/uv#">

  <Prefix name="xs" IRI="http://www.w3.org/2001/XMLSchema#"/>

  <Prefix name="dt" IRI="http://hl7.org/ontology/datatypes/uv#"/>

  <SubClassOf>

    <Class abbreviatedIRI="dt:II"/>

    <DataMinCardinality cardinality="1">

      <DataProperty abbreviatedIRI="dt:II.root"/>

    </DataMinCardinality>

  </SubClassOf>

  <DataPropertyRange>

    <DataProperty abbreviatedIRI="dt:II.root"/>

    <DatatypeRestriction>

      <Datatype abbreviatedIRI="xs:string"/>

      <FacetRestriction facet="http://www.w3.org/2001/XMLSchema#pattern">

        <Literal>.*</Literal>

      </FacetRestriction>

    </DatatypeRestriction>

  </DataPropertyRange>

</Ontology>

I suppose it's possible the specified facet restriction isn't supported, but in that case I should presumably get a slightly nicer error message.  (And am really hoping the facet restriction is supported and this is just an easily fixable bug :>)

[Vennrod Chietzcotl]

Has this ever been solved? Facet constraints like length and pattern still raise an unsupported exception error for me.