terminusdb
terminusdb copied to clipboard
Value does not subsume DataValue in WOQL schema
We have some datatypes which are required to be value, and in which a datavalue may be stored, but in which it is not currently allowed due to the failure of value to subsume.
[
{
"http://terminusdb.com/schema/woql#query": [
{
"http://terminusdb.com/schema/woql#count": {
"@type":"ascribed_type_not_subsumed",
"ascribed_type":"http://terminusdb.com/schema/woql#Value",
"document": {"@type":"Value", "variable":"Person"},
"required_type":"http://terminusdb.com/schema/woql#DataValue"
}
},
{
"http://terminusdb.com/schema/woql#result": {
"@type":"ascribed_type_not_subsumed",
"ascribed_type":"http://terminusdb.com/schema/woql#Value",
"document": {"@type":"Value", "variable":"Count"},
"required_type":"http://terminusdb.com/schema/woql#DataValue"
}
}
]
}
]