Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–11 of 11)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#73: Replace obsolete methods in Java code
task
minor
new
Dmitry Tsarkov
2017-01-10
2017-01-10
#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
#62: Document the C++11 requirementfor building of FaCT++
task
minor
new
Dmitry Tsarkov
2016-06-05
2016-06-05
#24: OWL API 3 support is incomplete
enhancement
minor
on hold
Dmitry Tsarkov
2010-02-25
2015-08-24
#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
#23: Inconsistent/Ontology/Exception Fact
bug
trivial
invalid
Dmitry Tsarkov
2010-02-20
2010-02-20
#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