Posted by leading-AI 4 hours ago
What is this AI slop doing at the top of HN? Come on, you don't even have to click through to know it's slop! It even has an en dash right in the title!
> Link type: The relationships between object types, supporting 1-to-1, 1-to-many, and many-to-many relationships.
Seems incredibly naive in terms of symbolic representation of knowledge. Maybe I spent too much time with OWL.
OWL 1, for example, has stuff like transitive properties (the classical example is A ancestorOf B, B ancestorOf C, therefore I can infer A ancestorOf C if I annotate ancestorOf as a transitive property).
Union, equivalence, inversion, symmetries, cardinality. Those are all possible to represent symbolic in OWL ontologies.
They're also neatly separated in different types (OWL Lite, OWL DL, OWL Full). OWL Lite and DL for example are proven to be decidable (you won't get some halt when doing inference, no matter what).
I know there are plenty of database engines to store triples and graphs, and plenty of reasoners out there.
I haven't studied OWL 2 yet or newer stuff like SHACL, but I know it's supposed to be even better.
Ontology is one of those fancy words that sounds important but is basically, as another poster pointed out, a standardized vocabulary.
Watch these old presentations by CA's then ceo Alexander Nix and extrapolate to today's AI world - https://www.youtube.com/watch?v=n8Dd5aVXLCc and https://www.youtube.com/watch?v=6bG5ps5KdDo (note the Q/A at the end here)
Also watch this interview with Christopher Wylie the CA whistleblower and again extrapolate to today's AI world - https://www.youtube.com/watch?v=FXdYSQ6nu-M
Be afraid, Be very afraid.