kb	http://deductions.sf.net/ontology/knowledge_base.owl#