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 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.
This paper is an extended version of [5] which was presented at the International workshop on OWL: Experience and Directions (OWL-ED2009).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML Class Diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)
Brown, A.: An introduction to Model Driven Architecture. IBM Technical Report (2004), http://www.128.ibm.com/developerworks/rational/library/3100.html
Cali, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML Class Diagrams in Description Logics. In: Proc. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, PMD 2001 (2001)
De Giacomo, G., Lenzerini, M., Rosati, R.: Towards higher-order DL-Lite (preliminary report). In: Proceedings of the International Workshop on Description Logic (DL 2008), Dresden, Germany, May 13-16 (2008)
Jekjantuk, N., Gröner, G., Pan, J.Z.: Reasoning in Metamodeling Enabled Ontologies. In: Proceeding of the International workshop on OWL: Experience and Directions, OWL-ED 2009 (2009)
Motik, B.: On the properties of metamodeling in owl. J. Log. Comput. 17(4), 617–637 (2007)
Motik, B., Patel-Schneider, P.F., Parsia, B.: Owl 2 web ontology language: Structural specification and functional-style syntax. World Wide Web Consortium, Working Draft WD-owl2-semantics-20081202 (December 2008)
Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 30–46. Springer, Heidelberg (2003)
Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: A Metamodeling Extension of OWL DL. In: Proceeding of the International Workshop on OWL: Experience and Directions, OWL-ED 2005 (2005)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, W3C, W3C Recommendation (Feburary 2004)
UML. Unified Modeling Language, http://www.uml.org/
Van Der Straeten, R., Simmonds, J., Mens, T.: Detecting Inconsistencies between UML Models using Description Logic. In: Proceedings of the 2003 International Workshop on Description Logics (DL 2003), Rome, Italy, vol. 81, pp. 260–264 (2003)
W3C. Extensible Markup Language (XML) (2001), http://www.w3.org/XML/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jekjantuk, N., Gröner, G., Pan, J.Z. (2010). Modelling and Reasoning in Metamodelling Enabled Ontologies. In: Bi, Y., Williams, MA. (eds) Knowledge Science, Engineering and Management. KSEM 2010. Lecture Notes in Computer Science(), vol 6291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15280-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-15280-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15279-5
Online ISBN: 978-3-642-15280-1
eBook Packages: Computer ScienceComputer Science (R0)