satisfiable.cpp File Reference

#include <iostream>
#include <string>
#include "boost/filesystem.hpp"
#include "boost/exception/diagnostic_information.hpp"
#include "boost/foreach.hpp"
#include "boost/program_options.hpp"
#include "factpp/Kernel.hpp"
#include "owlcpp/rdf/triple_store.hpp"
#include "owlcpp/rdf/query_triples.hpp"
#include "owlcpp/io/input.hpp"
#include "owlcpp/io/catalog.hpp"
#include "owlcpp/logic/triple_to_fact.hpp"
#include "owlcpp/logic/query_fact.hpp"
#include "owlcpp/terms/node_tags_owl.hpp"

Functions
int	main (int argc, char *argv[])

Detailed Description

part of owlcpp project.
Distributed under the Boost Software License, Version 1.0; see doc/license.txt.
Copyright Mikhail K Levin 2010

Function Documentation

int main	(	int	argc,
		char *	argv[]
	)

Parse OWL ontology file and its imports located in the same folder. Load ontology to FaCT++ reasoner and check if all classes are satisfiable