1. Dmitry Tsarkov Avatar Dmitry Tsarkov
  2. Untitled project
  3. factplusplus

Issues

Filter by:

Advanced search

Issues (1–25 of 81)

Title T P Status Votes Assignee Created Updated Actions
#74: Python / Cython bindings & further upgrades
enhancement major open
#82: Fact++ not recognizing numeric type inclusions
bug major new
#81: Error with OWL API 5.1.0 and 5.1.10
task major new
#79: performance differences with the same ontology
bug major new
#80: Release updated Maven packages, including native libraries
enhancement major new 1
#78: get role fillers performance after ontology realisation
task major new
#21: Documentation & Examples
bug minor new 7
#77: No inference when using "one of" and functional properties.
bug critical invalid 1
#76: A method to obtain existing object or data role
enhancement major new 1
#55: OWL API reasoner interface lacks getDataPropertyValues()
bug minor new 1
#75: Reasoner fails when reasoning with Vaccine Ontology
bug major new
#60: Reasoner fails to load with OWLAPI 5.0.2
bug minor open
#67: Using FaCT to understand a complex subject...
task minor new
#73: Replace obsolete methods in Java code
task minor new
#68: Source code with some objects already compiled
task major resolved
#70: Lisp dumping sometimes puts use of properties before their declaration
bug major resolved
#72: Incremental reasoning and ABox
bug major new
#69: Way to save/load a set of facts?
enhancement major new
#63: can't invoke FaCT++ in Java on Mac
task major closed
#71: Cannot get instances of a class from kernel
bug major resolved
#66: Kernel build fails with gcc 6.2.1
bug blocker closed
#65: Exposing the snapshot capabilities
enhancement major resolved
#64: Datatype support: unsignedInt
proposal minor new
#61: Unable to install on Linux-Debian
bug major new
#62: Document the C++11 requirementfor building of FaCT++
task minor new
  2. 1
  3. 2
  4. 3
  5. 4