[RYA-457] ClassCastException running InferenceEngine with List

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 3.2.12
• Fix Version/s: 3.2.12
• Component/s: inference
• Assignee: Unassigned
• Reporter: Eric White
• Created: 23/Jan/18 21:46
• Updated: 23/Jan/18 21:46

Description

The InferenceEngine throws a ClassCastException if it finds a list of statements in the ontology with a literal object.  Here's an example:

 

owl:equivalentClass [ rdf:type rdfs:Datatype ;
                      owl:oneOf [ rdf:type rdf:List ;
                                  rdf:first "A" ;
                                  rdf:rest [ rdf:type rdf:List ;
                                             rdf:first "B" ;
                                             rdf:rest [ rdf:type rdf:List ;
                                                        rdf:first "C" ;
                                                        rdf:rest [ rdf:type rdf:List ;
                                                                   rdf:first "D" ;
                                                                   rdf:rest [ rdf:type rdf:List ;
                                                                              rdf:first "E" ;
                                                                              rdf:rest rdf:nil
                                                                            ]
                                                                 ]
                                                      ]
                                           ]
                                ]
                    ] .