Defining a Subset of OCL for Expressing SWRL Rules

OCL is a rich-syntax language for expressing integrity rules and many business rules can be expressed using OCL. On the other hand, UML/OCL is a mainstream modeling technology and adopting it for expressing rules in the upcoming Semantic Web is a good practical issue: rules can be initially expressed in UML/OCL and then mapped into OWL/SWRL. Since UML/OCL is more expressive than OWL/SWRL it is good to define a subset of OCL, which can easily be mapped into the SWRL. In this paper we define this subset of OCL, called OCL-Lite, by building a mapping from SWRL into OCL. In addition, we briefly sketch the correctness problem of this mapping in terms of language interpretations.

• Type: Conference
• Year: 2008
• Where: ECAI
• Authors: Sergey Lukichev
• Keywords: Artificial Intelligence, ECAI 2008, Integrity Rules, Mainstream Modeling Technology, Upcoming Semantic Web