Handling entities which are not in the ontology signature
Original [issue 41](https://code.google.com/p/factplusplus/issues/detail?id=41) created by dtsarkov on 2011-10-25T09:10:33.000Z:
<b>What steps will reproduce the problem?</b> 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.
<b>What is the expected output? What do you see instead?</b> 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.
<b>What version of the product are you using? On what operating system?</b> version P4.1-v1.5.2 on (Unix) Ubuntu 8.04 Hardy Heron
<b>Please provide any additional information below.</b> I am using the FaCT++ version 1.5.2 protege 4.1 plugin as part of a protege 4.1 build in Eclipse.
Comments (2)
-
reporter -
reporter Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=41#c2) originally posted by dtsarkov on 2012-05-10T17:00:18.000Z:Fixed in 1.5.3
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=41#c1) originally posted by dtsarkov on 2011-10-27T14:12:17.000Z:Confirmed. Working on it