Examples

Here is a list of all examples:

• find_ontologies.cpp
• print_classes.cpp
• print_triples.cpp
• satisfiable.cpp
• validate.cpp