Kosmion Log
t.2024.08.08.13
- "micro-graph" approach, where each relator is its own named graph, might have some benefits
- maybe you could preserve (some of) the classic S-P-O approach, layering on @christopher-welty's Ontology for Fluents
t.2024.08.17.12
- everything that exists has some physical aspect, but some physical systems have sub-systems that support "aphysical (supra-physical) things", and it can be useful to speak of those as universes of their own and abstract away the "physical-prime" context (that is kinda boring because it subsumes everything else). Call them supra-universes or subcontexts, eg., a functioning brain, an operating computer, a networked game.
- versioning everywhere... major signals breaking change, so there's value in using the major version with no minor specific as an alias to "latest minor"
- there's value in aliasing your ontology to other used ontologies... avoids a profusion of namespacing. Maybe you don't like that other guy's uptime or prefix choices
- how much of starting with a conventional ontology leak into Relator-based predication.
- as long as the reference is unique, you can do nice aliasing that cuts through
t.2024.08.17.13
- holonic RDF, where each level of aggregation gets its own versioning
- used-version
- WHAT WAS that Cool Uris tech for appending stuff
t.2024.10.11.12
- using gUFO as a guide, my head is starting to swim.
t.2024.10.13.07
- PROV-O has
qualifiedInfluence
and its subproperties:
- prov:qualifiedAssociation
- prov:qualifiedRevision
- prov:qualifiedInvalidation
- prov:qualifiedPrimarySource
- prov:qualifiedDerivation
- prov:qualifiedGeneration
- prov:qualifiedUsage
- prov:qualifiedQuotation
- prov:qualifiedStart
- prov:qualifiedAttribution
- prov:qualifiedEnd
- prov:qualifiedCommunication
- prov:qualifiedDelegation
t.2024.10.15.11
- RelatorCatalog per entity collects all the RelatorSets, which are datasets where the default graph (mutable) points to the immutable named graphs.
- pointer isn't strictly necessary, but might speed querying, aid distribution-packing, or be used for consistency checking
- damn, brain not working, why did we need a catalog of relatorsets?
- well, all the info about an entity might be split across different datasets.
- the fact that there's not an inverse property for dcat:dataset might be a hint, but it seems like data should be allowed to join itself?
- Another reason for separating names from downloadURLs, you might want to shadow-recreate something on your own (or with local files)
t.2024.10.15.12
- using IRI refs instead of anyURI helps clear the clutter, but maybe there'd be cases where you want to preserve a sourceURL and change the prefix
- things aren't literally immutable in github, but quasi-immutability (aka stable) is better... allows you to preserve history but take out PI, typos, and embarassments.
- for concision, maybe the "current relator" gets duplicated into the placeholder/primary entity?
- it makes sense to be able to come at things from both ways, with atoms making claims on collectives/entities. named graphs as atoms probably makes the most sense.
- atomicity is a facit.
- datatype-property-carrying
- conventional RDF, esp. class hierarchy, only for interfacing with RDF and owl: only for owl.
- ethos is: it's just guidelines. so lots of things should be in the
t.2024.10.15.16
- http://www.w3.org/ns/prov#Agent should be a sublass of Entity? Or mayb eit doesn't matter.
- probably I just just go for it, make kosm: the one stop shop for fixing everyone else's issues and integrating it. A ruthless and misleading-ish approach would be to steal the most popular terms.
- review 'em for
- domain and range are reasonable
- document is literal, sense is IRI.
- could use a new datatype for IRI that includes folder hierarchy pattern matching, I guess I can leave that to the computers to develop. we're just at v0 buddy.
- is the time to modularize: right from the start?
- full, core, facet-stereotypes, borrowed terms/mnemonic forks.
- can you make a property's subproperty require different things
- e.g downloadURL, homepageURL, et al subproperty downloadIRI. ie.., a superproperty for objectprop/dataprop
- it's going to be so great, you'll want to use quasi-immutable, facet-oriented RDF for your ontologies too.
- make two versions avail, one with owl:includes, or rather kosm:includes means the same thing
- everything is a data catalog, or rather, every decent (kosmethodology-compliant entity) is
t.2024.10.24.06
- maybe a "semantic repo" is the top-level concept, with:
- ns/entity
- ns/graph
- ns/dataset
- ns/catalog
t.2024.10.24.11
- maybe a dataset defines a graph of exportable data... stuff that's not about the dataset (i.e., no metadata). This is the "metadata lives in the default graph" pattern
- maybe differentiate between EssentialsCatalog and RelevantCatalog, or just have the catalogs specify
t.2024.10.24.14
- maybe need a ReverseList,
- would it work with last and rest?
t.2024.10.25.13
- a rdf triple (or Relator Compound) is not necessarily an assertion, it is just a configuration of content units or at best a statement.
t.2024.10.31.03
- removed chatgpt memories:
- Foundational ontology, Kosmion, enables domain ontologies to capture distinctions, overlap, and temporality of the physical, social, mental/conceptual, and representational/digital modalities without encumbering them with restrictions or too much complexity.