On 18/03/2013 20:18, Joshua TAYLOR wrote:
Wouldn't the maxCardinality 0 mean that every NewsOrganization isn't
associatedWith *anything*, so there should never be a [newsOrgX
associatedWith foo] to use with [associatedWith domain Person] to
infer [newsOrgX a Person]?
That's true and I've been wondering since my message whether a max
cardinality constraint really does assert that the restriction class is
in the domain of the property. I'm finding it hard to tell looking at
the Owl documents.
However, I think the reasoner is doing that. With the restriction and
a cut down ontology I was seeing classes with owl:Nothing as a super
class. Eliminating the restriction eliminated the owl:Nothing and
produces the expected answers for the code provided running on the full
ontology.
Brian
//JT
--
Epimorphics Ltd (http://www.epimorphics.com)
Epimorphics Ltd. is a limited company registered in England (number 7016688)
Registered address: Court Lodge, 105 High Street, Portishead, Bristol BS20 6PT,
UK
