| http://www.w3.org/ns/prov#value | - Usually, a type system goes beyond this to prevent us from accidentally mixing types up: for example, a type system usually wont let us treat a hotel reservation as a car rental receipt. 2 comments The benefit of introducing abstraction is that it lets us forget or ignore low-level details.
|
