test/DOL/parserTest.dol

	parserTest.dol revision f03aa0b723e5545fddf7019e287368b9e208ca69
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa%prefix(
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksalog: <http://purl.net/dol/logic/>
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaser: <http://purl.net/dol/serializations/CommonLogic/>
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa: <http://www.example.com/some/path/to/file.dol#>
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksafoo: <http://www.example.com/foo.dol#>
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksabar: <http://www.example.com/bar.dol#>
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa)%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksadistributed-ontology foo:chocolate
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
11dbf7f1263f426f6bbc53c5b99a98e2344a92a4Soeren D. Schulzelogic CommonLogic serialization CLIF
11dbf7f1263f426f6bbc53c5b99a98e2344a92a4Soeren D. Schulze
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaontology o1 =
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa(and (P x)
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     (Q x)
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     ((that (exists (x) (R x)))) // possible in IKL
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     (iff (R x) ((that (R x))))  // a tautology
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     (forall (p) (iff (p) ((that (p))))) // another one
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     (forall (p) (= p (that (p)))) // NOT a tautology (see IKL-SPEC)
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     (= ('foo') foo) // should become a tautology
f03aa0b723e5545fddf7019e287368b9e208ca69Soeren D. Schulze     )
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maederontology foo:a = {}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maederontology bar:b = {}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maederontology bar:a = {}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maederontology foo:b = {}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maederontology foo:bar = {}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maeder
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksainterpretation i0 : foo:a to bar:b
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksainterpretation i1 %mcons : foo:a to foo:b
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksainterpretation i2 %ccons : bar:a to bar:b
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaview i3 %mcons : foo:a to foo:bar
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a7 : foo:foo_bar to foo:baz
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a8 : foo:owltime_instant_l to bar:owltime_le
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa= eRef1 rRef       (0.1) ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef       (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef             ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef             ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef       (0.1) ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef       (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef             ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 rRef             ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1            (0.1) ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1            (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1                  ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1                  ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1            (0.1) ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1            (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1                  ERef2 %( corrId )%
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1                  ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 <          (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 >          (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 =          (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 %          (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 $\ni$      (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 $\in$      (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 $\mapsto$  (0.1) ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 <                ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 >                ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 =                ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 %                ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 $\ni$            ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 $\in$            ERef2
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa, eRef1 $\mapsto$        ERef2
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maeder, relation < (0.1) {eRef1 ERef2}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maeder, relation <       {eRef1 ERef2}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maeder, relation   (0.1) {eRef1 ERef2}
eca1bef5254235fc6e3258ef069d5d77fbd99906Christian Maeder, relation         {eRef1 ERef2}
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a10 align-arity-forward 1 align-arity-backward 1 : foo:foo_bar to foo:baz
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a11 align-arity-forward 1 align-arity-backward ? : foo:foo_bar to foo:baz
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a12 align-arity-forward 1 align-arity-backward + : foo:foo_bar to foo:baz
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a13 align-arity-forward 1 align-arity-backward * : foo:foo_bar to foo:baz
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaalignment a14 align-arity-forward ? align-arity-backward 1 : foo:foo_bar to foo:baz
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksaend
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksamodule m20 :
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa    (P x)
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa  of
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa    (Q x)
1975b690235ca4a68d449aaa880759a1925f408cEugen Kuksa  for FOO