Menu
▾
▴
owlapi-developer
|
From: Matteo M. <mat...@gm...> - 2013-12-16 13:05:18
|
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>
- MM
|
|
From: Ignazio P. <ipa...@gm...> - 2013-12-16 13:28:42
|
On 16 Dec 2013 13:05, "Matteo Matassoni" <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... > https://lists.sourceforge.net/lists/listinfo/owlapi-developer > |
|
From: Timothy R. <tre...@st...> - 2013-12-16 15:39:56
|
> 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 |
Thanks for helping keep SourceForge clean.
X