hi, first of all congrats to this great project,
i checked it out once a couple of months ago and
i can see that there some significant improvements.
however might have found a bug in the inference engine,
that can be reproduced like so :
1. instantiate a bigdata sail with fullfeatured properties
2. add http://www.w3.org/2009/08/skos-reference/skos-owl1-dl.rdf with baseURL http://www.w3.org/2004/02/skos/core
3. add http://turnguard.com/virtuoso/test10.rdf
now do the following sparql query
SELECT *
WHERE {
<http://www.turnguard.com/Music> ?p ?o
}
the result from bigdata looks like this
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2004/02/skos/core#Concept
http://www.w3.org/2000/01/rdf-schema#label "Music"@en
http://www.w3.org/2004/02/skos/core#narrower http://www.turnguard.com/ElectroPop
http://www.w3.org/2004/02/skos/core#narrower http://www.turnguard.com/Pop
http://www.w3.org/2004/02/skos/core#narrower http://www.turnguard.com/TechnoPop
http://www.w3.org/2004/02/skos/core#narrowerTransitive http://www.turnguard.com/ElectroPop
http://www.w3.org/2004/02/skos/core#narrowerTransitive http://www.turnguard.com/Pop
http://www.w3.org/2004/02/skos/core#narrowerTransitive http://www.turnguard.com/TechnoPop
http://www.w3.org/2004/02/skos/core#prefLabel "Music"@en
http://www.w3.org/2004/02/skos/core#semanticRelation http://www.turnguard.com/Pop
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Resource
the result from owlim (swiftowlim beta 12) like this
http://www.w3.org/2004/02/skos/core#narrowerTransitive http://www.turnguard.com/ElectroPop
http://www.w3.org/2004/02/skos/core#narrowerTransitive http://www.turnguard.com/TechnoPop
http://www.w3.org/2004/02/skos/core#narrowerTransitive http://www.turnguard.com/Pop
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2004/02/skos/core#Concept
http://www.w3.org/1999/02/22-rdf-syntax-ns#type _:node1
http://www.w3.org/2004/02/skos/core#semanticRelation http://www.turnguard.com/ElectroPop
http://www.w3.org/2004/02/skos/core#semanticRelation http://www.turnguard.com/TechnoPop
http://www.w3.org/2004/02/skos/core#semanticRelation http://www.turnguard.com/Pop
http://www.w3.org/2004/02/skos/core#prefLabel "Music"@en
http://www.w3.org/2000/01/rdf-schema#label "Music"@en
http://www.w3.org/2004/02/skos/core#narrower http://www.turnguard.com/Pop
note that i'm positivly surprised by the inferred rdf-schema#Resource with bigdata
but there are significant differences between the two inference engines, where owlim
seems to be right in most cases.
please note that :
in skos : narrower is a subProp of narrowerTransitive (same for broader), both are inverse,
the transitives are subProps of semanticRelation, so the construct is a bit complex.
any suggestions if i'm doing some wrong or this is a bug really welcome.
wkr www.turnguard.com/turnguard
--
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
|
