- 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
> ... > 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 UTC