# A logic propulation procedure.
#
# TODO Transform this code in an iterator to enable unit testing
#
# Author: Daniel Couto Vale <danielvale@uni-bremen.de>
#
end
labelIri = 'http://www.w3.org/2000/01/rdf-schema#label'
commentIri = 'http://www.w3.org/2000/01/rdf-schema#comment'
definedIri = 'http://www.w3.org/2000/01/rdf-schema#isDefinedBy'
logicTypeIri = 'http://purl.net/dol/1.0/rdf#Logic'
logicIris.map do |logicIri|
end
end
end