Notices by a (a@fedi.layer02.net)
-
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 14:21:53 JST 
a
@sun @lnxw37j1 "owl reasoning"
https://www.w3.org/2001/sw/wiki/OWL/Implementations
there are possibly more but idk if there's erl/ex stuff out there specifically (curse of nonexistent tooling strikes again) -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 13:43:01 JST
a
@sun @lnxw37j1 owl defines itself as inheriting from (subclassOf) rdfs stuff, so you can use just owl if you want (with rdfs things sprinkled in like label/comment/domain/range/subClassOf/subPropertyOf), but some more limited ("owl lite" and "owl dl") inferencers will not be able to pick up on equivalences in certain cases. so it matters to them that you need to subclass from owl:Class, because rdfs:Class is not enough
"owl full" doesn't have this issue iirc -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 13:07:05 JST
a
@lnxw37j1 @sun this stuff is really killer in academic and life sciences fields -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 13:03:57 JST
a
@sun @lnxw37j1 have a look https://www.w3.org/2002/07/owl# -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 13:03:00 JST
a
@sun @lnxw37j1 basically rdfs lets you define the domain and range of properties, give things labels and comments
owl lets you place restrictions like "this property can have at most 1 value" or even more complicated stuff to do with formal logic and set theory -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 13:01:42 JST
a
@sun @lnxw37j1 rdfs (RDF Schema) and owl (Web Ontology Language) are the standard for this kind of stuff -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 12:59:45 JST
a
@sun @lnxw37j1 to be fair, flattened form is really the more natural way to express what is going on, it hides less of reality than other forms. you should generally be working in expanded or flattened form, preferably flattened if you're going to be cross-referencing nodes in multiple places. (just filter the @graph for a matching @id)
-
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 27-Sep-2024 12:47:46 JST
a
@sun @lnxw37j1 the main thing that people have against it is that it represents "unnecessary complexity", the whole YAGNI argument. and if all you're interested in doing is passing text around, then sure, it's overkill. but if you want to be able to know things and manage a knowledge graph, then it suddenly becomes useful. admittedly, not many people think of their communications as a knowledge graph, but once you publish them as web resources, it makes sense to treat them as one. especially if you want to query that knowledge graph while also handling extension properties. -
Embed this notice
a (a@fedi.layer02.net)'s status on Friday, 06-Sep-2024 14:24:31 JST
a
@lnxw37j1 i think there’s actual benefits to memory safety but there’s also a cost to throwing away everything you already have that more or less already works -
Embed this notice
a (a@fedi.layer02.net)'s status on Monday, 03-Jun-2024 06:58:14 JST
a
@lnxw37j1 > Robert Cherry is an American Enterprise Institute affiliate -
Embed this notice
a (a@fedi.layer02.net)'s status on Tuesday, 19-Mar-2024 19:55:50 JST
a
@Moon unrelated but i clicked to their other articles and saw one with the summary
"First they came for the Verified Blue Checks. Then they came for the software developers. Then the journalists left. Then they came for everyone else."
and i want to scream at them like wtf are you saying -
Embed this notice
a (a@fedi.layer02.net)'s status on Tuesday, 19-Mar-2024 19:55:49 JST
a
@Moon twitter fuckin dead to me when they started pushing trends and for you and news, when jack dorsey said they weren't a social network. ain't no way you gonna get me to give a goddamn shit about blue checks -
Embed this notice
a (a@fedi.layer02.net)'s status on Tuesday, 19-Mar-2024 15:55:46 JST
a
@Moon not that they had covid, they just had a heart attack from arguing about it with everyone -
Embed this notice
a (a@fedi.layer02.net)'s status on Thursday, 14-Mar-2024 07:44:40 JST
a
@shibao @okabe_rintarou i read your writefreely -
Embed this notice
a (a@fedi.layer02.net)'s status on Wednesday, 13-Mar-2024 02:25:07 JST
a
@Moon we have GOT to make a better Fediverse -
Embed this notice
a (a@fedi.layer02.net)'s status on Monday, 11-Mar-2024 03:44:40 JST
a
@lain @disarray i went there once -
Embed this notice
a (a@fedi.layer02.net)'s status on Saturday, 02-Mar-2024 02:13:55 JST
a
@nik intp, i think -
Embed this notice
a (a@fedi.layer02.net)'s status on Wednesday, 28-Feb-2024 13:41:26 JST
a
@Moon honestly you didn't miss much, i don't think -
Embed this notice
a (a@fedi.layer02.net)'s status on Sunday, 25-Feb-2024 17:23:44 JST
a
"is eastern european city planning better than usa" - the greatest thread in the history of fedi, blocked by your friends after 12,239 posts of heated debate, -
Embed this notice
a (a@fedi.layer02.net)'s status on Thursday, 15-Feb-2024 07:31:31 JST
a
@disarray feddyclock jade disarray for
- pretending to be trans when she is actually cis
- being trutrans
- working for an evil company doing evil things (computer touching)
- she's a techbro honestly
- in the past she did some really fucked up stuff, i will not elaborate just take my word for it (it's actually true trust me)
- uses her company to allow ddosing of falsely accused innocent groomers
- is literally headmates with joshua moon of kiwifarms fame (and they were both lesbians) (she will deny this as a conspiracy theory)
- interacts with eris (layer02 is unmoderated}
[[did i miss anything]]
All GNU social JP content and data are available under the