RE: An idea I need help with, or told to stop wasting time on!

Hi!

Just a few notes concerning your ideas and OWL DL (I don't know whether this
is important for you or not, but some people might find it relevant):

Nathan wrote:

>1: Introduce a 'value' property
>
>Where currently we can say:
>  :me foaf:name 'nathan' .
>
>I'd propose introducing an ex:value property that allows us to say:
>  :me foaf:name [ ex:value 'nathan' ] .
>or
>  :me foaf:name :myname .
>  :myname ex:value 'nathan' .

The FOAF spec defines foaf:name as a owl:DatatypeProperty [1], and therefore
cannot be used in OWL DL with blank nodes (representing anonymous
individuals) or URIs (representing named individuals) in object position. No
problem with RDF(S) or OWL Full, though.

>I'm hoping the basic human understanding of this is pretty obvious,
>sorting out the domain & range of ex:value, class of :myname, ontology
>details and related are hurting my head a bit at the minute.
>
>And thus you could describe a value:
>
>  :me foaf:name [
>      ex:value 'nathan' ;
>      ex:type xsd:string ;

In OWL DL, you cannot use a datatype name in the object position of an
object or data property (ex:type will be either an object property or a data
property). If this was a typo and you really mean "rdf:type", it is still
not allowed in OWL DL, since xsd:string is not a class in OWL DL. Again, it
is fine in RDF(S) or OWL Full.

>And do some funkier stuff:
>
>  :me foaf:mbox :myemail ;
>  :myemail ex:value <mailto:nathan@webr3.org> ;

Above, you use ex:value with literals, but here you use it with a URI. In
OWL DL, you have to decide for one: either ex:value is a data property, then
URIs are not allowed; or it is an object property, then literals are not
allowed. Again, no problems with RDF(S) and OWL Full.

Michael

[1] http://xmlns.com/foaf/spec/20100101.rdf

--
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================

Received on Sunday, 6 June 2010 20:59:04 UTC