Jürgen Jakobitsch wrote:
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
This isn't about interpretation its about implementation :-)
There might be a problem with this release re. this particular area.
It being investigated.
Once resolved you will see complete set of examples from me or someone else.
I am using the Relationship Ontology [1] since this is very easy for
people to understand from everyday perspective.
Links:
1. http://vocab.org/relationship
Kingsley
----- 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
