W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2004

some help on KIF

From: Charlie Abela <abcharl@keyworld.net>
Date: Thu, 8 Jan 2004 22:41:27 +0100
To: <www-rdf-logic@w3.org>
Message-ID: <OBEOLJNEPKKHAJJIGKDKGEMBCHAA.abcharl@keyworld.net>

Hi

Can someone give me a hand with this KIF bit? I am posting this here even though the mailing list
might not be the correct one. But I figured that most logic experts would know what I am referring
to here.
This is part of the time ontology that can be found at http://ksl.stanford.edu/ontologies/time/. But
for some reason I am having trouble using it since there seems to be an error. Here is the
interested bit:

(Define-Okbc-Frame Week-Day-Of
    :Frame-Type :Slot
    :Direct-Types (Binary-Relation Relation Slot)
    :Own-Slots ((Range Calendar-Week-Day-Type)
		(Relation-Arity 2)
		(Domain Time-Point)
                (Documentation ""))
    :sentence (=> (and (Time-Point ?p) (Week-Day-Of ?p ?w))
                   (= (Week-Day-Number-Of ?w) (+ 1 (Mod (LINLT (Magnitude (Location-Of ?p) Day-Unit)
7)))))

and the error is the following:
line 67:17: unexpected token: =>
line 67:21: unexpected token: and
line 68:107: unexpected token: )


Any help is greatly appreciated,

Charlie
Received on Thursday, 8 January 2004 16:42:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:48 GMT