Meta-circularity and MOP in common Lisp for OWL full

  • Authors:
  • Seiji Koide;Hideaki Takeda

  • Affiliations:
  • The Graduate University for Advanced Studies (SOKENDAI), Chiyoda-ku, Tokyo;National Institute of Informatics and SOKENDAI, Chiyoda-ku, Tokyo

  • Venue:
  • Proceedings of the 6th European Lisp Workshop
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We have developed an OWL (Web Ontology Language) Full language processor, SWCLOS, for processing semantic web pages on top of the Common Lisp Object System (CLOS). To implement the OWL Full level of capability, we leveraged the dynamic and reflective features of CLOS. The metamodeling capability of CLOS is utilized to realize the metamodeling capability of Resource Description Framework (RDF) and OWL Full. The native computational model of CLOS is changed into the model of RDF and OWL by using the Meta-Object Protocol (MOP) in CLOS. Although the metamodeling specifications in CLOS are firmly established in the Common Lisp community, the semantics is not yet fully developed, since Common Lisp does not have formal semantics. In this paper, we focus on metamodeling in CLOS. We point out that the architecture of CLOS in the metamodeling is the same as in RDF and clarify the denotational semantics of CLOS in comparison with the RDF semantics.