 |
Cogui, developed since 2005 and written in Java, is a graphical editor for building and checking knowledge bases. It is primarily devoted to conceptual graph knowledge bases, while providing imports and exports from and to the Datalog+/- format supported by our tool Graal. It also provides imports and exports from and to RDFS. |
 |
Graal, developed since 2014, is a Java toolkit dedicated to querying knowledge bases within the framework of existential rules, aka Datalog+/-. It provides imports from OWL 2 and exports to RuleML. |
