- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Mon, 11 Apr 2005 23:41:08 -0400
- To: Webster <semantic.dog@gmail.com>
- Cc: public-owl-dev@w3.org, evren Sirin <evren@cs.umd.edu>
On Apr 11, 2005, at 6:02 PM, Webster wrote:
> Hello!
>
> I have run into an issue with annotation properties and their support
> by two popular validators.
>
> Pellet [1] indicates that the following is OWL-Lite/DL, yet WonderWeb
> [2] throws a warning due to an "Untyped Individual" and forces
> OWL-Full.
There are actually two problems (or possible problems) with your
example.
> <rdf:RDF
> xmlns:owl="http://www.w3.org/2002/07/owl#"
> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
>
> <owl:Class rdf:about="http://test/class">
> <rdfs:label>A class</rdfs:label>
^^^^^^^^^^^^^^
Remove this to pass the WonderWeb validator.
I have to go back to the specs to check whether you can have annotation
properties on descriptions like this. It's probably a good idea to
avoid them.
> <rdfs:subClassOf>
> <owl:Restriction>
> <rdfs:label>A restriction</rdfs:label>
> <owl:onProperty rdf:resource="http://test" />
> <owl:minCardinality>1</owl:minCardinality>
[snip]
This should have
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger".
Neither system detects that! So I should check the specs there, too :)
When I figure out what the right behavior is, we'll update the Pellet
side (and submit a patch to the OWL API).
Cheers,
Bijan Parsia.
Received on Tuesday, 12 April 2005 03:41:11 UTC