These make the assumption of data being retrieved and parsed from static documents by the reasoner; and assume that data in the proof is available to the reasoning and proof-checking agents within the ecosystem. These concepts need to be extended to remove these assumptions; as neither can be made in the Solid ecosystem. In particular; the following statement needs to be expressible
"""
I know fact that Jesse a Person, used in my proof, because it was obtained from data source y. In particular using the QPF API at http://example.org/, at Aug 3 12:01 UTC with the query Jesse a ?person - when logged in as Alice.
"""
This then allows a proof-checker to only trust the raw data sources, rather than needing to trust the reasoners assertion that the fact in the proof is true.
Desired solution
An ontology that is able to declare all concepts from the sentence in the pitch
Acceptance criteria
An ontology that is able to declare all concepts from the sentence in the pitch
This is another future problem around trust - but parts of this may be required in addressing https://github.com/SolidLabResearch/Challenges/issues/57.
Pitch
Currently the only subClasses of a proof Step defined in https://www.w3.org/2000/10/swap/reason are:
These make the assumption of data being retrieved and parsed from static documents by the reasoner; and assume that data in the proof is available to the reasoning and proof-checking agents within the ecosystem. These concepts need to be extended to remove these assumptions; as neither can be made in the Solid ecosystem. In particular; the following statement needs to be expressible
""" I know fact that
Jesse a Person
, used in my proof, because it was obtained from data source y. In particular using the QPF API at http://example.org/, at Aug 3 12:01 UTC with the queryJesse a ?person
- when logged in as Alice. """This then allows a proof-checker to only trust the raw data sources, rather than needing to trust the reasoners assertion that the fact in the proof is true.
Desired solution
An ontology that is able to declare all concepts from the sentence in the pitch
Acceptance criteria
An ontology that is able to declare all concepts from the sentence in the pitch
Pointers