𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A first order theory of bibliographic objects

✍ Scribed by Karen Wickett; Allen Renear

Publisher
Wiley (John Wiley & Sons)
Year
2009
Tongue
English
Weight
116 KB
Volume
46
Category
Article
ISSN
0044-7870

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We present a characterization of the core entities and relationships of the Functional Requirements for Bibliographic Records (FRBR) in first order logic. Evidence from the text and diagrams in FRBR support the identification of axioms that capture the constraints and assumptions built into the model. The result is an axiomatic system that clarifies the meaning of the specification. This approach provides a more systematic way of clarifying ambiguities and confusions in the interpretation of FRBR than separate analyses of individual problems and allows scholars and system builders concerned with bibliographic theory to clarify their interpretation of the specification prior to the choice of an implementation language, such as RDF or OWL.

πŸ“œ SIMILAR VOLUMES

Fregean Extensions of First-Order Theori
Fregean Extensions of First-Order Theories
✍ John L. Bell πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 205 KB

## Abstract It is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in the __Grundgesetze der Arithmetic__ is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural a

On translations of complete first order
On translations of complete first order theories
✍ Seyed Mohammad Bagheri πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 134 KB

## Abstract In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

Interpolation theory and first-order bou
Interpolation theory and first-order boundary value problems
✍ W. N. Everitt; A. Poulkou πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 160 KB

## Abstract This paper discusses the connection between Kramer analytic kernels derived from first‐order, linear, ordinary boundary value problems represented by self‐adjoint differential operators and one form of the Lagrange interpolation formula, and treats the dual formulation of the sampling p

Theory of Switching in Bulk First-Order
Theory of Switching in Bulk First-Order Ferroelectric Materials
✍ Eng-Kiang Tan; J. Osman; D.R. Tilley πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 202 KB

A detailed account of switching and related properties of bulk first-order ferroelectric materials is given. The ferroelectric is described by the Landau-Devonshire free energy and all the results are given in terms of dimensionless variables so that they are generally applicable. In the first part