MarineOS Property Model Specification (MPMS)
Status: Draft
Version: 0.1
1. Zweck
Diese Spezifikation definiert den Begriff der Property innerhalb des MarineOS Informationsmodells.
Properties beschreiben das Wissen über eine Entity.
Eine Property ist die kleinste fachliche Informationseinheit innerhalb von MarineOS.
2. Definition
Eine Property beschreibt genau eine Eigenschaft genau einer Entity.
Properties besitzen selbst keine Wahrheit.
Properties repräsentieren den aktuellen Wissensstand über eine Eigenschaft.
3. Eigenschaften
Jede Property besitzt
- genau eine Entity
- genau einen Property Type
- aktuelles Knowledge
- beliebig viele Claims
- Provenance
- Confidence
- zeitliche Gültigkeit
4. Beispiele
Properties eines RHIB
- Position
- Heading
- Speed
- Course
- Fuel Level
- Battery State
- Engine Status
- Operational Status
Properties einer Person
- Position
- Health Status
- Assignment
Properties einer Mission
- State
- Priority
- Progress
5. Knowledge
Knowledge repräsentiert den aktuell besten bekannten Wert einer Property.
Knowledge entsteht ausschließlich durch die Bewertung verfügbarer Claims.
Knowledge ist niemals endgültig.
6. Claims
Zu einer Property können beliebig viele Claims existieren.
Claims können
- identisch sein
- unterschiedlich sein
- sich widersprechen
Die Bewertung erfolgt ausschließlich durch Reasoner.
7. Zeit
Knowledge besitzt immer einen zeitlichen Bezug.
Claims besitzen immer einen Beobachtungszeitpunkt.
Veraltete Claims dürfen erhalten bleiben.
8. Provenance
Jede Property muss nachvollziehbar sein.
Zu jedem aktuellen Knowledge muss ersichtlich sein
- welche Claims verwendet wurden
- welche Evidence zugrunde liegt
- welche Reasoner beteiligt waren
9. Architekturregeln
Regel 1
Properties besitzen keine Identität.
Regel 2
Properties gehören genau einer Entity.
Regel 3
Knowledge existiert ausschließlich innerhalb einer Property.
Regel 4
Properties besitzen beliebig viele Claims.
Regel 5
Reasoner verändern niemals Entities.
Reasoner erzeugen ausschließlich neues Knowledge innerhalb einer Property.
10. Konzeptionelles Modell
Entity
│
▼
Property
│
┌──────────┴──────────┐
│ │
▼ ▼
Knowledge Claims
│
▼
Evidence
11. Zusammenfassung
Properties bilden den eigentlichen Wissenskern von MarineOS.
Entities beschreiben Identität.
Properties beschreiben Wissen.
Knowledge entsteht innerhalb der Properties durch die Bewertung von Claims.