Abstract
Bridging the gap between OWL and Object-Oriented Programming (OOP) languages is an indispensable condition to enable the Object-Oriented Modeling in Software Engineering by OWL. However it is very difficult in case of static OOP languages like Java and C#. We have developed SWCLOS, which is an OWL processor seamlessly built on top of Common Lisp Object System (CLOS), a dynamic OOP language. SWCLOS allows programmers to develop application domain models by OWL and enables OOP upon the models. In this paper, we explain the semantic gap between OWL and OOP languages, introduce the RDFS and OWL realization at SWCLOS, and discuss the OWL features from OOP perspectives. Finally we demonstrate the OWL-Full level performance in SWCLOS.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baarder, F., Nutt, W.: Basic Description Logics. In: Baader, et al. (eds.) The Description Logic Handbook, Cambridge, ch. 2, pp. 43–95 (2003)
Borgida, A., Brachman, R.J.: Conceptual Modeling with Description Logics. In: Baader, et al. (eds.) The Description Logic Handbook, Cambridge, Ch. 10, pp. 349–372 (2003)
ter Horst, H.J.: Extending the RDFS Entailment Lemma. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 79–91. Springer, Heidelberg (2004)
ter Horst, H.J.: Combining RDF and part of OWL with rules: Semantics, decidability, complexity. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 668–684. Springer, Heidelberg (2005)
Kaneiwa, K., Mizoguchi, R.: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol. 3702, pp. 169–184. Springer, Heidelberg (2005)
Kiczales, G., Des Rivi‘eres, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1992)
Koide, S., Kawamura, M.: SWCLOS: A Semantic Web Processor on Common Lisp Object System. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298. Springer, Heidelberg (2004), http://iswc2004.semanticweb.org/demos/32/
Koide, S., Aasman, J., Haflich, S.: OWL vs. Object Oriented Programming. In: The 4th International Semantic Web Conference (ISWC 2005), Workshop on Semantic Web Enabled Software Engineering (SWESE) (2005), http://www.mel.nist.gov/msid/conferences/SWESE/repository/8owl-vs-OOP.pdf
Misono, S., Koide, S., Shimada, N., Kawamura, M., Nagano, S.: Distributed Collaborative Decision Support System for Rocket Launch Operation. In: IEEE/ASME Int. Conf. Advanced Intelligent Mechatronics, AIM 2005 (2005)
Mizoguchi, R.: Tutorial on Ontological Engineering - Part 2: Ontology Development, Tools and Languages. In: New Generation Computing, vol. 22(1), pp. 61–96. OhmSha and Springer, Heidelberg (2004)
Nardi, D., Brackman, R.J.: An Introduction to Description Logics. In: Baader, et al. (eds.) The Description Logic Handbook, Cambridge, Ch. 1, pp. 1–40 (2003)
A Semantic Web Primer for Object-Oriented Software Developers (2006), http://www.w3.org/TR/2006/NOTE-sw-oosd-primer-20060309/,W3C
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koide, S., Takeda, H. (2006). OWL-Full Reasoning from an Object Oriented Perspective. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds) The Semantic Web – ASWC 2006. ASWC 2006. Lecture Notes in Computer Science, vol 4185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11836025_27
Download citation
DOI: https://doi.org/10.1007/11836025_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38329-1
Online ISBN: 978-3-540-38331-4
eBook Packages: Computer ScienceComputer Science (R0)