SBOL Semantic