Curious ... rather than trying to use named graphs to represent Messages, did you even consider modelling Messages and its content in your ontology? In your scenario, that seems a reasonable thing to do ... or maybe that's the 15926 in me talking, although that idea is in PLCS too.
We're working on our third EPIM semantic data hub project called LogisticsHub and it sounds like we have very similar requirements, except ELH is tracking cargo containers and the locations are RFID readers.. We've not needed to use named graphs to manage the message validation though, so that's why I'm curious.
We've found in this and previous projects is that RDF/OWL named graphs are usually better used as the "bucket of triples" for more practical/bookkeeping tasks like access control, caching, managing automated update of background facts, deleting data when a new version of the same report data needs to be uploaded to fix errors, versioning schemas, etc. There are, of course, times when things are just too complex (e.g. like very complex access control rule requirements) to be handled using named graphs. In those cases, you just have to model your way out of trouble ... at least that's what we've found.
UK +44 7788 561308
US +1 336 283 0606
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.
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
Cc: Barkmeyer, Edward J
Subject: Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as Nodes
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. --
Frank Guerino, Chairman
The International Foundation for Information Technology (IF4IT)
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.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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