W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: semantics status of RDF(S)

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 3 Apr 2001 12:41:03 +0100
To: sandro@w3.org
Cc: pfps@research.bell-labs.com, www-rdf-logic@w3.org
Message-Id: <OFA98101BA.50C8A3B2-ON41256A23.003F0F86@bayer-ag.com>


> ...
> I'm going to go out on a limb here and propose a solution that I think
> ...

I had to check http://www.dict.org/ for limb
OK.

> The definitional grounding for the relation_term and optionally for
> the other terms would be provided by:
>
>    english_definition(term, "This is English text which defines something").
>
> This approach allows semantics to be defined with arbitrary precision
> for humans by allowing the inclusion of entire textbooks or legals
> codes if necessary.  And it allows machine processing via the
> crude-but-effective mechanism of exact matching of strings.  In
> effect, English text strings become the unique-identifiers which
> people are using in RDF today.

that actually gave us some inspiration, but instead of using natural language
we experiment with N3 list notation such as

...
# <#Ax132> = (<#Type> <#item> <#Property>).
# <#Ax133> = (ko:means (<#PropertyValue> <#item> v:l v:x) (<#and> (<#Type> v:l <
#List>) (<#or> (<#PropertyValue> <#first> v:l v:x) (<#exists> (v:r) (<#and> (<#P
ropertyValue> <#rest> v:l v:r) (<#PropertyValue> <#item> v:r v:x)))))).
# <#Ax134> = (<#Type> <#versionInfo> <#Property>).
# <#Ax135> = (<#Type> <#imports> <#Property>).
# <#Ax136> = (<#Type> <#nil> <#List>).
# <#Ax137> = (<#not> (<#PropertyValue> <#item> <#nil> v:x)).
# <#Th10> = (<#PropertyValue> <#range> <#disjointWith> <#Class>).
# <#Th11> = (<#PropertyValue> <#domain> <#unionOf> <#Class>).
# <#Th12> = (<#PropertyValue> <#range> <#unionOf> <#List>).
# <#Th13> = (<#PropertyValue> <#domain> <#disjointUnionOf> <#Class>).
# <#Th14> = (<#PropertyValue> <#range> <#disjointUnionOf> <#Disjoint>).
...

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 3 April 2001 06:41:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT