Advertisement

OWL-Full Reasoning from an Object Oriented Perspective

  • Seiji Koide
  • Hideaki Takeda
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4185)

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.

Keywords

Description Logic Existential Restriction Tableau Algorithm Forward Reference Instance Creation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Baarder2003]
    Baarder, F., Nutt, W.: Basic Description Logics. In: Baader, et al. (eds.) The Description Logic Handbook, Cambridge, ch. 2, pp. 43–95 (2003)Google Scholar
  2. [Borgida2003]
    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)Google Scholar
  3. [Horst2004]
    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)Google Scholar
  4. [Horst2005]
    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)CrossRefGoogle Scholar
  5. [Kaneiwa2005]
    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)CrossRefGoogle Scholar
  6. [Kiczales1991]
    Kiczales, G., Des Rivi‘eres, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1992)Google Scholar
  7. [Koide2004]
    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/ Google Scholar
  8. [Koide2005]
    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
  9. [Misono2005]
    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)Google Scholar
  10. [Mizoguchi2004]
    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)Google Scholar
  11. [Nardi2003]
    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)Google Scholar
  12. [SETF2006]
    A Semantic Web Primer for Object-Oriented Software Developers (2006), http://www.w3.org/TR/2006/NOTE-sw-oosd-primer-20060309/,W3C

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Seiji Koide
    • 1
    • 2
  • Hideaki Takeda
    • 1
  1. 1.National Institute of InformaticsTokyo
  2. 2.Galaxy Express CorporationTokyo

Personalised recommendations