#84 rdfs:subPropertyOf Inferencing not working

v6.1.6_(upcoming)
open
5
2013-01-11
2012-11-29
Vishesh Handa
No

As per the documentation over here [1], If "A" is a subProperty of "B", and "B" is subProperty of "C", then "A" is also a subProperty of "C". This case doesn't seem to hold.

vlap:~ $ isql-vt -S 1111
Connected to OpenLink Virtuoso
Driver: 06.01.3127 OpenLink Virtuoso ODBC Driver
OpenLink Interactive SQL (Virtuoso), version 0.9849b.
Type HELP; for help and EXIT; to exit.
SQL> sparql define input:inference <nepomukinference> select * where { nao:prefLabel rdfs:subPropertyOf ?o . };
o
LONG VARCHAR
_______________________________________________________________________________

http://www.w3.org/2000/01/rdf-schema#label

1 Rows. -- 2 msec.
SQL> sparql define input:inference <nepomukinference> select * where { nie:title rdfs:subPropertyOf ?o . };
o
LONG VARCHAR
_______________________________________________________________________________

http://purl.org/dc/elements/1.1/title
http://www.semanticdesktop.org/ontologies/2007/08/15/nao#prefLabel

2 Rows. -- 1 msec.

//
//
// This should return rdfs:label as well
// nao:prefLabel is a rdfs:subPropertyOf rdfs:label
//
// Look below -
//

SQL> sparql define input:inference <nepomukinference> select * where { nao:prefLabel ?p ?o . };
p o
VARCHAR LONG VARCHAR
_______________________________________________________________________________

http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Resource
http://www.w3.org/2000/01/rdf-schema#label preferred label
http://www.w3.org/2000/01/rdf-schema#comment A preferred label for a resource
http://www.w3.org/2000/01/rdf-schema#range http://www.w3.org/2000/01/rdf-schema#Literal
http://www.w3.org/2000/01/rdf-schema#subPropertyOf http://www.w3.org/2000/01/rdf-schema#label
http://www.semanticdesktop.org/ontologies/2007/08/15/nrl#maxCardinality 1
http://www.semanticdesktop.org/ontologies/2007/08/15/nrl#maxCardinality 1

8 Rows. -- 2 msec.

SQL> sparql define input:inference <nepomukinference> select * where { nie:title ?p ?o . };
p o
VARCHAR LONG VARCHAR
_______________________________________________________________________________

http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Resource
http://www.w3.org/2000/01/rdf-schema#label title
http://www.w3.org/2000/01/rdf-schema#comment Name given to an InformationElement
http://www.w3.org/2000/01/rdf-schema#domain http://www.semanticdesktop.org/ontologies/2007/01/19/nie#InformationElement
http://www.w3.org/2000/01/rdf-schema#range http://www.w3.org/2001/XMLSchema#string
http://www.w3.org/2000/01/rdf-schema#subPropertyOf http://purl.org/dc/elements/1.1/title
http://www.w3.org/2000/01/rdf-schema#subPropertyOf http://www.semanticdesktop.org/ontologies/2007/08/15/nao#prefLabel
http://www.semanticdesktop.org/ontologies/2007/08/15/nrl#maxCardinality 1
http://www.semanticdesktop.org/ontologies/2007/08/15/nrl#maxCardinality 1

10 Rows. -- 2 msec.

I tested this on version 6.1.6.3127-pthreads, and git version "4a726df51a57448a9ba37cf25853106e126a6712" (Nov 8). The bug exists on both the versions. I have created a simple db which can be used to reproduce the problem. Unfortunately, I cannot upload it as it is 728K (limit = 256k). You can find it over here.

The zip contains a file named "DEBUG" which has the queries required to reproduce the problem.

[1] http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html
[2] http://vhanda.in/virtuoso-inferencing-bug.zip

Discussion