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