hasSemantics
P28757
predicate
Indicates that one entity carries or encodes the meaning, interpretation, or semantic content associated with another entity.
Aliases (2)
- hasMeaningElement ×4
- hasSemanticModel ×3
Sample triples (8)
| Subject | Object |
|---|---|
| CSP (Communicating Sequential Processes) | failures semantics ("hasSemanticModel") → |
| CSP (Communicating Sequential Processes) | failures-divergences semantics ("hasSemanticModel") → |
| CSP (Communicating Sequential Processes) | trace semantics ("hasSemanticModel") → |
| Finkelstein | spark ("hasMeaningElement") → |
| Finkelstein | stone ("hasMeaningElement") → |
| Löwenstein | lion ("hasMeaningElement") → |
| Löwenstein | stone ("hasMeaningElement") → |
| OWL 2 QL | model-theoretic semantics of OWL 2 → |