Downloadable, ontology-based deductive database software for creating databases of information; computer software for creating ontology-based databases of information