search

nasrosoft / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

Crash on unsupported facets #43

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 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 8 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