TY - GEN
T1 - Modelling and reasoning in metamodelling enabled ontologies
AU - Jekjantuk, Nophadol
AU - Gröner, Gerd
AU - Pan, Jeff Z.
PY - 2010/11/8
Y1 - 2010/11/8
N2 - 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 support 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.
AB - 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 support 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.
UR - http://www.scopus.com/inward/record.url?scp=78049380754&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-15280-1_8
DO - 10.1007/978-3-642-15280-1_8
M3 - Conference contribution
AN - SCOPUS:78049380754
SN - 3642152791
SN - 9783642152795
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 51
EP - 62
BT - Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings
T2 - 4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010
Y2 - 1 September 2010 through 3 September 2010
ER -