Skip to content

Instantly share code, notes, and snippets.

@phochste
Created December 8, 2023 05:57
Show Gist options
  • Save phochste/4cecc3871e6f5ed7484235fd8583f144 to your computer and use it in GitHub Desktop.
Save phochste/4cecc3871e6f5ed7484235fd8583f144 to your computer and use it in GitHub Desktop.
{
"@context": {
"@vocab": "http://www.w3.org/2000/10/swap/lingua#",
"rdfs": "http://www.w3.org/2000/01/rdf-schema#",
"vars": { "@container":"@list"},
"premise": { "@container":"@graph" },
"conclusion": { "@container":"@graph" }
},
"@id":"urn:uuid:B7AC1149-E71F-4529-ADA6-A06BEA6BABD5",
"@type":"Rules",
"vars": [ { "@id": "_:A"} , { "@id": "_:B"} , { "@id": "_:S"} ] ,
"premise": [
{
"@id":"_:A",
"rdfs:subClassOf": { "@id": "_:B" }
},
{
"@id":"_:S",
"@type":"_:A"
}
],
"conclusion": {
"@id":"_:S",
"@type":"_:B"
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment