Please visit the project webpage.
This project contains the following directory structure :
- ardf: the generic Annotated RDF framework
- anql: the adapted SWI-Prolog for Annotated RDF and AnQL
- domains: the specification of domains
- rules: the rulesets that are available
- tests: the test files
This is a sample Prolog session using SWI Prolog 5.8.0 for running our temporal domain example (Alain Prost) and our fuzzy domain example (Sports Cars).
?- [tRDF].
% library(assoc) compiled into assoc 0.00 sec, 12,028 bytes
% library(error) compiled into error 0.00 sec, 9,480 bytes
...
?- ardf:run('tests/alainProst.rdf', mykb).
Reasoning finished, 5 inference steps.
true.
?- listing(mykb:_).
quad('http://example.org/ns#AlainProst', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'http://example.org/ns#SportsCarDriver', [[1980, 1991], [1993, 1993]]).
quad('http://example.org/ns#AlainProst', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'http://example.org/ns#F1Driver', [[1980, 1991], [1993, 1993]]).
...
?- [fuzzyRDF].
% library(assoc) compiled into assoc 0.00 sec, 24,008 bytes
% library(error) compiled into error 0.00 sec, 17,776 bytes
...
?- ardf:run('tests/sportsCars.rdf', mykb).
Reasoning finished, 2 inference steps.
true.
?- listing(mykb:_).
quad('http://example.org/ardf#BMWM3', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'http://example.org/ardf#ExpensiveCar', 0.9).
quad('http://example.org/ardf#audiTT', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'http://example.org/ardf#ExpensiveCar', 0.8).
...
AnQL is an extension of the SPARQL query language to query Annotated RDF. The AnQL prototype is currently under development and the partial implementation of the language is available.