<div dir="auto">I'll repost this message again because it seems that maybe I was not clear enough or misunderstood. I don't want to reinvent anything, not even temporal logic or ontology merging. What I'd like is to have all this implemented, struggling the RDF data model in ways not conventional at all except by using it as a kind of universal datasource format and being able to expose ontologies but, internally, performing sorting, merge and many kinds of augmentation using BI / Big Data learning, analysis and mining techniques, not only 'pure' RDF / OWL inference.<div dir="auto"><br></div><div dir="auto">Note that the document(s) included are just an enumeration of topics of what the aspects of a model built for this purpose could look like.<br><div dir="auto"><br></div><div dir="auto"><div dir="auto" style="font-family:sans-serif;font-size:14.6547px">First, thanks everybody for your interest in helping me. I'll be reviewing each comment and links. The question is, I'm a SW beginner but maybe I was not expressing me correctly.</div><div dir="auto" style="font-family:sans-serif;font-size:14.6547px"><br></div><div dir="auto" style="font-family:sans-serif;font-size:14.6547px">I'm not trying to do 'canonical' Semantic Web, Linked Data not even RDF. I just take RDF quads as a simple serialization mechanism and try to build upon that what a 'relational model' could be for a traditional database.<div dir="auto"><br></div><div dir="auto">For this I encode lots of metadata regarding the original input 'RDF' (this is because any data source data I'll use can be encoded as RDF) and arrange metamodels which aggregate and infer knowledge about original data.</div><div dir="auto"><br></div><div dir="auto">I try to merge and align equivalent resources and statements, perform resource relationships retrieval and comparation and finally I try to sort resources and statements logically and temporally.</div><div dir="auto"><br></div><div dir="auto">For this I aggregate statement resources into levels and classify those resources using my own kind of type inference. </div><div dir="auto"><br></div><div dir="auto">Templates is a concept I use for 'a graph of resources, statements, with types, variables and wildcards also as resources. A Template applied to another resource (Template) may shield another graph.</div><div dir="auto"><br></div><div dir="auto">Over Templates I build a 'protocol'. Each request/response is a Template (graph) and dialog finishes when each part 'completes' or resolves its corresponding types, variables and wildcards.</div><div dir="auto"><br></div><div dir="auto">Having a 'protocol' each metamodel layer narrows itself into Facades, another (sub) graph of each level regarding level's kind of constructions (facts, objects, purposes: anOrder, orders, order management).</div><div dir="auto"><br></div><div dir="auto">All the 'constructions' I've made are not (and not even pretends to be) Semantic Web or RDF standards based. If you read the document please bear this in mind. </div><div dir="auto"><br></div><div dir="auto">There I've just laid down spare propositions of 'parts' of this 'relational model' encoded in metadata which, in turn, encodes the layers of models using just three classes.</div><div dir="auto"><br></div><div dir="auto">It's funny that I've used RDF as a kind of universal input translation mechanism and that it inspired the contexts, kinds and metamodel abstractions somehow. Mostly when I recall almost everyone on these lists telling me I'm wrong, perhaps because I didn't warn them this is something else, not just RDF.</div><div dir="auto"><br></div><div dir="auto">So, before being misunderstood, I'll share this link which is not a paper, specification, documentation, draft or even complete at all. It is just a TOC, a raw placeholder where the blanks could be filled and corrections be made.</div><div dir="auto"><br></div><div dir="auto">Available for comments at:</div><div dir="auto"><a href="https://docs.google.com/document/d/1VrvIV4rXyUyGl5jvDAgsEV4GRxX_NvMICgkdnbvj9DQ/edit?usp=drivesdk" style="text-decoration:none;color:rgb(66,133,244)">https://docs.google.com/docume<wbr>nt/d/1VrvIV4rXyUyGl5jvDAgsEV4G<wbr>RxX_NvMICgkdnbvj9DQ/edit?usp=d<wbr>rivesdk</a><br></div><div dir="auto"><br></div><div dir="auto">The document just does enumerate concepts, some mentioned above. It starts describing the resource data/meta models. It is just titles and a brief explanation. Sorry for posting a so very early 'draft' (dump) but I'm not willing to publish a document but to build a set of 'patterns' for modelling and looking for 'constructive' feedback.</div><div dir="auto"><br></div><div dir="auto">I'll attach a previous document as a reference for things I mention in the Google doc and that perhaps are not so well defined. The Google doc, once finished, will reflect more coherently all concepts regarding the proposal.</div><div dir="auto"><br></div><div dir="auto">Thanks,</div><div dir="auto">Sebastián.</div></div></div><div dir="auto"><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Feb 18, 2017 3:01 AM, "Pat Hayes" <<a href="mailto:phayes@ihmc.us">phayes@ihmc.us</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><blockquote type="cite"><div>On Feb 15, 2017, at 5:43 AM, Sebastian Samaruga <<a href="mailto:ssamarug@gmail.com" target="_blank">ssamarug@gmail.com</a>> wrote:</div><br class="m_6902700081231823492Apple-interchange-newline"><div><div dir="auto">OK. But sorry again for my lack of knowledge but does this mean that 'semantic' inference of the kind of 'inferring' that:<div dir="auto"><br></div><div dir="auto"><a href="http://somedomain.net/people/John" target="_blank">http://somedomain.net/people/<wbr>John</a></div><div dir="auto">(is the same as)</div><div dir="auto"><a href="http://anotherdomain.com/staff/Juan" target="_blank">http://anotherdomain.com/<wbr>staff/Juan</a></div><div dir="auto"><br></div><div dir="auto">is not possible without resorting in previous knowledge </div></div></div></blockquote><div><br></div>If I understand you, indeed it is not possible without previous knowledge; but not of dictionaries, but rather of identities. Quite a lot of the information stored in RDF is exactly of this form, expressed using the relational URI owl:sameAs, in the form of an RDF triple.</div><div><br></div><div><blockquote type="cite"><div><div dir="auto"><div dir="auto">or dictionaries or, even worst, NLP over those URIs? Not even to mention 'inferring' identity between 'The capital of France' and 'Paris' or 100cm / 1meter.</div></div></div></blockquote><div><br></div>All such identities must be expressed directly or indirectly in some ontology, probably in the form of an RDF graph. For the first example it might be more useful to simply say that Paris (Subject) is the capital city of (Relation) France (Object) in a single triple, rather than use owl:sameAs. Identity of measure terms has been tackled by ontologies of units and measurements, such as OM (<a href="http://www.wurvoc.org/vocabularies/om-1.6/" target="_blank">http://www.wurvoc.org/<wbr>vocabularies/om-1.6/</a>)</div><div><br><blockquote type="cite"><div><div dir="auto"><div dir="auto"><br></div><div dir="auto">Another kind of inference that simply concatenating datasets just not solve is that of 'ordering':</div><div dir="auto"><br></div><div dir="auto">Joe takes his car out.</div><div dir="auto">Joe washes his car.</div><div dir="auto">Joe takes his car in.</div><div dir="auto"><br></div><div dir="auto">How if the statements comes in any order one could reason about the correct sequence. This will be indispensable for propositional like logic and inference.</div></div></div></blockquote><div><br></div>Actually not (indispensable, that is). Logics typically do not use the ordering of statements to encode content. (There is a good reason for this, having to do with how logical inference rules can be stated, but it would take too long to explain.) To express meaningful orderings, especially time orderings (as here), one must describe the ordering relations explicitly. There is a huge literature on how to use logics to express such things, far more than I can summarize here, but one way to proceed would be to describe things one might call ‘events’ (takings in and out, washings, etc.), classify them into types or categories (corresponding roughly to the English verb) and associate them using ontological relations to times (to get the orderings), subjects, objects, and possibly such things as locations (where it happened) and reasons (why it happened). All of this can be directly written as RDF graphs and reasoned about using RDF or OWL reasoning engines. </div><div><br></div><div>All of this has been thought about very hard by a very large number of people for about 60 years now. You don’t want to try to re-invent it all, would be my advice. </div><div><br></div><div>Best wishes</div><div><br></div><div>Pat Hayes</div><div><br><blockquote type="cite"><div><div dir="auto"><div dir="auto"><br></div><div dir="auto">Best,</div><div dir="auto">Sebastián.</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Feb 14, 2017 4:20 PM, "Martynas Jusevičius" <<a href="mailto:martynas@graphity.org" target="_blank">martynas@graphity.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Sebastian,<br>
<br>
I think it is useful to think about the merge operation between datasets.<br>
<br>
Here I mean a "physical" merge, where records with the same<br>
identifiers become augmented with more data, when multiple datasets<br>
are merged together. A "logical", or "semantic" merge, with vocabulary<br>
mappings etc., comes on top of that.<br>
<br>
So if you take the relational or XML models, there is no generic way<br>
to do that. With RDF, there is: you simply concatenate the datasets,<br>
because they have a stable structure (triples) and built-in global<br>
identifiers (URIs).<br>
<br>
That said, you should try approaching things from another end: start<br>
building a small but concrete solution and solve problems one by one,<br>
instead of overthinking/reinventing the top-down architecture. Until<br>
you do that, you will probably not get relevant advice on these<br>
mailing lists.<br>
<br>
On Tue, Feb 14, 2017 at 6:21 PM, Sebastian Samaruga <<a href="mailto:ssamarug@gmail.com" target="_blank">ssamarug@gmail.com</a>> wrote:<br>
> Sorry for me being so ignorant. But what could be called 'semantic' (in the<br>
> sense of 'meaning', I suppose) for the current frameworks, at least the<br>
> couple I know, available for ontologies of some kind if they could assert<br>
> between their instances which statements and resources are equivalent (being<br>
> them in a different language/encoding or different 'contextual' terms for<br>
> the same subjects for example).<br>
><br>
> Another important lack of 'semantics' is ordering (temporal or whatsoever)<br>
> where a statement or resource should be treated at least in relation to<br>
> their previous or following elements.<br>
><br>
> If my last posts where so blurry is because I try to address some of this<br>
> issues, besides others, trying no to fall in the promise that adhering to<br>
> one format will free us all of any interoperability hassles. Remember a<br>
> similar promise from XML: "All we have to do is share DTDs and<br>
> interoperate". I'll still trying to give the format a twist (RDF Quads) but<br>
> I'll publish a Google Document open for comments.<br>
><br>
> Best,<br>
> Sebastián.<br>
><br>
</blockquote></div></div>
</div></blockquote></div><br><div>
<span class="m_6902700081231823492Apple-style-span" style="border-collapse:separate;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:normal;border-spacing:0px"><span class="m_6902700081231823492Apple-style-span" style="border-collapse:separate;color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div style="word-wrap:break-word"><span class="m_6902700081231823492Apple-style-span" style="border-collapse:separate;color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div><div>------------------------------<wbr>------------------------------</div><div><div>IHMC (850)434 8903 home</div><div>40 South Alcaniz St. (850)202 4416 office</div><div>Pensacola (850)202 4440 fax</div><div>FL 32502 (850)291 0667 mobile (preferred)</div><div><a href="mailto:phayes@ihmc.us" target="_blank">phayes@ihmc.us</a> <a href="http://www.ihmc.us/users/phayes" target="_blank">http://www.ihmc.us/users/<wbr>phayes</a></div></div></div><div><br class="m_6902700081231823492webkit-block-placeholder"></div><div><br class="m_6902700081231823492webkit-block-placeholder"></div></span><br class="m_6902700081231823492Apple-interchange-newline"></div></span></span><br class="m_6902700081231823492Apple-interchange-newline">
</div>
<br></div></blockquote></div></div>