Can run retina integrated RDF Surfaces with Trealla

[josd]

RDF Surfaces is an effort done at https://www.w3.org/community/rdfsurfaces/ and there is currently a primer at https://w3c-cg.github.io/rdfsurfaces/
It gives such a good feeling that we can run retina integrated RDF Surfaces with Trealla in https://github.com/josd/retina

$ time ./test
~/github.com/josd/retina/rdfsurfaces/beetle ~/github.com/josd/retina
% retina v2.3.1
'<http://example.org/ns#is>'('<http://example.org/ns#beetle>','<http://example.org/ns#beautiful>').
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/contradiction ~/github.com/josd/retina
% retina v2.3.1
inference_fuse('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:A','_:B','_:S'],('<http://www.w3.org/2000/01/rdf-schema#subClassOf>'('_:A','_:B'),'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:S','_:A'),'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:S','_:B')))),('<http://www.w3.org/2000/01/rdf-schema#subClassOf>'('<http://example.org/ns#Human>','<http://example.org/ns#Mortal>'),'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#Socrates>','<http://example.org/ns#Human>'),'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#Socrates>','<http://example.org/ns#Mortal>')))).
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/dishes ~/github.com/josd/retina
% retina v2.3.1
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],'<urn:example:is>'('<urn:example:Faucet>','<urn:example:Open>')).
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/fibonacci ~/github.com/josd/retina
% retina v2.3.1
'<http://example.org/ns#fibonacci>'(1,1).
'<http://example.org/ns#fibonacci>'(2,1).
'<http://example.org/ns#fibonacci>'(3,2).
'<http://example.org/ns#fibonacci>'(91,4660046610375530309).
'<http://example.org/ns#fibonacci>'(283,62232491515607091882574410635924603070626544377175485625797).
'<http://example.org/ns#fibonacci>'(3674,295872959797101479478634366815157108100573212705250690577871041398423606408217262643449728342664061812585639168722421830407677671667740585806703531229882783069925750619720511808616484846128237251921414441458265138672827487722512845223115526738192067144721087756159352711138340620702266509343657403678256247195010013499661223527119909308682062873140767135468966093474944529418214755911968500799987099146489838560114063096775586903976827512299123202488315139397181279903459556726060805948910609527571241968534269554079076649680403030083743420820438603816095671532163428933363322524736324029745871445486444623006627119156710782085648303485296149604974010598940800770684835758031137479033374229914629583184427269638360355586190323578625395157899987377625662075558684705457).
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/graph ~/github.com/josd/retina
% retina v2.3.1
'<https://josd.github.io/eye/ns#path>'('<http://example.org/ns#angers>','<http://example.org/ns#nantes>').
'<https://josd.github.io/eye/ns#path>'('<http://example.org/ns#lemans>','<http://example.org/ns#nantes>').
'<https://josd.github.io/eye/ns#path>'('<http://example.org/ns#chartres>','<http://example.org/ns#nantes>').
'<https://josd.github.io/eye/ns#path>'('<http://example.org/ns#paris>','<http://example.org/ns#nantes>').
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/pi ~/github.com/josd/retina
% retina v2.3.1
'<http://eyereasoner.github.io/eye/reasoning#pi>'([1000,3.14159265383979],true).
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/policy ~/github.com/josd/retina
% retina v2.3.1
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#RubenD>','<http://xmlns.com/foaf/0.1/Person>').
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#JosD>','<http://www.w3.org/2006/vcard/ns#Individual>').
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#RubenD>','<http://www.w3.org/2006/vcard/ns#Individual>').
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#JosD>','<http://xmlns.com/foaf/0.1/Person>').
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/socrates ~/github.com/josd/retina
% retina v2.3.1
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#Socrates>','<http://example.org/ns#Human>').
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#Socrates>','<http://example.org/ns#Mortal>').
'<http://www.w3.org/2000/01/rdf-schema#subClassOf>'('<http://example.org/ns#Human>','<http://example.org/ns#Mortal>').
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/turing ~/github.com/josd/retina
% retina v2.3.1
'<http://example.org/ns#compute>'([1,0,1,0,0,1],[1,0,1,0,1,0,"#"]).
'<http://example.org/ns#compute>'([1,0,1,1,1,1],[1,1,0,0,0,0,"#"]).
'<http://example.org/ns#compute>'([1,1,1,1,1,1],[1,0,0,0,0,0,0,"#"]).
'<http://example.org/ns#compute>'([],[1,"#"]).
~/github.com/josd/retina

~/github.com/josd/retina/rdfsurfaces/witch ~/github.com/josd/retina
% retina v2.3.1
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://example.org/ns#GIRL>','<http://example.org/ns#WITCH>').
~/github.com/josd/retina


real    0m0.756s
user    0m0.687s
sys     0m0.087s

[josd]

Running the Lehigh University Benchmark test in https://github.com/josd/phy/tree/master/rdfsurfaces/lubm takes about 5 sec

$ time ./test
% phy v2.11.3 (2023-05-06)
...
real    0m5.061s
user    0m4.968s
sys     0m0.101s

Using Scryer it takes about 500 sec

$ time ./test
% phy v2.11.3 (2023-05-06)
...
real    8m18.802s
user    8m15.391s
sys     0m3.351s

The N3 version https://github.com/eyereasoner/eye/tree/master/reasoning/blogic using swipl takes about 5.6 sec.

[infradig]

Indexing is my guess. Scryer has come along well lately in
computational tasks and is usually faster with those.

[josd]

We are now back at the original name retina from 2021 when we started with Trealla 😉
and very happy with the performance of https://github.com/eyereasoner/retina/tree/master/rdfsurfaces/edt