Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–4 of 4)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#44: Crash on Ubuntu Lucid (plugin requires /usr/lib/libstdc++.so.6: version `GLIBCXX_3.4.14'
bug
minor
invalid
2011-12-12
2015-08-24
#37: Having problem to use Fact++ 1.5.2 with OWLAPI 3.2
bug
minor
invalid
2011-08-08
2011-08-08
#30: OWL Primer 'families' Ontology Cannot be Reasoned With FaCT++
bug
minor
invalid
2011-04-17
2011-04-17
#8: DIG interface does not support provides complex role inclusion
bug
minor
invalid
2007-12-10
2007-12-10