Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Nov 1, 2024
1 parent 9c7b2ee commit c58cf0d
Show file tree
Hide file tree
Showing 3 changed files with 312 additions and 341 deletions.
2 changes: 1 addition & 1 deletion reasoning/4color/4color_answer.n3
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.

:mapEU :color ((:Austria :green) (:Belgium :yellow) (:Bulgaria :green) (:Croatia :green) (:Cyprus :green) (:Czech_Republic :yellow) (:Denmark :green) (:Estonia :blue) (:Finland :green) (:France :green) (:Germany :blue) (:Greece :red) (:Hungary :blue) (:Ireland :green) (:Italy :blue) (:Latvia :green) (:Lithuania :red) (:Luxemburg :red) (:Malta :red) (:Netherlands :green) (:Poland :green) (:Portugal :green) (:Romania :red) (:Slovakia :red) (:Slovenia :red) (:Spain :red) (:Sweden :red) (:United_Kingdom :red)).
:mapEU :color ((:Belgium :yellow) (:Netherlands :green) (:Luxemburg :green) (:France :blue) (:Germany :red) (:Italy :red) (:Denmark :blue) (:Ireland :red) (:Greece :blue) (:Spain :green) (:Portugal :red) (:Austria :yellow) (:Sweden :green) (:Finland :red) (:Cyprus :red) (:Malta :red) (:Poland :blue) (:Hungary :blue) (:Czech_Republic :green) (:Slovakia :red) (:Slovenia :green) (:Estonia :blue) (:Latvia :green) (:Lithuania :red) (:Bulgaria :green) (:Romania :red) (:Croatia :red)).
42 changes: 21 additions & 21 deletions reasoning/4color/4color_data.n3
Original file line number Diff line number Diff line change
@@ -1,30 +1,30 @@
@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.

# mapEU
:Belgium :neighbours (:France :Netherlands :Luxemburg :Germany).
:Netherlands :neighbours (:Belgium :Germany).
:Luxemburg :neighbours (:Belgium :France :Germany).
:France :neighbours (:Spain :Belgium :Luxemburg :Germany :Italy).
:Germany :neighbours (:Netherlands :Belgium :Luxemburg :Denmark :France :Austria :Poland :Czech_Republic).
:Italy :neighbours (:France :Austria :Slovenia).
:Denmark :neighbours (:Germany :Sweden).
:Ireland :neighbours ().
:Greece :neighbours (:Bulgaria :Cyprus).
:Spain :neighbours (:France :Portugal).
:Portugal :neighbours (:Spain).
:Austria :neighbours (:Czech_Republic :Germany :Hungary :Italy :Slovenia :Slovakia).
:Belgium :neighbours (:France :Netherlands :Luxemburg :Germany :United_Kingdom).
:Bulgaria :neighbours (:Romania :Greece).
:Croatia :neighbours (:Slovenia :Hungary).
:Sweden :neighbours (:Finland :Denmark).
:Finland :neighbours (:Estonia :Sweden).
:Cyprus :neighbours (:Greece).
:Malta :neighbours ().
:Poland :neighbours (:Germany :Czech_Republic :Slovakia :Lithuania).
:Hungary :neighbours (:Austria :Slovakia :Romania :Croatia :Slovenia).
:Czech_Republic :neighbours (:Germany :Poland :Slovakia :Austria).
:Denmark :neighbours (:Germany :Sweden).
:Slovakia :neighbours (:Czech_Republic :Poland :Hungary :Austria).
:Slovenia :neighbours (:Austria :Italy :Hungary :Croatia).
:Estonia :neighbours (:Finland :Latvia :Lithuania).
:Finland :neighbours (:Estonia :Sweden).
:France :neighbours (:Spain :Belgium :Luxemburg :Germany :Italy :United_Kingdom).
:Germany :neighbours (:Netherlands :Belgium :Luxemburg :Denmark :France :Austria :Poland :Czech_Republic).
:Greece :neighbours (:Bulgaria :Cyprus).
:Hungary :neighbours (:Austria :Slovakia :Romania :Croatia :Slovenia).
:Ireland :neighbours (:United_Kingdom).
:Italy :neighbours (:France :Austria :Slovenia).
:Latvia :neighbours (:Estonia :Lithuania).
:Lithuania :neighbours (:Estonia :Latvia :Poland).
:Luxemburg :neighbours (:Belgium :France :Germany).
:Malta :neighbours ().
:Netherlands :neighbours (:Belgium :Germany :United_Kingdom).
:Poland :neighbours (:Germany :Czech_Republic :Slovakia :Lithuania).
:Portugal :neighbours (:Spain).
:Bulgaria :neighbours (:Romania :Greece).
:Romania :neighbours (:Hungary :Bulgaria).
:Slovakia :neighbours (:Czech_Republic :Poland :Hungary :Austria).
:Slovenia :neighbours (:Austria :Italy :Hungary :Croatia).
:Spain :neighbours (:France :Portugal).
:Sweden :neighbours (:Finland :Denmark).
:United_Kingdom :neighbours (:Ireland :Netherlands :Belgium :France).
:Croatia :neighbours (:Slovenia :Hungary).
Loading

0 comments on commit c58cf0d

Please sign in to comment.