Corrected the download link in the user manual.
Renamed the scheme package to theory and extended theories with namespaces
implementation of a load-ontology function
owl importer compiling
update for the OWL import code
replaced non-idiomatic '() empty list with ()
merge of projectui branch
implementation of namespaces for theories + fix for owl/import
functions to import an ontology from a project
moved owl RDF/XML rules transformer to import_axioms
preliminary work on a namespace to import the language of an ontology
calculation of the types of an annotated class
import of individuals into the language
fix for the triplestore argument generator allowing the use of absolute IRIs
import of a language from an annotated ontology
import the types of the language
convertion from Clojure string to xsd:string in the triplestore argument generator
added missing test ontologies
fix copyright_theory and oss_liensing_theory
fix bug in namespace module