Unique Name Assumption - another example
Ian Davis has a very nice example illustrating the Unique Name Assumption: "Two sons and two fathers went to a pizza restaurant. They ordered three pizzas. When they came, everyone had a whole pizza. How can that be?"'
Better than my examples. And much shorter!
Originally published on Semantic Nodix
New OWL tools