Incremental adding and removal of concepts
Issue #5
resolved
Original [issue 5](https://code.google.com/p/factplusplus/issues/detail?id=5) created by dtsarkov on 2007-07-13T12:16:23.000Z:
Hi,
This is a feature request. Please could you add the facility to dynamically add and remove concepts without having to rebuild the ontology.
-- Thanks, M
Comments (3)
-
reporter
-
reporter
Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=5#c2) originally posted by dtsarkov on 2007-08-13T13:25:47.000Z:It was the second one I was more interested in. i.e. Addition and removal of axioms without reclassifying
-
reporter
Comment [
#3](https://code.google.com/p/factplusplus/issues/detail?id=5#c3) originally posted by dtsarkov on 2010-07-05T17:49:19.000Z:It is possible starting from 1.3.0
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=5#c1) originally posted by dtsarkov on 2007-08-07T13:35:31.000Z:This enhancement is splitted into 2 cases.
First (simple) one is to allow user to use new names in a queries. Like check for satisfiability concept expression ((R someValuesFrom C) and (R someValuesFrom Complement(C))), where C does not appears in the ontology in order to check whether R is functional. This would be implemented soon (in next couple of releases).
Second, and more complex example, is to add and remove axioms without reclassifying the whole ontology. This problem is known as incremental reasoning and is much harder to implement. We are working on it, but don't expect this happens soon.