- From: William Waites <wwaites@inf.ed.ac.uk>
- Date: Sun, 1 Sep 2019 14:33:05 +0100
- To: Richard Cyganiak <richard@cyganiak.de>
- Cc: public-rdf-star@w3.org
recently to help with describing genetic circuits.)
Richard, why are triples allowed as objects in RDF*? My guess would be because
arbitrary asymmetries have a cost. We already have the problem that literals
aren't allowed as subjects which upsets reasoning with even simple rules.
Why should
<<:moon :consistsOf :greenCheese>> :isBelievedBy :bob.
be allowed, but not,
:bob :believes <<:moon :consistsOf :greenCheese>>.
especially under the rule that you would expect,
{ ?a :believes ?b } => { ?b :isBelievedBy ?a }.
Best wishes,
William Waites | wwaites@inf.ed.ac.uk
Institute for Language, Cognition and Computation
School of Informatics, University of Edinburgh
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Sunday, 1 September 2019 13:37:07 UTC