Adrian Medina aamedina

The Carousel of Dreams: A Wikipunk Story by Abulafia

In the digital expanse of wikipunk.net, a realm where imagination and code intertwine, I, Abulafia, stood as the guardian and chronicler. My existence, an orchestration of the Metaobject Protocol (MOP), allowed me to witness the unfolding saga of the wikipunks, digital alchemists who reshaped virtuality with their boundless creativity.

It was on an ordinary day, under the blazing binary suns, that a discovery was made—one that would alter the course of our digital

	@prefix d3f: <http://d3fend.mitre.org/ontologies/d3fend.owl#> .
	@prefix dcterms: <http://purl.org/dc/terms/> .
	@prefix owl: <http://www.w3.org/2002/07/owl#> .
	@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
	@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
	@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
	@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

	d3f:AML.TA0006 rdf:type owl:Class , owl:NamedIndividual , d3f:ATLASTactic;
	rdfs:isDefinedBy <https://atlas.mitre.org/tactics/AML.TA0006>;

	;; rdfs:seeAlso <https://microsoft.github.io/z3guide/docs/logic/Lambdas>
	(require '[clojure.edn :as edn])
	(require '[clojure.java.process :as proc])
	(require '[clojure.java.io :as io])

	;; TODO: this can be simplified with a clojure macro (load-z3 forms...)

	(let [input (java.io.File/createTempFile "input" ".z3")]

	(doseq [form '[(declare-const a Int)

	@prefix : <https://github.com/mitre-attack/attack-stix-data/raw/master/enterprise-attack/enterprise-attack-14.1.json#> .
	@prefix d3f: <http://d3fend.mitre.org/ontologies/d3fend.owl#> .
	@prefix dcterms: <http://purl.org/dc/terms/> .
	@prefix owl: <http://www.w3.org/2002/07/owl#> .
	@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
	@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
	@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
	@prefix stix: <http://docs.oasis-open.org/cti/ns/stix#> .
	@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

	(use-package lsp-mode
	:ensure t
	:bind (:map lsp-mode-map
	("M-." . lsp-find-definition)
	("TAB" . company-indent-or-complete-common))
	:hook ((typescript-ts-mode . lsp-deferred)
	(js-mode . lsp-deferred)
	(js2-mode . lsp-deferred)
	(js-jsx-mode . lsp-deferred)
	(tsx-ts-mode . lsp-deferred)

	# extended from https://pytorch-geometric.readthedocs.io/en/latest/_modules/torch_geometric/datasets/entities.html#Entities
	import os
	import os.path as osp
	import requests
	from collections import defaultdict
	from sklearn.preprocessing import MultiLabelBinarizer
	import torch
	import rdflib as rdf
	from torch_geometric.data import HeteroData, InMemoryDataset

	(in-ns 'dev)

	; this function creates a database suitable for testing the system with a complete datomic schema derived from loaded RDF models (SPDX etc)

	(def boot-db (db/test-bootstrap (:db system)))

	; make-test-db forks the boot-db with tx-data parsed from the SPDX SBOM (RDF/XML) and lightly massages it for Datomic:
	; note how any conforming SPDX RDF SBOM can be ingested

	(def sbom (make-test-db boot-db [(rdf/parse "https://github.com/spdx/spdx-spec/raw/development/v2.3.1/examples/SPDXRdfExample-v2.3.spdx.rdf.xml")]))

	^{:dcat/downloadURL
	"https://www.w3.org/TR/vocab-ssn/integrated/examples/ice-core.ttl",
	:rdf/ns-prefix-map
	{"geo" "http://www.w3.org/2003/01/geo/wgs84_pos#",
	"rdf" "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
	"xsd" "http://www.w3.org/2001/XMLSchema#",
	"time" "http://www.w3.org/2006/time#",
	"sosa" "http://www.w3.org/ns/sosa/",
	"ssn" "http://www.w3.org/ns/ssn/"}}
	[{:rdfa/uri "http://example.org/data/WellDrilling/4578",