Incremental adding and removal of concepts

[GoogleCodeExporter]

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

Original issue reported on code.google.com by martinsi...@gmail.com on 13 Jul 2007 at 12:16

[GoogleCodeExporter]

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.

Original comment by dmitry.t...@gmail.com on 7 Aug 2007 at 1:35

• Added labels: Type-Enhancement
• Removed labels: Type-Defect

[GoogleCodeExporter]

It was the second one I was more interested in. i.e. Addition and removal of 
axioms
without reclassifying

Original comment by martinsi...@gmail.com on 13 Aug 2007 at 1:25

[GoogleCodeExporter]

It is possible starting from 1.3.0

Original comment by dmitry.t...@gmail.com on 5 Jul 2010 at 5:49

• Changed state: Fixed