The use of OWL and TAL is an extremely interesting element of BOScoin. I wonder if the use of decidable contracts will allow for really streamlined style guides for the language. Likewise, does BlockchainOS have any recommendations on primers, early SDK's, or guides for developers looking to begin writing apps before the actual ICO?
I've already perused the theoretical side of OWL and have some experience looking at Timed Automata Languages but would like a more comprehensive look at the BOScoin structure and usage specifically. I have some people I have spoken to about the Application layer of BOScoin and would love to have a conversation here about Web Ontology Languages.