hi, again.
there might be a fundamental difference about the view
what inference is or i'm fundamentaly misusing virtuoso
- i have to confess that i'm spoiled by owlim.
here's exactly what i do :
1. DB.DBA.RDF_LOAD_RDFXML (http_get
('http://www.w3.org/2009/08/skos-reference/skos-owl1-dl.rdf'), 'no',
'urn:rules.skos');
2. DB.DBA.RDF_LOAD_RDFXML (http_get ('http://www.w3.org/2002/07/owl.rdf'),
'no', 'urn:rules.skos');
3. DB.DBA.RDF_LOAD_RDFXML (http_get
('http://turnguard.com/virtuoso/test10.rdf'), 'no',
'http://www.turnguard.com/virtuoso');
4. rdfs_rule_set ('skos-inference', 'urn:rules.skos');
(note: test10.rdf is more or less the same data i sent two mails ago, i added
one concept with a skos:related property,
please open in a browser and take a look, the following queries are about these
five concepts)
now if i do :
Query :
define input:inference "skos-inference"
SELECT *
FROM <http://www.turnguard.com/virtuoso>
WHERE
{
<http://www.turnguard.com/ElectroPop> ?p ?o
}
Expected :
Expected result with support for symmetricProperty would include
http://www.turnguard.com/KrautRock
(Solution : <http://www.turnguard.com/ElectroPop> skos:related
<http://www.turnguard.com/KrautRock>)
Expected result with support for inverseOf would include
(Solution : <http://www.turnguard.com/ElectroPop> skos:broader
<http://www.turnguard.com/TechnoPop>)
at least these two solutions are missing.
essentially i get the exact same results as with the previous release (6.0.)
the only thing that
for sure works as expected is rdfs:subPropertyOF
all these tests were made on
./virtuoso-t -?
Virtuoso Open Source Edition (multi threaded)
Version 6.1.0.3126-pthreads as of Feb 4 2010
Compiled for Linux (i686-pc-linux-gnu)
Copyright (C) 1998-2010 OpenLink Software
with a complete fresh installation and newly imported data.
any idea really appreciated
wkr turnguard
----- Original Message -----
From: "Kingsley Idehen" <[email protected]>
To: "Jürgen Jakobitsch" <[email protected]>
Cc: [email protected]
Sent: Thursday, February 4, 2010 3:34:03 PM
Subject: Re: [Virtuoso-users] 6.1 owl support
Jürgen Jakobitsch wrote:
> hi,
>
> first, congrats to the new release and the many improvements.
>
>
> is there a doc or could you shed some light on how i would
> have to understand support for owl:SymmetricProperty, owl:inverseOf
> and owl:TransitiveProperty?
>
>
> any pointer really appreciated
>
> wkr turnguard
>
>
Sure, we're still rolling things out, but stay tuned for examples.
BTW - this simply means that you can have the assertions in an OWL graph
that is used for an Inference Rules context (as per usual), then when
you SPARQL (with inference rules pragma) see the effects on the solution
based on the inference context.
--
Regards,
Kingsley Idehen
President & CEO
OpenLink Software
Web: http://www.openlinksw.com
Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter: kidehen
--
punkt. netServices
______________________________
Jürgen Jakobitsch
Codeography
Lerchenfelder Gürtel 43 Top 5/2
A - 1160 Wien
Tel.: 01 / 897 41 22 - 29
Fax: 01 / 897 41 22 - 22
netServices http://www.punkt.at
