What steps will reproduce the problem?
1. Load the attached OWL ontology into Protege.
2. Select FaCT++ as reasoner and run reasoner.
3. Select File > Export inferred axioms as ontology, save new ontology.
What is the expected output? What do you see instead?
Expect to see ontology saved with inferred axioms. Instead Protege crashes,
reporting an error within FaCT++.
What version of the product are you using? On what operating system?
Protege 4.1, FaCT++ plugin 1.5.2.
Please provide any additional information below.
The crash seems to occur only when "object property characteristics" or
"property assertions" are checked in the inferred axioms output selection. An
exception occurs if "data property characteristics" only is checked.
Original issue reported on code.google.com by balh...@gmail.com on 15 Jun 2011 at 4:12
Original issue reported on code.google.com by
balh...@gmail.comon 15 Jun 2011 at 4:12Attachments: