Modelling and Reasoning in Metamodelling Enabled Ontologies |
Download PDF |
Nophadol Jekjantuk,Gerd Groner,Jeff. Z. Pan. Modelling and Reasoning in Metamodelling Enabled Ontologies. International Journal of Software and Informatics, 2010,4(3):277~290 |
Hits: 3540 |
Download times: 2762 |
|
Fund:This work is sponsored by the European Project Marrying Ontologies and Software Technologies(MOST ICT 2008-216691) |
|
Abstract:Ontologies are expected to play an important role in many application domains,
as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing
the models for a software-intensive system, has a four-layer metamodelling architecture, the
standard Web Ontology Language (OWL) does not support reasoning over layered metamodels. OWL 2 provides simple metamodelling by using a punning approach, however, the
interpretation function is different based on the context, which leads to non-intuitive results.
The OWL FA Language has a well defined metamodelling architecture. However, there is
no study and tool for supporting reasoning over OWL FA. In this paper, we discuss some
reasoning tasks in OWL FA. We also introduce the OWL FA Tool kit, a simple tool kit for
manipulating and reasoning with OWL FA. |
keywords:metamodelling ontology OWL FA reasoning |
View Full Text View/Add Comment Download reader |
|
|
|