Dataset with classes/things and properties


I am playing around with some GOFAI in Prolog and was looking for a dataset/ontology for various things, their classes and properties. E.g. what is a shark, to what classes does it belong and what properties does it have (properties are kind of important). Preferably with a wider scope (i.e. not just fishes).

Does anybody know where I could find something like this? I guess there might be various owl ontologies but I am bit lost and don’t know how to “port” them to Prolog.

Any pointers would be appreciated!


LPA’s flex might be helpful. More details here).

The grand-daddy of all this is KL-ONE. At the extreme end, there’s Cyc. Good luck! – it’s a fascinating field, but people keep on finding NP problems. :wink:
[I dabbled in this years ago, with medical ontologies. “Aspirin” was a classic example - it’s an anti-pyretic, anti-inflammatory, anti-coagulant, causes stomach upset (unless buffered), has various interactions, etc., etc.]


Thanks for the suggestions! OpenCyc looks interesting!