Crash on unsupported facets

pavor84 / factplusplus

Automatically exported from code.google.com/p/factplusplus

0 stars 0 forks source link

Crash on unsupported facets #43

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

FaCT++, in the versions distributed with Protégé 4.1 and 4.0.2, will crash if 
it is fed an ontology with an unsupported facet restriction.

An example is the following, in Manchester syntax: (note, this snippet is non 
standard-compliant)

    Class: ex:LuminousThing

        EquivalentTo: 
            ex:emitsLight some xsd:boolean[>= true]

FaCT++ should refuse or ignore such facets, it should not crash.

Original issue reported on code.google.com by gioe...@gmail.com on 18 Nov 2011 at 6:13

GoogleCodeExporter commented 9 years ago

Thanks for the report. Fixed in SVN revision 1278

Original comment by dmitry.t...@gmail.com on 22 Nov 2011 at 2:20

Changed state: Fixed