libfactplusplus
FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
Archived
13 stars
12 watching
2 forks
Language: C++
last commit: over 8 years ago
Linked from 1 awesome list
libfactplusplus FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
semantalytics/awesome-semantic-web