Null anonymous individual parsing ObjectHasValue from OWL/XML about owlapi HOT 7 CLOSED

On 14 Oct 2013 10:24, "tholiebig" [email protected] wrote:

I end up with the following exception when reading a (previously
rendered) ontology containing anonymous individuals:
java.lang.IllegalArgumentException: individual cannot be null

For instance when loading:

<SubClassOf>
    <Class IRI="http://test.com/test#M"/>
    <ObjectHasValue>
        <ObjectProperty IRI="http://test.com/test#r1"/>
        <AnonymousIndividual nodeID="_:ano1"/>
    </ObjectHasValue>
</SubClassOf>

At a first guess a one of restriction should not support anonymous
individuals, but I don't remember that detail of the specs. If I'm right
the problem is the renderer creating invalid output.

Can you just confirm the output format and the version you used?
Cheers,
I.

—
Reply to this email directly or view it on GitHub.

from owlapi.

I have used OWL API 3.4.5.

Concerning validity: The example is valid OWL 2 XML wrt. the corresponding XML Schema file which allows anonymous individuals within restrictions (it also is allowed within the OWL API when building programmatically).
Best,
Thorsten

from owlapi.

On 14 Oct 2013 15:19, "tholiebig" [email protected] wrote:

I have used OWL API 3.4.5.

Concerning validity: The example is valid OWL 2 XML wrt. the
corresponding XML Schema file which allows anonymous individuals within
restrictions (it also is allowed within the OWL API when building
programmatically).

Cheers.
I'll check against the specs to make sure this is legal in OWL.

I.

Best,
Thorsten

—
Reply to this email directly or view it on GitHub.

from owlapi.

It's allowed :)

ObjectHasValue := 'ObjectHasValue' '(' ObjectPropertyExpression Individual ')'

from owlapi.

Righty-oh then, there must be a bug in parsing.
Thinking again that message sounds like the data factory being called with
a null argument, rather than creating a blank node.
I'll try to reproduce it.

On 14 October 2013 18:15, Matthew Horridge [email protected] wrote:

It's allowed :)

ObjectHasValue := 'ObjectHasValue' '(' ObjectPropertyExpression
Individual ')'

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/50#issuecomment-26272170
.

from owlapi.

It's allowed by the api and by the renderer but not by the parser - it's using a handler that seems to only be able to parse named individuals. I can replicate the issue with a small test.

from owlapi.

Took longer to type in the comments than to find and fix the bug :-) missing an override in the hasValue handler.
I'll push a fix as soon as the local build completes.

from owlapi.