added database functionality (requires some jars)

methods for loading and ontology, creating a database, inserting Abox
assertions