As far as I understood Virtuoso just supports subClassOf and subProperty
of for inheritance. See
http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html.
Ciao Carina
On 26.04.2012 13:45, Ian Harrison wrote:
Hi
I'm running virtuoso 6.1.5.3127 on Mac Lion (Open Source version).
I can get all the kinds of inferencing I need to work, except for rdfs:range
and rdfs:domain type inference.
Here's the relevant snippet from my RDF/XML
<rdf:RDF xmlns="http://www.w3.org/1999/02/22-rdf-syntax-ns#";
xmlns:owl="http://www.w3.org/2002/07/owl#";
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#";
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#";
xmlns:ex="http://www.example.com/example#";
xmlns:err="http://www.w3.org/2005/xqt-errors#";
xmlns:fn="http://www.w3.org/2005/xpath-functions#";
xmlns:xs="http://www.w3.org/2001/XMLSchema#";>
<rdf:Description rdf:about="http://www.example.com/example#ian";>
<ex:has-pet rdf:resource="http://www.example.com/example#slate"/
<http://www.example.com/example#slate>>
</rdf:Description>
<rdf:Description rdf:about="http://www.example.com/example#fhas-pet";>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/
<http://www.w3.org/2002/07/owl#ObjectProperty>>
</rdf:Description>
<rdf:Description rdf:about="http://www.example.com/example#has-pet";>
<rdfs:range rdf:resource="http://www.example.com/example#pet"/
<http://www.example.com/example#pet>>
</rdf:Description>
<rdf:Description rdf:about="http://www.example.com/example#has-pet";>
<rdfs:domain rdf:resource="http://www.example.com/example#human"/
<http://www.example.com/example#human>>
</rdf:Description>
</rdf:RDF>
I should be able to infer that ian is of type human and slate is of type
pet .... but it just returns nothing
I'm using the sparql query
select * where {ex:ian rdf:type ?y}
what am I missing?
N.B. subClassOf,subPropertyOf, inverseOf, symmetric and transitive
property inferecing, and sameAs inferencing works for me on the same dataset
... just not the
range/domain inferemcing queries
Thanks
ian
--
Ian Harrison Email:[email protected]
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Virtuoso-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
--
Carina Haupt
Fraunhofer-Institute for Algorithms and Scientific Computing (SCAI)
Schloss Birlinghoven
D-53754 Sankt Augustin
Tel.: +49 - 2241 - 14 - 3480
E-mail: [email protected]
Internet: http://www.scai.fraunhofer.de
and
Bonn-Aachen International Center for Information Technology (B-IT)
Dahlmannstrasse 2
D-53113 Bonn
E-mail: [email protected]
Internet: http://www.b-it-center.de
