A first-order logic expression of the CIDOC conceptual reference model
by Carlo Meghini; Martin Doerr
International Journal of Metadata, Semantics and Ontologies (IJMSO), Vol. 13, No. 2, 2018

Abstract: The CIDOC Conceptual Reference Model is a well-known conceptual modelling language for documenting cultural heritage artefacts, with a special attention to museum objects. CRM is an ISO standard since 2006 (ISO21127:2006) and renewed 2014 (ISO21127:2014). The CRM is specified in a semantic data modelling style and relies on consolidated notions for the representation of knowledge such as classes, properties, IsA hierarchies, domain and range constraints and cardinality restrictions. However, the CRM still lacks a formal specification of its semantical and inferential apparatus. This lack makes it difficult to clearly define fundamental operations on a CRM knowledge base, such as querying or consistency checking, while preventing any investigation on the computational properties of the language. This paper provides such an apparatus by expressing the CRM as a first-order theory. It then provides a reduction of the theory to a datalog program, and shows how the program can be used to effectively query a knowledge base taking into account the logical consequences of the represented knowledge.

Online publication date: Mon, 18-Mar-2019

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Metadata, Semantics and Ontologies (IJMSO):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com