is known for his invention of

1 triples
GPTKB property