Texteingabe des Regelwerkes

Hier sollen Sie später interaktiv Ihr Beispiel-Regelwerk eingeben können.

 

Als erstes Beispiel haben wir Regeln aus der Prüfungsordnung BSc in Biochemistry and Cell Biology (BCCB) der Jacobs University gewählt.

SemaLogic - Interpretationsergebnisse

Hier würden Sie die interpretierten Regeln sowie mögliche Regelwerksfehler sowie Warnungen zu einzelnen Statements finden.

 

Für unser Beispiel sehen die Regeln in der SemaLogic Standardsprache so aus:

BCCB [Year 1, Year 2, Year 3]
Year 1 [Major BCCB ~ BCCB.Minor, CH-111, CH120~, Year 1.JT ~JTMS-07, JTMS-17~,
CHOICE: Minor Electives, Language▼Y1 2|2 { JTLA } ]
BCCB.Minor ~ CH-100, CH-101 ~
CHOICE: Minor Electives 2|2 {MLS.Minor ~CH-110, CH-120~, IRPH.Minor ~CH-330, CH-
331~, EES.Minor ~CH-130, CH-131~, ISCP.Minor ~CH-340, CH-341~
Year 2 [ Core BCCB ~ CO-402|CO-407 ~, JTMS-SCI-18, JT2.Electives 1|1 {JTMS-SCI-14,
JTMS-SCI-16}, Language▼Y2 2|2 {JTLA}, 1|1 {CORE: Major Electives, CORE: Minor
Electives } ]
CORE: Major Electives [CO-400, CO-401, 1|1 {CO-408, O-409}]
CORE: Minor Electives 2|2 {MLS, IRPH, EES, ISCP}
Year 3 [1|1 {Internship, Start-up}, CA-BCCB-800, BQ▼General 2|3 {Big Questions},
Year3.Place 1|1 {StAb, [Specialization 3|3 {CA-S-BCCB, CA-S-MCCB, CA-S-CBT},
BQ▼Addition 1|1 {Big Questions}, JTCIP]}]