|AM Posters 2009||START Conference Manager|
The Functional Requirements for Bibliographic Records (FRBR) presents a conceptual model of the objects and relationships relevant to description and access of bibliographic materials (IFLA 1998). We develop a partial first order theory of the FRBR Group One Entities by examining the diagrams and text of FRBR, proposing axioms, checking for redundancies, and deriving theorems. The objective is to make the intentions of the specification explicit with respect to features such as relational properties, participation requirements, and disjointness of entity sets. Initial formalization in first order logic prevents the expressivity restrictions of a particular implementation language from prejudicing the analysis.
|START Conference Manager (V2.54.6)|