MODELING LOGIC-BASED CONSTRAINTS IN OWL

摘要

In this paper we examine the Web Ontology Language (OWL) to implement Unified Modeling Language (UML) representations that have been augmented with propositional logic asserted as inter-link constraints. The motivation is to ultimately provide declarative propositional logic constraints that can be represented in UML and declaratively implemented using OWL and other constructs to realize Semantic Web knowledge bases and databases. The results of the paper show that OWL is sufficient for capturing most inter-link constraints asserted on generalization/specialization instances; however OWL alone is inadequate for representing some inter-link constraints asserted on associations. It is proposed that subsequent inference mechanisms, which utilize the Semantic Web, will benefit from the greater selection and deployment of unambiguous semantic modeling constructs provided by inter-link constraints.