Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–10 of 10)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#82: Fact++ not recognizing numeric type inclusions
bug
major
new
2021-10-06
2022-02-24
#81: Error with OWL API 5.1.0 and 5.1.10
task
major
new
2019-08-20
2021-02-03
#79: performance differences with the same ontology
bug
major
new
2018-02-15
2019-02-10
#80: Release updated Maven packages, including native libraries
enhancement
major
new
1
2018-08-20
2018-08-20
#78: get role fillers performance after ontology realisation
task
major
new
2018-02-10
2018-02-10
#76: A method to obtain existing object or data role
enhancement
major
new
1
2017-10-28
2017-10-28
#75: Reasoner fails when reasoning with Vaccine Ontology
bug
major
new
2017-06-29
2017-07-04
#72: Incremental reasoning and ABox
bug
major
new
2016-12-07
2016-12-16
#69: Way to save/load a set of facts?
enhancement
major
new
2016-11-24
2016-12-12
#61: Unable to install on Linux-Debian
bug
major
new
2016-05-26
2016-06-06