terminusdb icon indicating copy to clipboard operation
terminusdb copied to clipboard

Value does not subsume DataValue in WOQL schema

Open GavinMendelGleason opened this issue 1 year ago • 0 comments

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"
	}
      }
    ]
  }
]

GavinMendelGleason avatar Nov 10 '23 11:11 GavinMendelGleason