Preferred Name |
Failure |
Definitions |
With this definition we try to capture the common concept of failure present in the literature: the loss of the ability to perform a function. We also stipulate, by definition, that failures cause faults. For example, if a wire, whose function is to carry electricity, is gnawed by a rat, the wire fails when it breaks and ceases to be able to conduct electricity. |
ID |
https://www.w3id.org/malfo/Failure |
comment |
With this definition we try to capture the common concept of failure present in the literature: the loss of the ability to perform a function. We also stipulate, by definition, that failures cause faults. For example, if a wire, whose function is to carry electricity, is gnawed by a rat, the wire fails when it breaks and ceases to be able to conduct electricity. |
example |
the rupture of an electric wire |
firstOrderLogicDefinition |
Failure(x) ↔ Malfunction(x) ∧ Event(x) ∧ ∃y(Fault(y) ∧ achieves(x, y)) |
label |
Failure |
naturalLanguageDefinition |
the loss of the ability to perform a function, which leads to a fault |
prefixIRI |
malfo:Failure |
prefLabel |
Failure |
semiFormalNaturalLanguageDefinition |
x is a failure means that x is a malfunction and an event that achieves some fault. |
disjointWith | |
subClassOf |
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |
Mapping To | Ontology | Relations | Source | Type | Actions |
---|---|---|---|---|---|
https://gitlab.com/kupferdigital/ontologies/mechanical-testing-ontology/Failure | https://data.industryportal.enit.fr/ontologies/MTO | LOOM | Inter-portal | ||
http://www.grace-ontology.com#Failure | https://data.industryportal.enit.fr/ontologies/GRACE | LOOM | Inter-portal | ||
http://www.semanticweb.org/karray/ontologies/2016/0/IMAMO#Failure | https://data.industryportal.enit.fr/ontologies/IMAMO | LOOM | Inter-portal | ||
https://gitlab.com/kupferdigital/process-graphs/lcf-test/Failure | https://data.industryportal.enit.fr/ontologies/FTO | LOOM | Inter-portal |