#130 owlapi parses ontologies with blank NamedIndividuals

closed-rejected
None
5
2010-07-07
2010-03-29
No

<?xml version="1.0"?>
<rdf:RDF xmlns="http://example.com/"
xml:base="http://example.com/a"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#">
<owl:Ontology rdf:about="http://example.com/a"/>
<owl:NamedIndividual rdf:nodeID="blorg"/>
</rdf:RDF>

is certainly not OWL DL. In my view an exception should be thrown.

The parsed ontology is rendered, in functional syntax, as

"Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(:=<http://example.com/a#>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(skos:=<http://www.w3.org/2004/0n2/skos/core#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Ontology(<http://example.com/a>
Declaration(NamedIndividual(:genid-blorg))
)"

That is certainly incorrect, as it violates the production for NamedIndividual

NamedIndividual := IRI

Entity :=
'Class' '(' Class ')' |
'Datatype' '(' Datatype ')' |
'ObjectProperty' '(' ObjectProperty ')' |
'DataProperty' '(' DataProperty ')' |
'AnnotationProperty' '(' AnnotationProperty ')' |
'NamedIndividual' '(' NamedIndividual ')'

Discussion

  • Matthew Horridge

    • assigned_to: nobody --> matthewhorridge
    • status: open --> closed-rejected
     
  • Matthew Horridge

    The problem should be detected in one of the validators. Throwing a parse exception is probably a bit hostile.

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks