v0.5

Action language and static validation for all four cases

MeSH data
Get MeSH data from https://nlmpubs.nlm.nih.gov/projects/mesh/rdf/2022/mesh2022.nt (Courtesy of the U.S. National Library of Medicine)

Yago data
Yago data Courtesy of Yago Project https://yago-knowledge.org/downloads/yago-4

v0.2

Action language and static validation for all four cases (prototype for negative properties)

MeSH data
Get MeSH data from https://nlmpubs.nlm.nih.gov/projects/mesh/rdf/2022/mesh2022.nt (Courtesy of the U.S. National Library of Medicine)

Yago data
Yago data Courtesy of Yago Project https://yago-knowledge.org/downloads/yago-4