W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

foaf/OWL

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Fri, 23 Nov 2007 20:45:19 -0500
Message-Id: <1FAD0993-01D8-48D2-A17A-95748C58FDA2@gmail.com>
Cc: foaf-dev@lists.foaf-project.org
To: public-owl-wg@w3.org (OWL Working Group WG <public-owl-wg@w3.org>)

For foaf, foaf-a-matic(http://www.ldodds.com/foaf/foaf-a-matic)  writes

<foaf:workplaceHomepage rdf:resource="http://sciencecommons.org/"></ 
foaf:workplaceHomepage>

The species validator considers this OWL Full because

Untyped Individual: Assuming http://sciencecommons.org/ is an individual

Elsewhere, we have that the domain of foaf:workplaceHomepage is  
foaf:Document

To get this to validate as DL(*)  I need to

<foaf:workplaceHomepage><owl:Individual rdf:about="http:// 
sciencecommons.org/"/></foaf:workplaceHomepage>

This is an annoying bit of incompatibility with RDF. Any way to fix it?

-Alan

(*) If the foaf ontology were itself valid as OWL DL.

It's not that far off...

Invalid Range Restriction: foaf:myersBriggs (ObjectProperty) has  
rdfs:range rdfs:Literal (Datatype)
(looks like a foaf bug - foafers: take note)

Invalid SubProperty Axiom: rdfs:subPropertyOf is used with foaf:name  
(DatatypeProperty) and rdfs:label (AnnotationProperty)
(seems this could be handled on the OWL side - harm from the  
subproperty going the other way, but not from Object/Datatype  
property up to Annotation...)

Multiple Types: Resource foaf:icqChatID is defined both as  
DatatypeProperty and as InverseFunctionalProperty
Multiple Types: Resource foaf:jabberID is defined both as  
DatatypeProperty and as InverseFunctionalProperty
Multiple Types: Resource foaf:yahooChatID is defined both as  
DatatypeProperty and as InverseFunctionalProperty
Multiple Types: Resource foaf:msnChatID is defined both as  
DatatypeProperty and as InverseFunctionalProperty
Multiple Types: Resource foaf:aimChatID is defined both as  
DatatypeProperty and as InverseFunctionalProperty
Multiple Types: Resource foaf:mbox_sha1sum is defined both as  
DatatypeProperty and as InverseFunctionalProperty

All of these could be reasonably handled by making them objects. I  
won't hold my breath. For all but the sha1sum, it seems there is a  
reasonable analogy to mailto:

-Alan

ps. foafers: the link named foaf-dev@lists.foaf-project.org on http:// 
xmlns.com/foaf/spec/ is to http://lists.foaf-project.org/mailman/ 
listinfo rather than to the expected mailto:foaf-dev@lists.foaf- 
project.org
Received on Saturday, 24 November 2007 01:45:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT