Representing object role modeling models with Web ontology language description logic axioms

Abstract

Object Role Modeling(ORM) has been used in ontology engineering to model domain ontology,which needs to represent ORM models in OWL DL axioms to check semantic conflicts and redundancy with DL reasoners,and to publish ORM ontology on the semantic Web.By means of comparing the semantics of ORM model and OWL DL axioms,equivalently model-converting,and introducing new operators and properties,that mapping rules to represent ORM models in OWL DL axioms was proposed.Except a few constraints,most ORM model elements can be represented by OWL DL axioms.