http://www.mobr.ai/ontologies/ponto#Liveness
The property of a distributed system is that it will eventually come to some sort of consensus. A system stuck in an infinite loop would not be considered live, even if computations are taking place; a system that eventually provides a result, even if incorrect or it takes a long time, is considered to have liveness.
Instances of ponto:Liveness can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix ponto: <http://www.mobr.ai/ontologies/ponto#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ponto:Liveness a owl:Class ;
rdfs:label "Liveness" ;
rdfs:comment "The property of a distributed system is that it will eventually come to some sort of consensus. A system stuck in an infinite loop would not be considered live, even if computations are taking place; a system that eventually provides a result, even if incorrect or it takes a long time, is considered to have liveness." ;
rdfs:subClassOf owl:Thing .