parserTest.dol revision 1975b690235ca4a68d449aaa880759a1925f408c
%prefix(
log: <http://purl.net/dol/logic/>
foo: <http://www.example.com/foo.dol#>
bar: <http://www.example.com/bar.dol#>
)%
distributed-ontology foo:chocolate
logic log:CommonLogic serialization ser:CLIF
ontology o1 =
(and (P x)
(Q x) )
end
interpretation i0 : foo:a to bar:b
end
interpretation i1 %mcons : foo:a to foo:b
end
interpretation i2 %ccons : bar:a to bar:b
end
view i3 %mcons : foo:a to foo:bar
end
alignment a7 : foo:foo_bar to foo:baz
end
alignment a8 : foo:owltime_instant_l to bar:owltime_le
= eRef1 rRef (0.1) ERef2 %( corrId )%
, eRef1 rRef (0.1) ERef2
, eRef1 rRef ERef2 %( corrId )%
, eRef1 rRef ERef2
, eRef1 rRef (0.1) ERef2 %( corrId )%
, eRef1 rRef (0.1) ERef2
, eRef1 rRef ERef2 %( corrId )%
, eRef1 rRef ERef2
, eRef1 (0.1) ERef2 %( corrId )%
, eRef1 (0.1) ERef2
, eRef1 ERef2 %( corrId )%
, eRef1 ERef2
, eRef1 (0.1) ERef2 %( corrId )%
, eRef1 (0.1) ERef2
, eRef1 ERef2 %( corrId )%
, eRef1 ERef2
, eRef1 < (0.1) ERef2
, eRef1 > (0.1) ERef2
, eRef1 = (0.1) ERef2
, eRef1 % (0.1) ERef2
, eRef1 $\ni$ (0.1) ERef2
, eRef1 $\in$ (0.1) ERef2
, eRef1 $\mapsto$ (0.1) ERef2
, eRef1 < ERef2
, eRef1 > ERef2
, eRef1 = ERef2
, eRef1 % ERef2
, eRef1 $\ni$ ERef2
, eRef1 $\in$ ERef2
, eRef1 $\mapsto$ ERef2
, relation < (0.1) {eRef1 ERef2}
, relation < {eRef1 ERef2}
, relation (0.1) {eRef1 ERef2}
, relation {eRef1 ERef2}
end
alignment a10 align-arity-forward 1 align-arity-backward 1 : foo:foo_bar to foo:baz
end
alignment a11 align-arity-forward 1 align-arity-backward ? : foo:foo_bar to foo:baz
end
alignment a12 align-arity-forward 1 align-arity-backward + : foo:foo_bar to foo:baz
end
alignment a13 align-arity-forward 1 align-arity-backward * : foo:foo_bar to foo:baz
end
alignment a14 align-arity-forward ? align-arity-backward 1 : foo:foo_bar to foo:baz
end
module m20 :
(P x)
of
(Q x)
for FOO