Inducing Source Definitions: System Demo

Input File: Problem Specification

Input to the system consists of a mediated schema (a set of semantic types and domain relations), a set of source descriptions, and a target source (for which the definition will be learnt):

##############################################################
## PROBLEM DOMAIN DESCRIPTION: 

## Uses Codebump ZipCodeLookup Service at:
##  http://www.codebump.com/services/ZipCodeLookup.asmx
## and USZip Web Service at:
##  http://www.webservicex.net/uszip.asmx

## Semantic Types: 
type zipcode[nominal(9)]
type latitude
type longitude
type miles[numeric]
type streetnumber[nominal(10)]
type street[nominal(80)]
type apartment[nominal(10)]
type city[nominal(50)]
type state[nominal(2)]
type areacode[nominal(3)]
type timezone[nominal(5)]

## Domain Predicates: 
predicate centroid(zipcode,latitude,longitude)
predicate distance(latitude,longitude,latitude,longitude,miles)
predicate address(streetnumber,street,apartment,city,state,zipcode)
predicate phoneprefix(zipcode,areacode)
predicate timezone(state,timezone)

## Comparison Predicates: 
predicate <(miles^b,miles^b)

## Sources: 
source GetDistanceBetweenZipCodes(zip1^b,zip2^b,dist) :- centroid(zip1,lat1,long1), centroid(zip2,lat2,long2), distance(lat1,long1,lat2,long2,dist).
source GetInfoByZIP(city,state,zipcode^b,areacode,timezone) :- address(_,_,_,city,state,zipcode), phoneprefix(zipcode,areacode), timezone(state,timezone).

## Target Predicate: 
target GetZipCodesWithin(zipcode^b,miles^b,zipcode,miles)

##############################################################

For questions or comments regarding this demo please email Mark Carman: carman<remove this part>@isi.edu