HefesT factplusplus issues

HefesT / factplusplus

Automatically exported from code.google.com/p/factplusplus

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Compilation on Ubuntu did not work

#57 GoogleCodeExporter closed 8 years ago
7
Failure on CentOS 6.4 (libc.so.6: version `GLIBC_2.14' not found)

#56 GoogleCodeExporter opened 8 years ago
0
OWL API reasoner interface lacks getDataPropertyValues()

#55 GoogleCodeExporter opened 8 years ago
0
Cannot save unregistered pointer in DLVertex::Save

#54 GoogleCodeExporter opened 8 years ago
0
Segmentation fault

#53 GoogleCodeExporter opened 8 years ago
0
sub-role of object top role causes exception

#52 GoogleCodeExporter opened 8 years ago
0
Fact++ 1.6.0 Protege plugin infers all instances to use all object properties

#51 GoogleCodeExporter closed 8 years ago
4
getRoleFillers problem - OWL API 3

#50 GoogleCodeExporter closed 8 years ago
3
reasoner.getObjectPropertyRelationships(Individual) Takes too long to converge

#49 GoogleCodeExporter closed 8 years ago
1
unsupported std::map at() method

#48 GoogleCodeExporter closed 8 years ago
1
'ReasonerInternalException: bad allocation' Error

#47 GoogleCodeExporter closed 8 years ago
2
Explanation error - FaCT++ Kernel: unsupported operation 'tellDatatypeDeclaration'

#46 GoogleCodeExporter closed 8 years ago
1
Failure on Ubuntu Lucid (requires libstdc++.so.6 with version `GLIBCXX_3.4.14')

#45 GoogleCodeExporter opened 8 years ago
2
Crash on Ubuntu Lucid (plugin requires /usr/lib/libstdc++.so.6: version `GLIBCXX_3.4.14'

#44 GoogleCodeExporter closed 8 years ago
2
Crash on unsupported facets

#43 GoogleCodeExporter closed 8 years ago
1
Feature request: support for neon toolkit

#42 GoogleCodeExporter opened 8 years ago
0
Handling entities which are not in the ontology signature

#41 GoogleCodeExporter closed 8 years ago
2
dispose()/deleteKernel() incomplete?

#40 GoogleCodeExporter closed 8 years ago
1
Updates from OWL API doesn't go into the reasoner

#39 GoogleCodeExporter closed 8 years ago
1
Compile error under MSVC due to missing STL header

#38 GoogleCodeExporter closed 8 years ago
1
Having problem to use Fact++ 1.5.2 with OWLAPI 3.2

#37 GoogleCodeExporter closed 8 years ago
2
Crash when exporting inferred axioms

#36 GoogleCodeExporter opened 8 years ago
0
Problem with FaCT++ 1.5.2 and OWLlink 1.2.0

#35 GoogleCodeExporter closed 8 years ago
1
License GPL or LGPL

#34 GoogleCodeExporter closed 8 years ago
1
Failed assertion when using OWLAPI InferredOntologyGenerator

#33 GoogleCodeExporter closed 8 years ago
2
Missing libraries with 1.5.2 plugin for Protege 4.1 under OS/X

#32 GoogleCodeExporter closed 8 years ago
2
Protege 4.0.2 No match found for native code: lib/native/64bit/FaCTPlusPlusJNI.dll

#31 GoogleCodeExporter closed 8 years ago
1
OWL Primer 'families' Ontology Cannot be Reasoned With FaCT++

#30 GoogleCodeExporter closed 8 years ago
1
Problem starting plugin Factplusplus Plug-in on Windows Server 2008 R2

#29 GoogleCodeExporter closed 8 years ago
3
FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails

#28 GoogleCodeExporter closed 8 years ago
2
please statically link precompiled binaries

#27 GoogleCodeExporter closed 8 years ago
1
FacT++ does not seem to take the testTimeout parameter into account

#26 GoogleCodeExporter closed 8 years ago
4
libFaCTPlusPlusJNI.so for 64bit Linux is missing

#25 GoogleCodeExporter closed 8 years ago
1
OWL API 3 support is incomplete

#24 GoogleCodeExporter opened 8 years ago
7
Inconsistent/Ontology/Exception Fact

#23 GoogleCodeExporter closed 8 years ago
3
Retrieve the Object SubProperties of the TopOjectProperty

#22 GoogleCodeExporter closed 8 years ago
2
Documentation & Examples

#21 GoogleCodeExporter opened 8 years ago
0
FaCT++ crashes with malloc error

#20 GoogleCodeExporter closed 8 years ago
2
Doesn't return direct and/or indirect instances - method doesn't comply with OWL API

#19 GoogleCodeExporter closed 8 years ago
1
FaCTPlusPlusException - bad allocation

#18 GoogleCodeExporter closed 8 years ago
3
Problem with Protégé 4.0

#17 GoogleCodeExporter closed 8 years ago
3
FaCT++ crashes on inconsistent ontology with irreflexive property chain

#16 GoogleCodeExporter closed 8 years ago
2
Unsatisfiable concept descriptions are not reported to be equivalent to bottom

#15 GoogleCodeExporter closed 8 years ago
1
[MAKE] Gentoo build problems - SOLVED

#14 GoogleCodeExporter closed 8 years ago
2
Unimplemented OWL-API reasoner methods appear to be supported in the backend

#13 GoogleCodeExporter closed 8 years ago
3
Crash when getting the individuals of a description

#12 GoogleCodeExporter closed 8 years ago
2
FACT++ ver. 1.1 and 1.1.11 resoners crash Protege 4.0 alpha on Mac OS X 10.4.11

#11 GoogleCodeExporter closed 8 years ago
3
Data type reasoning crashes reasoner

#10 GoogleCodeExporter closed 8 years ago
3
Doesn't support built in primitive datatypes

#9 GoogleCodeExporter opened 8 years ago
2
DIG interface does not support provides complex role inclusion

#8 GoogleCodeExporter closed 8 years ago
1