# WebOnt testing makefile.
# cf W3C Web-Ontology (WebOnt) Working Group
#    http://www.w3.org/2001/sw/WebOnt/
#    esp email around 6 Mar 2002.
#
# $Id: Makefile,v 1.8 2002/07/17 17:35:14 connolly Exp $

PYTHON=python
W=../..
SWAP=$(W)/2000/10/swap
CWM=$(SWAP)/cwm.py

.SUFFIXES: .n3 .rdf

.n3.rdf:
	$(PYTHON) $(CWM) --n3 $< --rdf --base=bogus >$@

#@@TODO: use RDF/xml syntax for premise/conclusion
intersectionOrderR.n3: intersectionOrderP.n3 intersectionOrderC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) ontT.n3 --think \
		--with file:`pwd`/intersectionOrderP.n3 file:`pwd`/intersectionOrderC.n3 >$@

sem-intersectionR.n3: sem-intersectionP.rdf sem-intersectionC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) ontT.n3 --think \
		--with file:`pwd`/sem-intersectionP.rdf file:`pwd`/sem-intersectionC.rdf >$@

mapVocabR.n3: mapVocabP.rdf mapVocabC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) ontT.n3 --think \
		--with file:`pwd`/mapVocabP.rdf file:`pwd`/mapVocabC.rdf >$@

mapInvR.n3: mapInvP.rdf mapInvC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) ontT.n3 --think \
		--with file:`pwd`/mapInvP.rdf file:`pwd`/mapInvC.rdf >$@

sameStateR.n3: sameStateP.rdf sameStateC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) ontT.n3 --think \
		--with file:`pwd`/sameStateP.rdf file:`pwd`/sameStateC.rdf >$@

CHATTY=30
peopleKey: peopleKeyR.n3
peopleKeyR.n3: peopleKeyP.rdf peopleKeyC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) --chatty=$(CHATTY) ontT.n3 --think \
		--with file:`pwd`/peopleKeyP.rdf file:`pwd`/peopleKeyC.rdf >$@

bobNotContinentR.n3: bobNotContinentP.rdf bobNotContinentC.rdf ontT.n3 ontAx.n3
	$(PYTHON) $(CWM) ontT.n3 --think \
		--with file:`pwd`/bobNotContinentP.rdf file:`pwd`/bobNotContinentC.rdf >$@

sameGuyR.n3: sameGuyT.n3 sameGuyP.rdf sameGuyC.rdf ontAx.n3
	$(PYTHON) $(CWM) sameGuyT.n3 --think >$@

#hmm... thinking about these single-file consistency-checking tests...
sameGuyQR.n3: sameGuyQ.rdf ontAx.n3
	$(PYTHON) $(CWM) --rdf sameGuyQ.rdf --n3 ontAx.n3 --think >$@

sameGuyP.rdf: sameGuyP.n3
sameGuyC.rdf: sameGuyC.n3


clean:
	$(RM) sameGuy{P,Q,R,QR}.rdf sameGuy{QR,R}.n3 *~