A Formally Specified Ontology Management API as a Registry for Ubiquitous Computing Systems

  • Alexander Paar
  • Jürgen Reuter
  • John Soldatos
  • Kostas Stamatis
  • Lazaros Polymenakos
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 204)


Recently, several standards have emerged for ontology markup languages that can be used to formalize all kinds of knowledge. However, there are no widely accepted standards yet that define APIs to manage ontological data. Processing ontological information still suffers from the heterogeneity imposed by the plethora of available ontology management systems. Moreover, ubiquitous computing environments usually comprise software components written in a variety of different programming languages, which makes it even more difficult to establish a common ontology management API with programming language agnostic semantics. We implemented an ontological Knowledge Base Server, which can expose the functionality of arbitrary off-the-shelf ontology management systems via a formally specified and well defined API. A case study was carried out in order to demonstrate the feasibility of our approach to use an ontological Knowledge Base Server as a registry for ubiquitous computing systems.


Description Logic Ubiquitous Computing Perceptual Component Ubiquitous Computing Environment Ontological Knowledge 
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.


  1. 1.
    W3C Recommendation: RDF Primer, (2004)Google Scholar
  2. 2.
    DARPA’s Information Exploitation Office: DAML+OIL, (2001)Google Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook, Cambridge University Press (2003)Google Scholar
  4. 4.
    W3C Recommendation: OWL Web Ontology Language Overview, (2004)Google Scholar
  5. 5.
    DARPA’s Information Exploitation Office: DAML Ontology Library, (2004)Google Scholar
  6. 6.
    Information Society Technology (1ST) program FP6-506909, Computers in the Human Interaction Loop CHIL, (2004)Google Scholar
  7. 7.
    Paar, A., Reuter, J., Schaeffer, J.: A Pluggable Architectural Model and a Formally Specified Programming Language Independent API for an Ontological Knowledge Base Server, Australasian Ontology Workshop, Sydney, Australia (2005)Google Scholar
  8. 8.
    Bechhofer, S.: The DIG Description Logic Interface: DIG/1.0, University of Manchester, Oxford Road, Manchester Ml3 9PLA (2002)Google Scholar
  9. 9.
    Levesque, H.J.: Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23 (1984) 155–212zbMATHCrossRefGoogle Scholar
  10. 10.
    Chaudhri, V.K., Farquhar, A., Fikes, R., Karp, P.D., and Rice, J.: The Generic Frame Protocol 2.0, Technical Report, Artificial Intelligence Center, SRI International, Menlo Park, CA (USA) (1997)Google Scholar
  11. 11.
    Chaudhri, V.K., Farquhar, A., Fikes, R., and Karp, P.D.: Open Knowledge Base Connectivity 2.0, Technical Report KSL-09-06, Stanford University KSL (1998)Google Scholar
  12. 12.
    Patel-Schneider, P.F., and Swartout, B.: Description-logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort, Technical report, AI Principles Research Department, AT&T Bell Laboratories (1993)Google Scholar
  13. 13.
    Graham, P.: ANSI Common LISP, Prentice Hall (1995)Google Scholar
  14. 14.
    Horrocks, I.: The FaCT system, Proc. of the 2nd Int. Conf, on Analytic Tableaux and Related Methods (TABLEAUX), volume 1397 of Lecture Notes in Artificial Intelligence (1998) 307–312Google Scholar
  15. 15.
    Horrocks, I.: FaCT and iFaCT, Proc. of the 1999 Description Logic Workshop (DL’99), CEUR Electronic Workshop Proceedings (1999) 133–135Google Scholar
  16. 16.
    Beehhofer, S., Horrocks, I., Patel-Schneider, P.F., and Tessaris, S.: A proposal for a Description Logic interface, Proc. of the 1999 Description Logic Workshop (DL’99), 33–36, CEUR Electronic Workshop Proceedings (1999)Google Scholar
  17. 17.
    Brachman, R.J., McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., and Borgida, A.: Living with CLASSIC: When and how to use KL-ONE-like language, Principles of Semantic Networks, Morgan Kaufmann, Los Altos (1991) 401–456Google Scholar
  18. 18.
    McGuiness D.L., Resnick, L.A., and Isbell, C.: Description Logic in practice; A CLASSIC application, Proc. of the 14th Int. Joint Conf. on Artificial Intelligence (IJCAI) (1995) 2045–2046Google Scholar
  19. 19.
    Stanford University School of Medicine: Protege knowledge acquisition system, (2003)Google Scholar
  20. 20.
    HP Labs: Jena 2-A Semantic Web Framework, (2004)Google Scholar
  21. 21.
    KAON 2, Universität Karlsruhe (TH), Germany, (2005)Google Scholar
  22. 22.
    Spivey, J.M.: The Z Notation: A Reference Manual, Prentice-Hall International Series in Computer Science Prentice Hall; 2nd edition (1992)Google Scholar
  23. ISO/IEC, Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002 (2002)Google Scholar
  24. 24.
    Soldatos J., Pandis I., Stamatis K., Polymenakos L., Crowley J., ‘A Middleware Infrastructure for Autonomous Context-Aware Computing Services’, accepted for publication to the Computer Communications Magazine, special Issue on Emerging Middleware for Next Generation Networks (2005).Google Scholar
  25. 25.
    Soldatos, J., Polymenakos, L., Pnevmatikakis, A., Talantzis, F., Stamatis, K., Carras, M.: Perceptual Interfaces and Distributed Agents supporting Ubiquitous Computing Services. In: The Proc. of the Eurescom Summit 2005 (2005) 43–50.Google Scholar
  26. 26.
    Pandis I., Soldatos J., Paar A., Reuter J., Carras M., Polymenakos L., ‘An Ontology-based Framework for Dynamic Resource Management in Ubiquitous Computing Environments’, in the Proc. of the 2nd International Conference on Embedded Software and Systems, Northwestern Polytechnical University of Xian, P. R. China, December 16–18. (2005).Google Scholar

Copyright information

© International Federation for Information Processing 2006

Authors and Affiliations

  • Alexander Paar
    • 1
  • Jürgen Reuter
    • 1
  • John Soldatos
    • 2
  • Kostas Stamatis
    • 2
  • Lazaros Polymenakos
    • 2
  1. 1.Institute for Program Structures and Data Organization (IPD)Universität Karlsruhe (TH)KarlsruheGermany
  2. 2.Athens Information TechnologyAthens

Personalised recommendations