Validation of the CIDOC CRM using both extended graphical and category theory representations : includes two New Zealand case studies : a thesis presented in partial fulfilment of the requirements for the degree of Master of Business Studies in Information Systems at Massey University, Palmerston North, New Zealand

There is considerable interest in the use of the Internet to retrieve and integrate multimedia information from centres of cultural heritage such as museums and art galleries. The ultimate desire of most devotees of cultural matters is to have universal access, through a single portal, to detailed information from sites throughout the world. This level of interoperability is not an easy task both technically and culturally. To provide an avenue where some of the technical problems of accessing information from a huge range of unique database environments can be resolved, a semantic conceptual reference model (CRM) was proposed by The International Committee for Documentation of the International Council of Museums (ICOM-CIDOC). The model provides definitions and a formal structure for describing the implicit and explicit concepts and relationships used in cultural heritage documentation. It is intended to provide a common and extensible semantic framework to which any cultural heritage information can be mapped. In this research two methods are proposed and developed to support the validation of the Conceptual Reference Model. The methodologies, one graphical and the other based on category theory, are used to replicate three published international validation activities and two new validations based on information supplied by two New Zealand heritage sites. This report also includes a literature review describing the main ideas and structures that form the basis of the CRM

Extension Rules for Ontology Evolution within a Conceptual Modelling Tool

Ontology development and maintenance are complex tasks, so automatic tools are essential for a successful integration between the modeller’s intention and the formal semantics in an ontology. Never- theless, tools need to provide a way to capture the intuitive structures inherent to the conceptual modelling and to focus on ontology elements currently being refactored by abstracting the user from the whole ontol- ogy without losing consistency. This can be done by means of a set of extension rules that identify elements from an ontology and suggest pos- sible consistent evolutions. Rules guide the development of ontologies by taking source elements and refactoring. In this paper, we present a small catalogue of extension rules to cover these identified requirements and thus to be integrated into a tool for ontological modelling as built- in reasoning services. Each rule is defined and analysed by considering different theories of design patterns.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Extension Rules for Ontology Evolution within a Conceptual Modelling Tool

Ontology development and maintenance are complex tasks, so automatic tools are essential for a successful integration between the modeller’s intention and the formal semantics in an ontology. Never- theless, tools need to provide a way to capture the intuitive structures inherent to the conceptual modelling and to focus on ontology elements currently being refactored by abstracting the user from the whole ontol- ogy without losing consistency. This can be done by means of a set of extension rules that identify elements from an ontology and suggest pos- sible consistent evolutions. Rules guide the development of ontologies by taking source elements and refactoring. In this paper, we present a small catalogue of extension rules to cover these identified requirements and thus to be integrated into a tool for ontological modelling as built- in reasoning services. Each rule is defined and analysed by considering different theories of design patterns.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples

Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Una arquitectura de referencia para ambientes web de ingeniería ontológica

Ontology authoring, maintenance and use are never easy tasks, mostly due to the complexity of real domains and how they dynamically change as well as different background possessed by modellers about methodologies and formal languages. However, although the needs for ontologies are well-understood, not less important is to provide editing tools to manipulate and understand them. In this context, this work proposes and documents a reference architecture for such tools running in web environments. Moreover, it provides the rationale for boosting the collaborative development of a novel tool based on this architecture, named crowd. Previous surveys reveal that few Webbased ontology engineering environments have been developed and in addition, almost all of them are mere visualisers, with limited graphical features and lacking inference services.La definición, mantenimiento y use de ontologías son tareas difíciles debido, en mayor medida, a la complejidad inherente al mundo real y a como éste cambia dinámicamente. Asimismo, también se debe a las diferencias en conocimiento sobre metodologías y lenguajes formales por parte de los modeladores. Sin embargo, aunque la necesidad de crear y obtener ontologías es clave, es también importante contar con herramientas para manipularlas y entenderlas. Este trabajo propone y documenta una arquitectura de referencia para ambientes Web y ofrece los fundamentos para impulsar el desarrollo colaborativo de la herramienta crowd, la cual esta basada sobre dicha architectura. Revisiones previas de la literatura indican la existencia de un numero reducido ambientes para la Ingeniería Ontológica basados en tecnologías Web, sin embargo, casi en su totalidad son solo visualizadores de modelos con soporte gráfico limitado y ausencia de razonamiento lógico integrado.Facultad de Informátic

Enhancing Accessibility to Heterogeneous Sri Lankan Cultural Heritage Information across Museums through Metadata Aggregation

Thesis (Master of Science in Library and Information Studies)--University of Tsukuba, no. 36035, 2016.8.3

Extension Rules for Ontology Evolution within a Conceptual Modelling Tool

Ontology development and maintenance are complex tasks, so automatic tools are essential for a successful integration between the modeller’s intention and the formal semantics in an ontology. Never- theless, tools need to provide a way to capture the intuitive structures inherent to the conceptual modelling and to focus on ontology elements currently being refactored by abstracting the user from the whole ontol- ogy without losing consistency. This can be done by means of a set of extension rules that identify elements from an ontology and suggest pos- sible consistent evolutions. Rules guide the development of ontologies by taking source elements and refactoring. In this paper, we present a small catalogue of extension rules to cover these identified requirements and thus to be integrated into a tool for ontological modelling as built- in reasoning services. Each rule is defined and analysed by considering different theories of design patterns.Sociedad Argentina de Informática e Investigación Operativa (SADIO

A process model in platform independent and neutral formal representation for design engineering automation

An engineering design process as part of product development (PD) needs to satisfy ever-changing customer demands by striking a balance between time, cost and quality. In order to achieve a faster lead-time, improved quality and reduced PD costs for increased profits, automation methods have been developed with the help of virtual engineering. There are various methods of achieving Design Engineering Automation (DEA) with Computer-Aided (CAx) tools such as CAD/CAE/CAM, Product Lifecycle Management (PLM) and Knowledge Based Engineering (KBE). For example, Computer Aided Design (CAD) tools enable Geometry Automation (GA), PLM systems allow for sharing and exchange of product knowledge throughout the PD lifecycle. Traditional automation methods are specific to individual products and are hard-coded and bound by the proprietary tool format. Also, existing CAx tools and PLM systems offer bespoke islands of automation as compared to KBE. KBE as a design method incorporates complete design intent by including re-usable geometric, non-geometric product knowledge as well as engineering process knowledge for DEA including various processes such as mechanical design, analysis and manufacturing. It has been recognised, through an extensive literature review, that a research gap exists in the form of a generic and structured method of knowledge modelling, both informal and formal modelling, of mechanical design process with manufacturing knowledge (DFM/DFA) as part of model based systems engineering (MBSE) for DEA with a KBE approach. There is a lack of a structured technique for knowledge modelling, which can provide a standardised method to use platform independent and neutral formal standards for DEA with generative modelling for mechanical product design process and DFM with preserved semantics. The neutral formal representation through computer or machine understandable format provides open standard usage. This thesis provides a contribution to knowledge by addressing this gap in two-steps: • In the first step, a coherent process model, GPM-DEA is developed as part of MBSE which can be used for modelling of mechanical design with manufacturing knowledge utilising hybrid approach, based on strengths of existing modelling standards such as IDEF0, UML, SysML and addition of constructs as per author’s Metamodel. The structured process model is highly granular with complex interdependencies such as activities, object, function, rule association and includes the effect of the process model on the product at both component and geometric attributes. • In the second step, a method is provided to map the schema of the process model to equivalent platform independent and neutral formal standards using OWL/SWRL ontology for system development using Protégé tool, enabling machine interpretability with semantic clarity for DEA with generative modelling by building queries and reasoning on set of generic SWRL functions developed by the author. Model development has been performed with the aid of literature analysis and pilot use-cases. Experimental verification with test use-cases has confirmed the reasoning and querying capability on formal axioms in generating accurate results. Some of the other key strengths are that knowledgebase is generic, scalable and extensible, hence provides re-usability and wider design space exploration. The generative modelling capability allows the model to generate activities and objects based on functional requirements of the mechanical design process with DFM/DFA and rules based on logic. With the help of application programming interface, a platform specific DEA system such as a KBE tool or a CAD tool enabling GA and a web page incorporating engineering knowledge for decision support can consume relevant part of the knowledgebase