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

Issues

Filter by:

Advanced search

Issues (1–18 of 18)

Title T P Status Votes Assignee Created Updated Actions
#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
#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
#67: Using FaCT to understand a complex subject...
task minor new
#73: Replace obsolete methods in Java code
task minor new
#72: Incremental reasoning and ABox
bug major new
#69: Way to save/load a set of facts?
enhancement major new
#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
#52: sub-role of object top role causes exception
bug minor new
#9: Doesn't support built in primitive datatypes
enhancement minor new