ConceptBase.cc

The ConceptBase server has now the ability to export module excerpts (Telos sources or general views) . Telos sources can also be bulk-loaded via an import function.An application is the maintenance of textual excerpts from the ConceptBase database ... [More] , e.g. in the DOT format of Graphviz. ConceptBase will materialize all views of a whole module tree [...] [Less]

We are happy to announce the release of ConceptBase 7.3 for all supported platforms (Solaris sparc&x86pc, Linux x86pc&x86_64, Windows 2000&XP&7). The release solves a couple of stability problems. More importantly, the meta formula compiler can now handle existential quantification over more than one metaclass level.

An intermediate release for Linux (32bit and 64bit) is now available for download from http://sourceforge.net/projects/conceptbase/files/ The new version addresses a couple of bugs, some of them fatal. The meta formula compiler has an improved cost ... [More] model for selecting best predicate for partial evaluation. It also removes predicates that are redundant via partial evaluation. Binaries for Windows shall [...] [Less]

A new intermediate release of ConceptBase is available. Some issues with the ECA component were fixed. As with earlier releases, the Windows version include a Java JRE 6, build 07. This is compatible with the ConceptBase graph editor. Users of Linux are advised to use the OpenJDK [...]

The new release cb72-20100614 primarily addresses limitations of the ECA component. One non-termination issue related to recursive deductive rules referenced in ECA rules was solved. ECA rules can now be dynamically switched off and on by other ECA ... [More] rules. Moreover, the untell events are now correctly computed including derived untells to superclasses. The meta formula compiler now employs a two-pass strategy. [...] [Less]

I just uploaded binaries and sources of ConceptBase 7.2 (2010-05-19) to http://sourceforge.net/projects/conceptbase/ The new version has further functional and stability-related improvements to the ECA component. The meta formula compiler has also ... [More] been extended to cover more formulas. The sources are compatible to SWI-Prolog 5.6 to 5.10. The compilation instructions have been adapted to cope with certain small changes [...] [Less]

I have uploaded new binaries and sources of ConceptBase to SourceForge. There are no major functional additions, just some bug fixes, in particular to the ECA component. I gained some more experience with translating ConceptBase databases to a format ... [More] understandable to Graphviz. I will put examples on the CB-Forum in the coming months. Maybe, we will [...] [Less]

The active rule component of ConceptBase is currently revisited and a couple of shortcoming are being removed. I think it will be ready by the end of spring.

manfredjeusfeld made 7 file-release changes

manfredjeusfeld made 4 file-release changes