⊥ disjoint (4)
⊥ disjoint (6)
⊥ disjoint
durchquert Zweiggrenze
hasInput/Out
originates
realizes
constrains
encodes
typifies
confirms
derivedFrom
Entity
Nexus
Forma
Agent
Object
Process
Data
Boundary
Lex
Structura
Possibile
Norma
Institutio
Epistemicum
supportedBy
Legende
rdfs:subClassOf
Object Property
⊥ AllDisjointClasses
Nexus-Kategorien (4)
Forma-Kategorien (6)
Agent — Querkategorie
originates
epistemisch
originates: Nexus → Forma
realizes: Nexus → Forma
constrains: Forma → Nexus
Agent · Querkategorie
Co-Typisierung Pflicht:
Agent ∩ Object
Mensch, Maschine
Agent ∩ Data
ML-Modell
Agent ∩ Process
Korrosion (selektiv)
Agent ∩ Institutio
Organisation
Vernichtungstest
Handelsregister löschen →
Agency UND Institutio verschwinden.
Selbe Vernichtungsbedingung
→ selbes Ding → ein Knoten.
Epistemische Relationen
Poppersch (v1.0.0)
confirms
Process → Forma
refutes
Process → Possibile
entails
Forma → Forma (transitiv)
supersedes
Forma → Forma (nicht trans.)
justifiedBy
Institutio → Forma
Evidenzbasiert (v1.1.0)
supportedBy
Epistemicum ← Nexus
underminedBy
Epistemicum ← Nexus
holds/heldBy
Agent ↔ Epistemicum
about
Epistemicum → Entity
hasEpistemicStatus