From RDF Semantics ( 2004-02-10) (adj., of a logic) A set-based theory or logic of classes, in which classes are considered to be sets, properties considered to be sets of object, value pairs, and so on. A theory which admits no distinction between entities with the same extension. See Intensional .