Re: [OWLAPI-developer] Bug in the rdf/xml parser?

[Timothy R. <tre...@st...>]

> This ontology is punning data and annotation properties. I don't 
> remember off the top of my head but I think that's forbidden by the specs.

To confirm this, this is forbidden by the specifications.  One place to 
find this is here:

> http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Typing_Constraints_of_OWL_2_DL

where it says:

> The typing constraints thus ensure that the sets of IRIs used as 
> object, data, and annotation properties in /O/ are disjoint and that, 
> similarly, the sets of IRIs used as classes and datatypes in /O/ are 
> disjoint as well.

It follows this up with:

> These constraints are used for disambiguating the types of IRIs when 
> reading ontologies from external transfer syntaxes. All other 
> declarations are optional. 

In my opinion, this is a direct reference to the RDF serialization which 
has trouble with such punning.  Several constructs such as the one you 
provided are ambiguous in RDF.

I think that you could find some similar requirements in the RDF 
serialization document:

> http://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/

-Timothy




On 12/16/2013 05:28 AM, Ignazio Palmisano wrote:
>
>
> On 16 Dec 2013 13:05, "Matteo Matassoni" <mat...@gm... 
> <mailto:mat...@gm...>> wrote:
> >
> > Hi,
> > I have just found a possible bug in the RDF/XML parser. With the 
> below ontology the domain of the DatatypeProperty is mapped to 
> an OWLAnnotationPropertyDomainAxiom instead 
> of OWLDataPropertyDomainAxiom. Moreover, the argument of the domain 
> axiom (the class expression) generates an IRI of an anonymous 
> individual (_:genid1).
> > I'm working with version 3.4.5 but I've found that the bug still 
> both version 3.4.2 (via Protege 4.2) and 3.4.9.
> >
> > <?xml version="1.0"?>
> > <rdf:RDF
> >     xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#"
> >     xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
> >     xmlns="http://bioontology.org/projects/ontologies/radlex/radlexOwl#"
> >     xmlns:swrl="http://www.w3.org/2003/11/swrl#"
> >     xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
> >     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> >     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
> >     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
> >     xmlns:owl="http://www.w3.org/2002/07/owl#"
> >   xml:base="http://www.owl-ontologies.com/Ontology1257555286.owl">
> >   <owl:Ontology rdf:about=""/>
> >   <owl:FunctionalProperty 
> rdf:about="http://bioontology.org/projects/ontologies/radlex/radlexOwl#ACR_ID">
> >     <rdfs:domain>
> >       <owl:Class>
> >         <owl:unionOf rdf:parseType="Collection">
> >           <owl:Class 
> rdf:about="http://bioontology.org/projects/ontologies/radlex/radlexOwl#radlex_metaclass"/>
> >           <owl:Class 
> rdf:about="http://bioontology.org/projects/ontologies/radlex/radlexOwl#radlex_attribute"/>
> >         </owl:unionOf>
> >       </owl:Class>
> >     </rdfs:domain>
> >     <rdf:type 
> rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
> >     <rdf:type 
> rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
> >   </owl:FunctionalProperty>
> > </rdf:RDF>
> >
>
> This ontology is punning data and annotation properties. I don't 
> remember off the top of my head but I think that's forbidden by the specs.
> I.
>
> > - MM
> >
> >
> > 
> ------------------------------------------------------------------------------
> > Rapidly troubleshoot problems before they affect your business. Most IT
> > organizations don't have a clear picture of how application performance
> > affects their revenue. With AppDynamics, you get 100% visibility 
> into your
> > Java,.NET, & PHP application. Start your 15-day FREE TRIAL of 
> AppDynamics Pro!
> > 
> http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk
> > _______________________________________________
> > Owlapi-developer mailing list
> > Owl...@li... 
> <mailto:Owl...@li...>
> > https://lists.sourceforge.net/lists/listinfo/owlapi-developer
> >
>
>
>
> ------------------------------------------------------------------------------
> Rapidly troubleshoot problems before they affect your business. Most IT
> organizations don't have a clear picture of how application performance
> affects their revenue. With AppDynamics, you get 100% visibility into your
> Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
> http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk
>
>
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer