{"iri":"http://www.estrellaproject.org/lkif-core/lkif-rules.owl#Assumption","label":"Assumption","definition":"An assumption is some atom held to be true, without proof, in the head of a rule (defeasibly), cf. Deliverable 1.1","license":"https://creativecommons.org/licenses/by/4.0/","source":"legal","source_url":"https://github.com/RinkeHoekstra/lkif-core"}