Show newer

anyway we¦re ALMOST done i just need to add AWOL

Show thread

anyway i don¦t really care; i¦m not expecting anyone to actually use this Full Ontology for anything, it¦s supposed to be subsetted, but i do need to like, do a basic sanity check to make sure it isn¦t inconsistent, at least

Show thread

one of the big bottlenecks apparently is the fact that i have multiple classes with

“rdf:value exactly 1
rdf:value only xsd:string”

i have no idea why THIS is the thing making everything slow, but when i remove it the speed increases are Quite Substantial

Show thread

« Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle. » well i guess we¦re quickly trucking into that second category huh

Show thread

« Ontologies processed in 265036 ms by HermiT » 😬

i’m not saying they aren’t effective examples but i do take small amounts of psychic damage every time i read the Owl 2 specification

Show thread

« The last axiom in the ontology is necessary to derive the mentioned conclusion; without it, the open-world semantics of OWL 2 would allow for situations where a:Quagmire is the same as a:Peter, a:Lois, a:Stewie, a:Meg, a:Chris, or a:Brian. » heaven forbid

why is an animated gif an image?

Show thread

foiled also by the problem of decidability but that’s nothing new

Show thread

servo, it’s cute that you added tabs to your browser but you still can’t right‐click

this website is such hacky shit but you know what! i don’t care!!

Show thread

foiled by macOS case‐insensitivity yet again

everyone calls it the “small web” or “indie web” or whatever because anarchists are terrible at branding

i didn’t spend ALL night dreaming about rdf vocabularies because i spent at least some of it dreaming about a silly cdrama

in fairness it does state, more precisely, just “typically intellectual property”, but the preceding words are “information thing of value”, and, you know, intellectual property is how value is produced for information things, so

Show thread
Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.