# cdk 2006-04-29
#
# Usage:
# cwm http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3 http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3 http://people.csail.mit.edu/lkagal/tami/carlos-rules.n3 --think --filter="http://people.csail.mit.edu/lkagal/tami/carlos-filter.n3"

@keywords is, of, a .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1#> . 
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix string: <http://www.w3.org/2000/10/swap/string#>.

@prefix u: <http://niem.gov/niem/universal/0.1#>.
@prefix s: <http://niem.gov/niem/structures/0.1#>.
@prefix c: <http://niem.gov/niem/common/0.1#>.
@prefix j: <http://www.niem.gov/niem/domains/justice/0.1#>.
@prefix emer: <http://www.niem.gov/niem/domains/emergency-management/0.1#>.
@prefix int: <http://www.niem.gov/niem/domains/intelligence/0.1#>.
@prefix air: <http://www.megginson.com/exp/ns/airports#>.

@prefix log: <http://www.w3.org/2000/10/swap/log#> .

@prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> .
@prefix td: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> .
@prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> .
@prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> .

############################################ Transitive closure ####################################


tr:star a rdf:Property
	; rdfs:domain rdf:Property
	; rdfs:range rdf:Property
.


{?r tr:star ?rstar.
 ?x ?r [?rstar ?y].
}
=>
{?x ?rstar ?y.
}
.

ts:partOf tr:star tr:partOfStar
.
ts:specializationOf tr:star tr:specializationOfStar
.

# the class information seems to be necessary
{?x a ts:Organization.
 ?r tr:star ?rstar.
}
=>
{?x ?rstar ?x.
}
.

{?x a ts:Activity.
 ?r tr:star ?rstar.
}
=>
{?x ?rstar ?x.
}
.


##################################################### rules #########################################################3


{?d a ts:Database. 
 ?d ts:nature ts:Commercial
}
=>
{td:SFDB ts:allowedSource ?d}
.

#ends