A database logic for reasoning about objects: identity, inheritance, methods, etc. Makes these things computationally tractable in an LP paradigm. Most authoritative account by Kifer et al.
Used in Flora-2
Tonhofer's notes