first order logic expression
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.
PERSON:Alan Ruttenberg
first order logic expression
logical macro assertion on an object property