PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For example here is a view function that tests for values 227greater than or equal to n: 228{{{ 229 np :: Num a => a -> a -> Maybe a 230 np k n | k <= n = Just (n-k) 231 | otherwise = Nothing 232 233 f :: Num a => a -> Int 234 f (np 10 -> n) = 0 -- Matches values >= 10 235 f (np 4 -> n) = 1 -- Matches values >= 4 236 f other = 2 237}}} 238You will recognise these as (n+k) patterns, albeit with slig
http://www.w3.org/ns/prov#wasQuotedFrom
  • haskell.org