A Meta-model for Ontologies with ORM2
نویسندگان
چکیده
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, which is understandable by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory.
منابع مشابه
Directly Applied ORM Constraints for Validating and Verifying Semantic Decision Tables
A semantic decision table (SDT) is a decision table properly annotated with domain ontologies. In this paper, we focus on validation and verification issues (V&V) for SDT. We use Semantic Decision Rule Language (SDRule-L), which is an extension to the Object-Role Modeling language (ORM/ORM2) for modeling SDT commitments. With these commitments, business rule modelers can discover invalid decisi...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملThe formalisation of ORM2 and its encoding in OWL2
The Object Role Modelling language (ORM2) is a conceptual modelling language similar to UML and ER, adopted by Visual Studio, the integrated development environment from Microsoft. This paper introduces a new linear syntax and complete set-theoretic semantics for a generalisation of ORM2, which can be shown correctly embedding the original proposal. A provably correct encoding of the core fragm...
متن کاملAstrocytic Orosomucoid-2 Modulates Microglial Activation and Neuroinflammation.
Orosomucoid (ORM) is an acute-phase protein that belongs to the immunocalin subfamily, a group of small-molecule-binding proteins with immunomodulatory functions. Little is known about the role of ORM proteins in the CNS. The aim of the present study was to investigate the brain expression of ORM and its role in neuroinflammation. Expression of Orm2, but not Orm1 or Orm3, was highly induced in ...
متن کامل