Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–7 of 7)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#68: Source code with some objects already compiled
task
major
resolved
Dmitry Tsarkov
2016-11-17
2016-12-31
#70: Lisp dumping sometimes puts use of properties before their declaration
bug
major
resolved
Dmitry Tsarkov
2016-11-28
2016-12-31
#39: Updates from OWL API doesn't go into the reasoner
bug
major
resolved
Dmitry Tsarkov
2011-09-13
2011-09-13
#28: FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails
bug
major
resolved
Dmitry Tsarkov
2010-07-05
2010-07-05
#19: Doesn't return direct and/or indirect instances - method doesn't comply with OWL API
bug
minor
resolved
Dmitry Tsarkov
2009-12-01
2009-12-01
#5: Incremental adding and removal of concepts
enhancement
minor
resolved
Dmitry Tsarkov
2007-07-13
2007-07-13
#2: DIG: <roleFillers> command not supported
bug
minor
resolved
Dmitry Tsarkov
2007-07-05
2007-07-05