[Paper Review] Conceptual Knowledge Markup Language: The central core

Robert E. Kent|arXiv (Cornell University)|Sep 7, 2011

Semantic Web and Ontologies8 references16 citations

TL;DR

This paper introduces the central core of the OML/CKML framework, a formal semantic and syntactic foundation that bridges ontological specifications in OML with conceptual knowledge representations in CKML. It enables interoperability with RDF/S and Ontolingua, providing a theoretically grounded link essential for knowledge system integration and semantic consistency across modeling languages.

ABSTRACT

The conceptual knowledge framework OML/CKML needs several components for a successful design. One important, but previously overlooked, component is the central core of OML/CKML. The central core provides a theoretical link between the ontological specification in OML and the conceptual knowledge representation in CKML. This paper discusses the formal semantics and syntactic styles of the central core, and also the important role it plays in defining interoperability between OML/CKML, RDF/S and Ontolingua.

Motivation & Objective

• To address the lack of a formal theoretical link between ontological specifications in OML and conceptual knowledge representations in CKML.
• To define a central core that ensures semantic consistency and interoperability across knowledge modeling languages.
• To establish a foundation for integrating OML/CKML with existing standards such as RDF/S and Ontolingua.
• To provide a formal semantics and syntactic structure for the central core that supports precise knowledge representation.
• To enable reliable, machine-processable knowledge exchange across heterogeneous knowledge systems.

Proposed method

• Defining a formal semantic framework for the central core based on logical and conceptual principles.
• Designing a syntactic style that supports both human readability and machine processability.
• Mapping OML ontologies to CKML conceptual knowledge through the central core as an intermediary layer.
• Ensuring alignment with RDF/S by expressing the central core in a way compatible with RDF's triple-based model.
• Integrating with Ontolingua by preserving its formalism and expressive power within the central core.
• Using formal logic to specify the relationships and constraints within the central core for consistency and correctness.

Experimental results

Research questions

• RQ1 How can a formal semantic foundation be established to link OML ontologies with CKML knowledge representations?
• RQ2 What syntactic structure enables both expressiveness and interoperability in the central core?
• RQ3 How does the central core support seamless integration with RDF/S and Ontolingua?
• RQ4 What role does the central core play in ensuring semantic consistency across knowledge modeling languages?
• RQ5 How can the central core serve as a theoretical and practical bridge between ontology and conceptual knowledge modeling?

Key findings

• The central core successfully establishes a formal semantic link between OML ontologies and CKML knowledge representations, resolving a previously overlooked gap in the OML/CKML framework.
• The syntactic design of the central core supports both human interpretation and machine processing, enhancing usability and integration.
• Interoperability with RDF/S is achieved by expressing the central core in a way that aligns with RDF's triple model and RDFS semantics.
• Integration with Ontolingua is preserved through the reuse of its formalism, ensuring compatibility with existing knowledge modeling practices.
• The central core enables consistent, reliable knowledge exchange across diverse systems by providing a shared theoretical foundation.
• The framework demonstrates that a well-defined core component is essential for scalable and interoperable knowledge modeling.