dtsarkov / factplusplus / issues

Title	T	P	Status	Assignee	Created	Updated
#17: Problem with Protégé 4.0	bug	minor	resolved		2009-09-21	2009-09-21
#16: FaCT++ crashes on inconsistent ontology with irreflexive property chain	bug	minor	resolved		2009-08-27	2009-08-27
#15: Unsatisfiable concept descriptions are not reported to be equivalent to bottom	bug	minor	resolved		2009-07-28	2009-07-28
#14: [MAKE] Gentoo build problems - SOLVED	task	minor	resolved		2009-07-23	2009-07-23
#13: Unimplemented OWL-API reasoner methods appear to be supported in the backend	enhancement	minor	resolved		2008-09-16	2008-09-16
#12: Crash when getting the individuals of a description	bug	minor	resolved		2008-04-18	2008-04-18
#11: FACT++ ver. 1.1 and 1.1.11 resoners crash Protege 4.0 alpha on Mac OS X 10.4.11	bug	minor	resolved		2008-04-16	2008-04-16
#10: Data type reasoning crashes reasoner	bug	minor	resolved		2008-03-25	2008-03-25
#7: Bug in http sending and http1.1 support	bug	minor	resolved		2007-09-19	2007-09-19
#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