[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Validation with SiRPAC

To: danda@netscape.com (Dan Libby)
Subject: Re: Validation with SiRPAC
From: Stefan Decker <Stefan.Decker@aifb.uni-karlsruhe.de>
Date: Mon, 24 May 1999 22:41:28 +0200
Cc: Janne Saarela <Janne.Saarela@sophia.inria.fr>, Daniel.Brickley@Bristol.ac.uk
In-Reply-To: <37499CBE.198425EC@netscape.com>
References: <3745D616.C8866C3@netscape.com><3.0.6.32.19990524153957.00a0dcb0@aifbtornado.aifb.uni-karlsruhe.de>

Dan,

>Have you done this successfully? thx. -dan

Actually not yet. 
The aim was to have a system to play with RDF.
RDFS is not yet (really) integrated in SiLRI (that means, the property
"subclass"
is not yet mapped to "X :: Y" in F-logic. However, there is always the
possibility 
to circumvent this via some rules.

(ala
FORALL X,Y X :: Y <- X["http://www.w3c.blabla#subclass" ->> Y].

and:

FORALL X,Y  X["http://www.w3c.blabla#subclass" ->> Y] <- X :: Y .

Prev by Date: Re: New package
Next by Date: Re: broken class files
Prev by thread: Re: New package
Next by thread: Re: broken class files
Index(es):
- Date
- Thread