A method for automatically supplying or locating data over a communication network comprising: configuring a data source to provide source data over the communication network, the source data being identified by a data identifier in a domain of identifiers; receiving a machine-readable description, the machine-readable description specifying at least one predicate that must be satisfied by the data; labeling data identified by the data identifier with labels at least in part indicative of data predicates that hold true for the data identified by the data identifier or that are satisfiable for the data identified by the data identifier; searching for the data based at least in part on the machine-readable description and the labels; obtaining a solution satisfying the predicate based on the search; and supplying the solution over the communication network to a data consumer.