Re: [ontology-summit] [ReusableContent] Partitioning the problem

[Tara Athan <taraathan@xxxxxxxxx>]

On 1/29/14 2:33 PM, John McClure wrote:

I'm told RDF was meant to be a proper subset, to avoid the so-called complexity of FOL and its tools.

I suggest you read the RDF semantics (http://www.w3.org/TR/rdf-mt/) to understand its relationship to FOL. The short answer is that if RDF were translated to FOL, then the names that occur in the subject, predicate and object positions of a triple would all be individual constants that are arguments for an implicit predicate that is informally called "Triple" in  http://www.w3.org/TR/rdf-mt/#sinterp.

The RDF triple
a b c.

becomes the FOL

Triple(a, b, c)

NOT

b(a, c)

So by your argument, all RDF predicates should be nouns.

Tara

_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2014/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014  
Community Portal: http://ontolog.cim3.net/wiki/     (01)