#not working yet...
# $Id: crawlSeeAlso.n3,v 1.3 2004/06/25 01:26:59 timbl Exp $
#
# try
# $ python cwm.py  --chatty=25 test/crawlSeeAlso.n3 --rdf http://rdfweb.org/people/danbri/rdfweb/webwho.xrdf  --think

@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .

@prefix : <crawlSeeAlso#>.

s:seeAlso a :InterestingProperty.

#foaf:mbox a :InterestingProperty.
#foaf:knows a :InterestingProperty.
#foaf:depiction a :InterestingProperty.

@forAll :S, :P, :O.


{  <http://xmlns.com/foaf/0.1/index.rdf> log:semantics [
     log:includes { :P a r:Property } ]
} => { :P a :InterestingProperty }.




{ [] s:seeAlso [ log:semanticsOrError ?WHAT ].

  ?WHAT log:rawType log:Formula.

  :P a :InterestingProperty.

  ?WHAT log:includes {  :S :P :O }.
}
  => { :S :P :O }.

# $Log: crawlSeeAlso.n3,v $
# Revision 1.3  2004/06/25 01:26:59  timbl
# The @forAll form is now the primary form used by cwm, not this log:forAll.
# Supporess withh  --n3=v
# --reify and --dereify introduced, not supported by tests yet.
# See doc/changes.html
#
# Revision 1.2  2003/02/27 03:33:29  connolly
# the ?S ?P ?O search didn't have any place to start.
# we're grabbing :InterestingProperties from the foaf
# schema now.
#