Ontological Languages and You

[m140v]

So I've been looking at Ontological Web Languages (OWL) for a bit now and am curious about all of your thoughts.  I am looking currently at the BOScoin project (https://www.boscoin.io/?page_id=14)  which is using OWL for its smart contract system that operates on the blockchain as well as large portions of the chain itself.  On their site they include a comparison and list of attributes that OWL grants:

https://i.imgur.com/h5CyHpO.png

Likewise, the BOScoin OWLchain uses a Timed Automata Language (TAL) to help the chain speed up and have more deterministic outcomes allowing for more efficient compute times and faster transaction times.

Their summary of TAL is as follows:

"""
OWL, which is a language for knowledge representation(KR), does not support the computational power needed for processing the blockchain. In the case of Ethereum, the computing capacity required for processing Smart Contract is resolved by implementing the turing complete Ethereum virtual machine(EVM). However, the method of using virtual machines will result in the undecidability of the blockchain, which is not resolved in terms of security aspects of the blockchain network. We use the Timed Automata Language execution environment in a manner that considers the computational power and decidability. The timed automata ensures that all programs base on the timed automata is guaranteed to operate in a finite time limit. Timed Automata Language(TAL) is a programming language designed to support the computational functionalities within a range that do not impair the integrity of the blockchain. Instead of supporting turing completeness, TAL provides the computational power through a finite automata model.
"""

So I was wondering if anyone else here has looked into OWL as both a programming language or been in involved with TAL development/research or looked into the most public implementation project at the moment, BOScoin.  Likewise any further reading about Web Ontologies and the tech in general would be great.

On OWL : https://en.wikipedia.org/wiki/Web_Ontology_Language
On TAL : https://www.cis.upenn.edu/~alur/TCS94.pdf
On Boscoin: https://steemit.com/cryptocurrency/@boscoin/the-boscoin-white-paper

[bitjohns]

I'm quoting the post just because the image is not shown.

So I've been looking at Ontological Web Languages (OWL) for a bit now and am curious about all of your thoughts.  I am looking currently at the BOScoin project (https://www.boscoin.io/?page_id=14)  which is using OWL for its smart contract system that operates on the blockchain as well as large portions of the chain itself.  On their site they include a comparison and list of attributes that OWL grants:

https://i.imgur.com/h5CyHpO.png

Likewise, the BOScoin OWLchain uses a Timed Automata Language (TAL) to help the chain speed up and have more deterministic outcomes allowing for more efficient compute times and faster transaction times.

Their summary of TAL is as follows:

"""
OWL, which is a language for knowledge representation(KR), does not support the computational power needed for processing the blockchain. In the case of Ethereum, the computing capacity required for processing Smart Contract is resolved by implementing the turing complete Ethereum virtual machine(EVM). However, the method of using virtual machines will result in the undecidability of the blockchain, which is not resolved in terms of security aspects of the blockchain network. We use the Timed Automata Language execution environment in a manner that considers the computational power and decidability. The timed automata ensures that all programs base on the timed automata is guaranteed to operate in a finite time limit. Timed Automata Language(TAL) is a programming language designed to support the computational functionalities within a range that do not impair the integrity of the blockchain. Instead of supporting turing completeness, TAL provides the computational power through a finite automata model.
"""

So I was wondering if anyone else here has looked into OWL as both a programming language or been in involved with TAL development/research or looked into the most public implementation project at the moment, BOScoin.  Likewise any further reading about Web Ontologies and the tech in general would be great.

On OWL : https://en.wikipedia.org/wiki/Web_Ontology_Language
On TAL : https://www.cis.upenn.edu/~alur/TCS94.pdf
On Boscoin: https://steemit.com/cryptocurrency/@boscoin/the-boscoin-white-paper