diff --git a/config/reasoner/dl2op/main-info/mapping.n3 b/config/reasoner/dl2op/main-info/mapping.n3
index 6166723..f967a1c 100644
--- a/config/reasoner/dl2op/main-info/mapping.n3
+++ b/config/reasoner/dl2op/main-info/mapping.n3
@@ -71,30 +71,41 @@ PREFIX ere:
# Test
# ex:s "2019-02-01T10:32:52+00:00"^^xsd:dateTime.
{
- ?s mandaat:bindingeinde ?eindeDate.
+ ?s mandaat:bindingEinde ?eindeDate.
# use backward arrow rule defined below
?eindeDate :dateTimeFromDate ?eindeDateTime.
{
- ?s mandaat:bindingeinde ?eindeDate
+ ?s mandaat:bindingEinde ?eindeDate
} e:becomes {
- ?s mandaat:bindingeinde ?eindeDateTime
+ ?s mandaat:bindingEinde ?eindeDateTime
}.
} => {
- ?s mandaat:bindingeinde ?eindeDateTime
+ ?s mandaat:bindingEinde ?eindeDateTime
+}.
+{
+ ?s mandaat:bindingEinde ?eindeDate.
+ # use backward arrow rule defined below
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
+ {
+ ?s mandaat:bindingEinde ?eindeDate
+ } e:becomes {
+ ?s mandaat:bindingEinde ?eindeDateTime
+ }.
+} => {
+ ?s mandaat:bindingEinde ?eindeDateTime
}.
-
{
- ?s mandaat:bindingstart ?startDate.
+ ?s mandaat:bindingStart ?startDate.
# use backward arrow rule defined below
?startDate :dateTimeFromDate ?startDateTime.
{
- ?s mandaat:bindingstart ?startDate
+ ?s mandaat:bindingStart ?startDate
} e:becomes {
- ?s mandaat:bindingstart ?startDateTime
+ ?s mandaat:bindingStart ?startDateTime
}.
} => {
- ?s mandaat:bindingstart ?startDateTime
+ ?s mandaat:bindingStart ?startDateTime
}.
{
?s ch:startdatum ?startDate.
@@ -109,6 +120,32 @@ PREFIX ere:
?s ch:startdatum ?startDateTime
}.
+{
+ ?s mandaat:start ?eindeDate.
+ # use backward arrow rule defined below
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
+ {
+ ?s mandaat:start ?eindeDate
+ } e:becomes {
+ ?s mandaat:start ?eindeDateTime
+ }.
+} => {
+ ?s mandaat:start ?eindeDateTime
+}.
+
+{
+ ?s mandaat:einde ?eindeDate.
+ # use backward arrow rule defined below
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
+ {
+ ?s mandaat:einde ?eindeDate
+ } e:becomes {
+ ?s mandaat:einde ?eindeDateTime
+ }.
+} => {
+ ?s mandaat:einde ?eindeDateTime
+}.
+
{
?s ch:eindedatum ?endDate.
# use backward arrow rule defined below
diff --git a/config/reasoner/dl2op/main/mapping.n3 b/config/reasoner/dl2op/main/mapping.n3
index 9d57423..f50f7ae 100644
--- a/config/reasoner/dl2op/main/mapping.n3
+++ b/config/reasoner/dl2op/main/mapping.n3
@@ -73,26 +73,51 @@ PREFIX lblodlg:
# use backward arrow rule defined below
?eindeDate :dateTimeFromDate ?eindeDateTime.
{
- ?s mandaat:bindingeinde ?eindeDate
+ ?s mandaat:bindingEinde ?eindeDate
} e:becomes {
- ?s mandaat:bindingeinde ?eindeDateTime
+ ?s mandaat:bindingEinde ?eindeDateTime
}.
} => {
- ?s mandaat:bindingeinde ?eindeDateTime
+ ?s mandaat:bindingEinde ?eindeDateTime
}.
+{
+ ?s mandaat:start ?eindeDate.
+ # use backward arrow rule defined below
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
+ {
+ ?s mandaat:start ?eindeDate
+ } e:becomes {
+ ?s mandaat:start ?eindeDateTime
+ }.
+} => {
+ ?s mandaat:start ?eindeDateTime
+}.
+
+{
+ ?s mandaat:einde ?eindeDate.
+ # use backward arrow rule defined below
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
+ {
+ ?s mandaat:einde ?eindeDate
+ } e:becomes {
+ ?s mandaat:einde ?eindeDateTime
+ }.
+} => {
+ ?s mandaat:einde ?eindeDateTime
+}.
{
?s mandaat:bindingstart ?startDate.
# use backward arrow rule defined below
?startDate :dateTimeFromDate ?startDateTime.
{
- ?s mandaat:bindingstart ?startDate
+ ?s mandaat:bindingStart ?startDate
} e:becomes {
- ?s mandaat:bindingstart ?startDateTime
+ ?s mandaat:bindingStart ?startDateTime
}.
} => {
- ?s mandaat:bindingstart ?startDateTime
+ ?s mandaat:bindingStart ?startDateTime
}.
{
diff --git a/config/reasoner/dl2op/private-info/mapping.n3 b/config/reasoner/dl2op/private-info/mapping.n3
index 82bebd9..6debd28 100644
--- a/config/reasoner/dl2op/private-info/mapping.n3
+++ b/config/reasoner/dl2op/private-info/mapping.n3
@@ -66,32 +66,82 @@ PREFIX xsd:
# Test
# ex:s "2019-01-01T19:32:52+00:00"^^xsd:dateTime.
{
- ?s mandaat:start ?startDateTime.
+ ?s mandaat:bindingeinde ?eindeDate.
# use backward arrow rule defined below
- ?startDateTime :dateFromDateTime ?startDate.
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
{
- ?s mandaat:start ?startDateTime
+ ?s mandaat:bindingEinde ?eindeDate
} e:becomes {
- ?s mandaat:start ?startDate
+ ?s mandaat:bindingEinde ?eindeDateTime
}.
} => {
- ?s mandaat:start ?startDate
+ ?s mandaat:bindingEinde ?eindeDateTime
}.
-# ex:s "2019-02-01T10:32:52+00:00"^^xsd:dateTime.
{
- ?s mandaat:einde ?eindeDateTime.
+ ?s mandaat:start ?eindeDate.
# use backward arrow rule defined below
- ?eindeDateTime :dateFromDateTime ?eindeDate.
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
{
- ?s mandaat:einde ?eindeDateTime
+ ?s mandaat:start ?eindeDate
} e:becomes {
- ?s mandaat:einde ?eindeDate
+ ?s mandaat:start ?eindeDateTime
}.
} => {
- ?s mandaat:einde ?eindeDate
+ ?s mandaat:start ?eindeDateTime
}.
+{
+ ?s mandaat:einde ?eindeDate.
+ # use backward arrow rule defined below
+ ?eindeDate :dateTimeFromDate ?eindeDateTime.
+ {
+ ?s mandaat:einde ?eindeDate
+ } e:becomes {
+ ?s mandaat:einde ?eindeDateTime
+ }.
+} => {
+ ?s mandaat:einde ?eindeDateTime
+}.
+
+{
+ ?s mandaat:bindingstart ?startDate.
+ # use backward arrow rule defined below
+ ?startDate :dateTimeFromDate ?startDateTime.
+ {
+ ?s mandaat:bindingStart ?startDate
+ } e:becomes {
+ ?s mandaat:bindingStart ?startDateTime
+ }.
+} => {
+ ?s mandaat:bindingStart ?startDateTime
+}.
+
+{
+ ?s ch:startdatum ?startDate.
+ # use backward arrow rule defined below
+ ?startDate :dateTimeFromDate ?startDateTime.
+ {
+ ?s ch:startdatum ?startDate
+ } e:becomes {
+ ?s ch:startdatum ?startDateTime
+ }.
+} => {
+ ?s ch:startdatum ?startDateTime
+}.
+
+{
+ ?s ch:eindedatum ?endDate.
+ # use backward arrow rule defined below
+ ?endDate :dateTimeFromDate ?endDateTime.
+ {
+ ?s ch:eindedatum ?endDate
+ } e:becomes {
+ ?s ch:eindedatum ?endDateTime
+ }.
+} => {
+ ?s ch:eindedatum ?endDateTime
+}.
# Backward arrow rule is like a function call.
# Removes time info in the returned date
@@ -104,16 +154,15 @@ PREFIX xsd:
# So, the following rule adds 2 hours to the datetime, and then takes the date part of the UTC date time
# to come to the date that the DL user selected (in CE(S)T)
{
- ?dateTime :dateFromDateTime ?date
-} <= {
- (?dateTimeLiteral xsd:dateTime) log:dtlit ?dateTime.
- (?dateTime "PT2H"^^xsd:dayTimeDuration) func:add-dayTimeDuration-to-dateTime ?localDateTime.
- (?localDateTimeLiteral xsd:dateTime) log:dtlit ?localDateTime.
- (?localDateTimeLiteral 0 11) func:substring ?dateLiteral.
- (?dateLiteral xsd:date) log:dtlit ?date.
+ ?date :dateTimeFromDate ?dateTime
+}
+<=
+{
+ ( ?date 1 10 ) string:substring ?dateSolo .
+ (?dateSolo "T00:00:00") string:concatenation ?datePlusTime.
+ (?datePlusTime xsd:dateTime) log:dtlit ?dateTime .
}.
-
# ex:orgA besluit:classificatie .
{
{