[Owlim-discussion] Which ruleset should catch this inference?

[Alan Ruttenberg]

SubPropertyOf(:sub :super)
SubClassOf(:test ObjectSomeValuesFrom(:sub owl:Thing))

Query: Descendants(ObjectSomeValuesFrom(:super owl:Thing)))

Now to query in SPARQL

select ?term
  { ?term rdfs:subClassOf ?restriction.
     ?restriction owl:onProperty :super
     ?restriction owl:someValuesFrom owl:Thing
  }

This query does not succeed in the repo I've made - I have to add an
explicit traversal of the sub properties

select ?term
  { ?term rdfs:subClassOf ?restriction.
    ?prop owl:subPropertyOf :super
     ?restriction owl:onProperty ?prop
     ?restriction owl:someValuesFrom owl:Thing
  }


Thanks,
Alan

_______________________________________________
Owlim-discussion mailing list
Owlim-discussion@ontotext.com
http://ontomail.semdata.org/cgi-bin/mailman/listinfo/owlim-discussion