RE: Semantic Domain Driven Development

Sebastian,

You mentioned set theory. For discussion, I wonder what you think of the relationship between a set and the its set membership function’s expression (in conjunctive normal form)? Also, what do you think of the relationship between a set’s set membership function (in conjunctive normal form) and constraints on variables defined to be of said set, e.g. constraints with respect to unification?

Also, as useful, on the topic of N-ary relations (https://www.w3.org/TR/swbp-n-aryRelations/<https://www..w3.org/TR/swbp-n-aryRelations/>), one could always create a new syntax:

@namespace ns1 http://www.example.org/namespace1
@namespace ns2 http://www.example.org/namespace2

ns1:f(ns2:x, ns2:y, ns2:z).

which could be processed to and from RDF while presenting humans and some software applications with convenient predicate calculus expressions.

Automatically-generated user interface elements and layouts is also an interesting topic.


Best regards,
Adam

From: Sebastian Samaruga<mailto:ssamarug@gmail.com>
Sent: Sunday, January 24, 2021 7:56 PM
To: semantic-web at W3C<mailto:semantic-web@w3c.org>
Subject: Semantic Domain Driven Development


Had time lastly and I'm using it in the outline of a "Semantic" framework that I'd like to build for so long. Always "in paper" but I think I've had made progress and came to something. I'd like to have some feedback to start working on this.


I'll use the description of the most fundamental use case that I'm trying to solve that recently I've tried to explain to a friend to see if someone sees a chance of something on this:


By now, I have a draft of the data structures (Statements classes) for the inferences / APIs I need (Functional Programming) expresed in terms of Sets Theory to match, aggregate and sort hierarchies of classes instances, statements, resources (URNs).


Features / Problems to solve:


Type inference, ontology (data, schema, behavior) matching, aggregation, order. Not finding clearly defined how to aggregate or sort quads / triples.


N-ary Relations: Implement how are descripted in: https://www.w3.org/TR/swbp-n-aryRelations/<https://www..w3.org/TR/swbp-n-aryRelations/> (ISO15926) in a DCI pattern.


What I'd like to do / have now is a kind of "semantic hashing" that allows to obtain the relationships between identifiers embedded in the URNs: https://www.w3.org/TR/did-core/ (Semantic Hashing).


Then, the use case is to do Domain Driven Development (isis.apache.org<http://isis.apache.org> is a good example) but in base (declaratively based) upon, for example, a database dump or the description of a serie of services or application to integrate APIs.


From the metadata embedded, for example, in the dump's data and schema or APIs it could be "discovered" what is "about" the application to integrate in its domain (forms, workflows, etc.) and expose it as services to consume in a synchronized manner with the original application.


Upon this, instances of differents "learnt" domains are able to be "merged" and to contemplate integration of schema and functional in a single platform and uniform API in a single facade / client with a REST HATEOAS pattern (MVC / DCI).


https://en.m.wikipedia.org/wiki/HATEOAS

https://spring.io/projects/spring-hateoas

https://dci.github.io/


Example: Semantic Web Alignment Theory.

http://xml.govwebs.net/stratml/references/SemanticWebAlignmentTheory.<http://xml.govwebs.net/stratml/references/SemanticWebAlignmentTheory.pdf>


https://github.com/sebxama/scrapbook

Regards,
Sebastián.