Fünf (eigentlich sechs) Probleme von Stefano Borgo
Stefano Borgo hat fünf Testfällle als Benchmark formuliert, die jede hinreichend allgemeingültige Ontologie ausdrücken können sollte:
CASE 1: There is a four-legged table made of wood. Sometime later, a leg of the table is replaced. Even later, the table is demolished so it ceases to exist although the wood is still there after the demolition.
CASE 2: Mr. Potter is the teacher of class 2C at Shapism School and resigns at the beginning of the spring break. After the spring break, Mrs. Bumblebee replaces Mr. Potter as the teacher of 2C. Also, student Mary left the class at the beginning of the break and a new student, John, joins in when the break ends.
CASE 3a: A flower is red in the summer. As time passes, the color changes. In autumn the flower is brown.
CASE 3b: A man is walking when suddenly he starts walking faster and then breaks into a run.
CASE 4: A man is walking to the station, but before he gets there, he turns around and goes home.
CASE 5: A marriage is a contract that is regulated by civil and social constraints. These constraints can change but the meaning of marriage continues over time.
Als Quelle angeben: Stefano Borgo, personal communication (2021).