ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as

To: Frank Guerino <Frank.Guerino@xxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Barkmeyer, Edward J" <edward.barkmeyer@xxxxxxxx>
Date: Fri, 13 Jun 2014 15:42:33 +0000
Message-id: <a3bb8762263d4841be2c990166c6c2f7@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>

Frank,

 

Our particular application involved validating the contents of messages received from suppliers.   So what we need to capture is not just “Shipment XX1234 is in New York”, but rather “Message MM78910 says that Shipment XX1234 is in New York”.  And we have to compare that with other knowledge we have, and other reports we may have from other sources.  If there is no conflict in all that information, we can accept the statement as true, but when there is a conflict, some remedial action must be taken, lest the operations information base become inconsistent.  The particular USE of the named graph for “Shipment XX1234 is in New York” is as an operand of the RDF verb/predicate ...#asserts (which is just a clarification of ‘says’).  So that particular use/role of the Named Graph is an “assertion”.  That is, it is the intent of the message that the named graph be accepted as a fact.

 

You are right when you say that a named graph could be considered a ‘topic’ – a sentence that plays a role in verbs relating to conversation, of which assertion is a special case.  In a related way, a named graph may be used as an operand of RDF verbs/predicates that express “modalities”:  S is possible/impossible; S is required; S is desirable/undesirable; S is prohibited.

 

Others have discussed the use of the Named Graph as an operand of ...#causes, in which there are two roles for named graphs, loosely called “cause” and “effect”.  In that usage both named graphs might be taken as facts a priori, and the intent of the use is to relate them “causally”.  There are many other uses of named graphs for other purposes.  From a natural language point of view, I would say that a named graph is used whenever a sentence is the subject or object of the verb in another sentence.  In formal logic, a named graph is a particular representation of a ‘nominalized proposition’, literally a “proposition converted to a noun” (because ‘nouns’ and pro-nouns are the speech elements that play roles in verbs and thus in sentences, or equivalently, in other ‘propositions’).

 

BTW, you are also correct about named graphs being used as buckets of triples.  Used in that way, a named graph is a “knowledge management object” – a “set of knowledge” (only maybe a “theory”) that is manipulated as a body.  And in particular, that is a way in which metadata can be attached to parts of a knowledge base.  For example, this set of triples together represents a state of the world at a given time.

 

-Ed

 

 

--

Edward J. Barkmeyer                     Email: edbark@xxxxxxxx

National Institute of Standards & Technology

Systems Integration Division

100 Bureau Drive, Stop 8263             Work:   +1 301-975-3528

Gaithersburg, MD 20899-8263             Mobile: +1 240-672-5800

 

 

 

 

From: Frank Guerino [mailto:Frank.Guerino@xxxxxxxxx]
Sent: Thursday, June 12, 2014 7:56 PM
To: [ontolog-forum]
Cc: Barkmeyer, Edward J
Subject: Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as Nodes

 

Hi Ed,

 

Can I ask you (or anyone who might know the answer) to clarify why they're called "Assertions"?

 

I can certainly see them as being…

 

  • a topic
  • an index
  • or even just "a bucket of triples"

However, based on the English definition of the word "assertion," I don't think I understand their labeling as Assertions.

 

My Best,

 

Frank

--
Frank Guerino, Chairman
The International Foundation for Information Technology (IF4IT)
http://www.if4it.com
1.908.294.5191 (M)

 

 

On 6/11/14 5:03 PM, "Barkmeyer, Edward J" <edward.barkmeyer@xxxxxxxx> wrote:

 

Jack,

 

We also manage assertions.  This is one of the reasons why the RDF folk invented RDF Named Graphs -- a bucket of triples with an identifier.

 

-Ed

 


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

<Prev in Thread] Current Thread [Next in Thread>