- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Sun, 16 Mar 2003 01:49:07 +0100
- To: www-archive@w3.org
@prefix str: <http://www.w3.org/2000/10/swap/string#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <file:/temp/test#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix neg: <file:/josd/WWW/euler/owl-rules#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
{
{?j = "8". ("2003" "19") math:remainder ?j} log:implies {("2003" "19")
math:remainder "8". }.
{?k = "20". ("2003" "100") math:quotient ?k} log:implies {("2003" "100")
math:quotient "20". }.
{?h = "3". ("2003" "100") math:remainder ?h} log:implies {("2003" "100")
math:remainder "3". }.
{?m = "5". ("20" "4") math:quotient ?m} log:implies {("20" "4")
math:quotient "5". }.
{?n = "0". ("20" "4") math:remainder ?n} log:implies {("20" "4")
math:remainder "0". }.
{?p = "1". (("20" "8").math:sum "25") math:quotient ?p} log:implies
{(("20" "8").math:sum "25") math:quotient "1". }.
{?q = "6". ((("20" "1").math:difference "1").math:sum "3") math:quotient
?q} log:implies {((("20" "1").math:difference "1").math:sum "3")
math:quotient "6". }.
{?r = "26". (((((("19" "8").math:product "20").math:sum
"5").math:difference "6").math:difference "15").math:sum "30")
math:remainder ?r} log:implies {(((((("19" "8").math:product "20").math:sum
"5").math:difference "6").math:difference "15").math:sum "30")
math:remainder "26". }.
{?s = "0". ("3" "4") math:quotient ?s} log:implies {("3" "4")
math:quotient "0". }.
{?u = "3". ("3" "4") math:remainder ?u} log:implies {("3" "4")
math:remainder "3". }.
{?v = "3". (("32" ("2" "0").math:product ("2" "0").math:product
"26".math:negation "3".math:negation).math:sum "7") math:remainder ?v}
log:implies {(("32" ("2" "0").math:product ("2" "0").math:product
"26".math:negation "3".math:negation).math:sum "7") math:remainder "3". }.
{?w = "0". (("8" ("11" "26").math:product ("22"
"3").math:product).math:sum "451") math:quotient ?w} log:implies {(("8"
("11" "26").math:product ("22" "3").math:product).math:sum "451")
math:quotient "0". }.
{?x = "4". (("26" "3" ("7" "0").math:product.math:negation
"114").math:sum "31") math:quotient ?x} log:implies {(("26" "3" ("7"
"0").math:product.math:negation "114").math:sum "31") math:quotient "4". }.
{?z = "19". (("26" "3" ("7" "0").math:product.math:negation
"114").math:sum "31") math:remainder ?z} log:implies {(("26" "3" ("7"
"0").math:product.math:negation "114").math:sum "31") math:remainder "19".
}.
{?day = "20". ("19" "1") math:sum ?day} log:implies {("19" "1") math:sum
"20". }.
?x = "20". "2003" :hasEasterOnDay ?x} log:implies
{"2003" :hasEasterOnDay "20". }.
{
{?j = "8". ("2003" "19") math:remainder ?j} log:implies {("2003" "19")
math:remainder "8". }.
{?k = "20". ("2003" "100") math:quotient ?k} log:implies {("2003" "100")
math:quotient "20". }.
{?h = "3". ("2003" "100") math:remainder ?h} log:implies {("2003" "100")
math:remainder "3". }.
{?m = "5". ("20" "4") math:quotient ?m} log:implies {("20" "4")
math:quotient "5". }.
{?n = "0". ("20" "4") math:remainder ?n} log:implies {("20" "4")
math:remainder "0". }.
{?p = "1". (("20" "8").math:sum "25") math:quotient ?p} log:implies
{(("20" "8").math:sum "25") math:quotient "1". }.
{?q = "6". ((("20" "1").math:difference "1").math:sum "3") math:quotient
?q} log:implies {((("20" "1").math:difference "1").math:sum "3")
math:quotient "6". }.
{?r = "26". (((((("19" "8").math:product "20").math:sum
"5").math:difference "6").math:difference "15").math:sum "30")
math:remainder ?r} log:implies {(((((("19" "8").math:product "20").math:sum
"5").math:difference "6").math:difference "15").math:sum "30")
math:remainder "26". }.
{?s = "0". ("3" "4") math:quotient ?s} log:implies {("3" "4")
math:quotient "0". }.
{?u = "3". ("3" "4") math:remainder ?u} log:implies {("3" "4")
math:remainder "3". }.
{?v = "3". (("32" ("2" "0").math:product ("2" "0").math:product
"26".math:negation "3".math:negation).math:sum "7") math:remainder ?v}
log:implies {(("32" ("2" "0").math:product ("2" "0").math:product
"26".math:negation "3".math:negation).math:sum "7") math:remainder "3". }.
{?w = "0". (("8" ("11" "26").math:product ("22"
"3").math:product).math:sum "451") math:quotient ?w} log:implies {(("8"
("11" "26").math:product ("22" "3").math:product).math:sum "451")
math:quotient "0". }.
{?x = "4". (("26" "3" ("7" "0").math:product.math:negation
"114").math:sum "31") math:quotient ?x} log:implies {(("26" "3" ("7"
"0").math:product.math:negation "114").math:sum "31") math:quotient "4". }.
{?z = "19". (("26" "3" ("7" "0").math:product.math:negation
"114").math:sum "31") math:remainder ?z} log:implies {(("26" "3" ("7"
"0").math:product.math:negation "114").math:sum "31") math:remainder "19".
}.
{?day = "20". ("19" "1") math:sum ?day} log:implies {("19" "1") math:sum
"20". }.
?y = "4". "2003" :hasEasterOnMonth ?y} log:implies
{"2003" :hasEasterOnMonth "4". }.
which is April 20
but we still have some . trouble elsewere...
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 15 March 2003 19:49:21 UTC