factplusplus

ID Status Summary
57 Fixed Compilation on Ubuntu did not work Type-Defect Priority-Medium
56 New Failure on CentOS 6.4 (libc.so.6: version `GLIBC_2.14' not found) Type-Defect Priority-Medium
55 New OWL API reasoner interface lacks getDataPropertyValues() Type-Defect Priority-Medium
54 New Cannot save unregistered pointer in DLVertex::Save Type-Defect Priority-Medium
53 New Segmentation fault Type-Defect Priority-Medium
52 New sub-role of object top role causes exception Type-Defect Priority-Medium
51 Fixed Fact++ 1.6.0 Protege plugin infers all instances to use all object properties Type-Defect Priority-Medium
50 Fixed getRoleFillers problem - OWL API 3 Type-Defect Priority-Medium
49 WontFix reasoner.getObjectPropertyRelationships(Individual) Takes too long to converge Type-Defect Priority-Medium
48 Fixed unsupported std::map at() method Type-Defect Priority-Medium
47 Done 'ReasonerInternalException: bad allocation' Error Type-Defect Priority-Medium
46 Fixed Explanation error - FaCT++ Kernel: unsupported operation 'tellDatatypeDeclaration' Type-Defect Priority-Medium
45 New Failure on Ubuntu Lucid (requires libstdc++.so.6 with version `GLIBCXX_3.4.14') Type-Defect Priority-Medium
44 Done Crash on Ubuntu Lucid (plugin requires /usr/lib/libstdc++.so.6: version `GLIBCXX_3.4.14' Type-Defect Priority-Medium
43 Fixed Crash on unsupported facets Type-Defect Priority-Medium
42 New Feature request: support for neon toolkit Type-Defect Priority-Medium
41 Fixed Handling entities which are not in the ontology signature Type-Defect Priority-Medium
40 Fixed dispose()/deleteKernel() incomplete? Type-Defect Priority-Medium
39 Fixed Updates from OWL API doesn't go into the reasoner Type-Defect Priority-High
38 Fixed Compile error under MSVC due to missing STL header Type-Defect Priority-Medium
37 Invalid Having problem to use Fact++ 1.5.2 with OWLAPI 3.2 Type-Defect Priority-Medium
36 New Crash when exporting inferred axioms Type-Defect Priority-Medium
35 Fixed Problem with FaCT++ 1.5.2 and OWLlink 1.2.0 Type-Defect Priority-Medium
34 Done License GPL or LGPL Type-Defect Priority-Medium
33 Fixed Failed assertion when using OWLAPI InferredOntologyGenerator Type-Defect Priority-Medium
32 Fixed Missing libraries with 1.5.2 plugin for Protege 4.1 under OS/X Type-Defect Priority-Medium
31 Fixed Protege 4.0.2 No match found for native code: lib/native/64bit/FaCTPlusPlusJNI.dll Type-Defect Priority-Medium
30 Invalid OWL Primer 'families' Ontology Cannot be Reasoned With FaCT++ Type-Defect Priority-Medium
29 Fixed Problem starting plugin Factplusplus Plug-in on Windows Server 2008 R2 Type-Defect Priority-Medium
28 Fixed FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails Type-Defect Priority-High
27 Fixed please statically link precompiled binaries Type-Defect Priority-Medium
26 Fixed FacT++ does not seem to take the testTimeout parameter into account Type-Defect Priority-Low
25 Fixed libFaCTPlusPlusJNI.so for 64bit Linux is missing Type-Defect Priority-Medium
24 New OWL API 3 support is incomplete Type-Enhancement Priority-Medium
23 Invalid Inconsistent/Ontology/Exception Fact Type-Other Priority-Low
22 Fixed Retrieve the Object SubProperties of the TopOjectProperty Type-Defect Priority-Medium
21 New Documentation & Examples Type-Defect Priority-Medium
20 Fixed FaCT++ crashes with malloc error Type-Defect Priority-Medium
19 Fixed Doesn't return direct and/or indirect instances - method doesn't comply with OWL API Type-Defect Priority-Medium
18 Done FaCTPlusPlusException - bad allocation Type-Defect Priority-Medium
17 Fixed Problem with Protégé 4.0 Type-Defect Priority-Medium
16 Fixed FaCT++ crashes on inconsistent ontology with irreflexive property chain Type-Defect Priority-Medium
15 Fixed Unsatisfiable concept descriptions are not reported to be equivalent to bottom Type-Defect Priority-Medium
14 Fixed [MAKE] Gentoo build problems - SOLVED Type-Task Priority-Medium
13 Fixed Unimplemented OWL-API reasoner methods appear to be supported in the backend Type-Enhancement Priority-Medium
12 Fixed Crash when getting the individuals of a description Type-Defect Priority-Medium
11 Fixed FACT++ ver. 1.1 and 1.1.11 resoners crash Protege 4.0 alpha on Mac OS X 10.4.11 Type-Defect Priority-Medium
10 Fixed Data type reasoning crashes reasoner Type-Defect Priority-Medium
9 Accepted Doesn't support built in primitive datatypes Type-Enhancement Priority-Medium
8 Invalid DIG interface does not support provides complex role inclusion Type-Defect Priority-Medium
7 Fixed Bug in http sending and http1.1 support Type-Defect Priority-Medium
5 Fixed Incremental adding and removal of concepts Type-Enhancement Priority-Medium
4 Fixed datatype reasoning Type-Defect Priority-High
3 New Feature Request: Support for Jena Reasoning API Type-Enhancement Priority-Medium
2 Fixed DIG: <roleFillers> command not supported Type-Defect Priority-Medium
1 Done Does't build without xerces Type-Defect Priority-Medium