. "first order logic expression"@en . . "PERSON:Alan Ruttenberg"@en . . . . . . "An assertion that holds between an OWL Object Property and a string or literal, where the value of the string or literal is a Common Logic sentence of collection of sentences that define the Object Property." . . . "first order logic expression"@en .