Handling entities which are not in the ontology signature

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Create an arbitrary class expression using the signature of the active 
ontology.
2. Extract a module of the active ontology which does NOT contain one or more 
entities from the above class expression signature.
3.Use FaCT++ through the OWLAPI to ask if the class expression is satisfiable 
w.r.t. the extracted module.

What is the expected output? What do you see instead?
Expected output: class expression is satisfiable or unsatisfiable. Instead I 
get an error message: Unable to register 
'http://www.semanticweb.org/ontologies/2011/0/ontologyX.owl#conceptX' as a 
concept.

What version of the product are you using? On what operating system?
version P4.1-v1.5.2 on (Unix) Ubuntu 8.04 Hardy Heron

Please provide any additional information below.
I am using the FaCT++ version 1.5.2 protege 4.1 plugin as part of a protege 4.1 
build in Eclipse.

Original issue reported on code.google.com by kody.moo...@gmail.com on 25 Oct 2011 at 9:10

[GoogleCodeExporter]

Confirmed. Working on it

Original comment by dmitry.t...@gmail.com on 27 Oct 2011 at 2:12

• Changed state: Accepted

[GoogleCodeExporter]

Fixed in 1.5.3

Original comment by dmitry.t...@gmail.com on 10 May 2012 at 5:00

• Changed state: Fixed