To enable things like: https://github.com/comunica/comunica-feature-reasoning/issues/23 we need to not only have the concept of dereferencing rule sets (which is only possible in the case of Language Agnostic Reasoners), but also have the idea of 'constant' rule schemes that get passed around.
That is we need to have a constants like
@comunica:bus-rdf-reason:rules:rdfs
@comunica:bus-rdf-reason:rules:owl2rl
@comunica:bus-rdf-reason:rules:swrl
For some reasoning engines their test method may just be testing that the reasoning scheme is a specific key that is given; whilst for rule agnostic reasoners, they should be able to 'dereference' these keys (either the key is associated with a remote url/file that then gets dereferenced; or the rules get bundled with the app - we should support both).
To enable things like: https://github.com/comunica/comunica-feature-reasoning/issues/23 we need to not only have the concept of dereferencing rule sets (which is only possible in the case of Language Agnostic Reasoners), but also have the idea of 'constant' rule schemes that get passed around.
That is we need to have a constants like
@comunica:bus-rdf-reason:rules:rdfs
@comunica:bus-rdf-reason:rules:owl2rl
@comunica:bus-rdf-reason:rules:swrl
For some reasoning engines their
test
method may just be testing that the reasoning scheme is a specific key that is given; whilst for rule agnostic reasoners, they should be able to 'dereference' these keys (either the key is associated with a remote url/file that then gets dereferenced; or the rules get bundled with the app - we should support both).