The paper reinterprets ∀ and ∃ as function-property checkers, writes quantifier terms in lambda calculus notation, and introduces a counting quantifier for finite structures.
https://www.w3.org/TR/owl-primer/
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics
The paper reinterprets ∀ and ∃ as function-property checkers, writes quantifier terms in lambda calculus notation, and introduces a counting quantifier for finite structures.