#include "py_top_model.h"
using namespace boost::python;
/////////////////////////////////////////////////////////////////////////////////////////
// export_top_model
//
/////////////////////////////////////////////////////////////////////////////////////////
void
export_top_model()
{
class_<model::top_model, model::top_model_ptr_type>("top_model", no_init)
.def("get_rdf_session", &model::top_model::get_rdf_session)
.def("get_rule_session", &model::top_model::get_rule_session)
.def("compute_asserted_hierarchy", &model::top_model::compute_asserted_hierarchy)
.def("compute_inferred_hierarchy", &model::top_model::compute_inferred_hierarchy)
.def("get_top_class", &model::top_model::get_top_class)
.def("get_top_property", &model::top_model::get_top_property)
.def("get_asserted_base_object_top_property", &model::top_model::get_asserted_base_object_top_property)
.def("get_asserted_base_data_type_top_property", &model::top_model::get_asserted_base_data_type_top_property)
.def("get_inferred_base_object_top_property", &model::top_model::get_inferred_base_object_top_property)
.def("get_inferred_base_data_type_top_property", &model::top_model::get_inferred_base_data_type_top_property)
.def("get_owl_thing_class", &model::top_model::get_owl_thing_class)
.def("get_owl_nothing_class", &model::top_model::get_owl_nothing_class)
.def("get_asserted_types_of", &model::top_model::get_asserted_types)
.def("get_inferred_types_of", &model::top_model::get_inferred_types)
.def("is_inconsistent_individual", &model::top_model::is_inconsistent_individual)
.def("has_asserted_same_as_individual", &model::top_model::has_asserted_same_as_individual)
.def("has_inferred_same_as_individual", &model::top_model::has_inferred_same_as_individual)
.def("get_asserted_same_as_individuals", &model::top_model::get_asserted_same_as_individuals)
.def("get_inferred_same_as_individuals", &model::top_model::get_inferred_same_as_individuals)
.def("has_asserted_different_from_individual", &model::top_model::has_asserted_different_from_individual)
.def("has_inferred_different_from_individual", &model::top_model::has_inferred_different_from_individual)
.def("get_asserted_different_from_individual", &model::top_model::get_asserted_different_from_individual)
.def("get_inferred_different_from_individual", &model::top_model::get_inferred_different_from_individual)
.def_readonly("owl", &model::top_model::m_owl)
;
def("create_top_model", model::create_top_model);
};