Skip to main content
SpringerLink
Log in

A formally specified ontology management API as a registry for ubiquitous computing systems

  • Published:
Applied Intelligence Aims and scope Submit manuscript

Abstract

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 particularly 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 a formally specified ontology management API to implement a registry for ubiquitous computing systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Baader F, Calvanese D, McGuiness D, Nardi D, Patel-Schneider PF (2003) The description logic handbook. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  2. Bechhofer S (2002) The DIG description logic interface: DIG/1.0. Technical report, University of Manchester, Oxford Road, Manchester M13 9PLA

  3. Bechhofer S, Horrocks I, Patel-Schneider PF, Tessaris S (1999) A proposal for a description logic interface. In: Description logics

  4. Brachman RJ, McGuinness DL, Patel-Schneider PF, Resnick LA, Borgida A (1991) Living with CLASSIC: when and how to use KL-ONE-like language. In: Principles of semantic networks. Kaufmann, Los Altos. http://www.cs.toronto.edu/ nernst/papers/brachman91living.pdf

    Google Scholar 

  5. Brickley D, Guha R (2004) RDF vocabulary description language 1.0: RDF schema. Technical report, World Wide Web Consortium (W3C), February 2004. http://www.w3.org/TR/rdf-schema/

  6. Chaudhri VK, Farquhar A, Fikes R, Karp PD (1998) Open knowledge base connectivity 2.0. Technical report, Stanford University KSL

  7. Chaudhri VK, Farquhar A, Fikes R, Karp PD, Rice J (1997) The generic frame protocol 2.0. Technical report, Artificial Intelligence Center, SRI International, Menlo Park, CA, USA

  8. Christopoulou E, Kameas A (2005) Gas ontology: an ontology for collaboration among ubiquitous computing devices. Int J Hum Comput Stud 62(5):664–685

    Article  Google Scholar 

  9. Corby O, Dieng-Kuntz R, Faron-Zucker C, Gandon F (2006) Searching the semantic web: approximate query processing based on ontologies. IEEE Intell Syst 21(1):20–27

    Article  Google Scholar 

  10. DARPA Information Exploitation Office (2004) DAML ontology library. http://www.daml.org/ontologies/

  11. Fleury P, Cur̆ín J, Kleindienst J (2006) SitCom—situation composer. Technical report, IBM Ceska Republika. http://chil.server.de/servlet/is/8913/

  12. Graham P (1995) ANSI common LISP. Prentice Hall, New York

    Google Scholar 

  13. Guttman E, Perkins C, Veizades J, Day M (1999) RFC 2608: service location protocol, version 2. Technical report, The Internet Engineering Task Force. http://www.faqs.org/rfcs/rfc2608.html

  14. Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576–580

    Article  MATH  Google Scholar 

  15. Horrocks I (1998) The FaCT system. In: 2nd international conference on analytic tableaux and related methods (TABLEAUX’1998). Lecture notes in computer science, vol 1397. Springer, Berlin, pp 307–312

    Chapter  Google Scholar 

  16. Horrocks I (1999) FaCT and iFaCT. In: Description Logic Workshop (DL’99), Electronic Workshop Proceedings, CEUR, pp 133–135

  17. Horrocks I, van Harmelen F, Patel-Schneider P (2001) DAML+OIL. Technical report, DARPA’s Information Exploitation Office and European Union’s Information Society Technologies, March 2001. http://www.daml.org/2001/03/daml+oil-index.html

  18. HP Labs (2004) Jena semantic web framework. http://www.hpl.hp.com/semweb/jena.htm

  19. Information Society Technology integrated project 506909 (2004) Computers in the human interaction loop. http://chil.server.de

  20. Lee C-S, Jian Z-W, Huang L-K (2005) A fuzzy ontology and its application to news summarization. IEEE Trans Syst Man Cybern Part B 35(5):859–880

    Article  Google Scholar 

  21. Lee C-S, Jiang C-C, Hsieh T-C (2006) A genetic fuzzy agent using ontology model for meeting scheduling system. Inf Sci 176(9):1131–1155

    Article  MATH  Google Scholar 

  22. Levesque HJ (1984) Foundations of a functional approach to knowledge representation. Artif Intell 23(2):155–212

    Article  MATH  Google Scholar 

  23. Manola F, Miller E (2004) RDF primer. Technical report, World Wide Web Consortium (W3C), February 2004. http://www.w3.org/TR/rdf-primer/

  24. McGuinness DL, Resnick LA, Isbell CL Jr (1995) Description logic in practice: a CLASSIC application. In: International joint conference on artificial intelligence (IJCAI), pp 2045–2046

  25. McGuinness DL, van Harmelen F (2004) OWL web ontology language overview. Technical report, World Wide Web Consortium (W3C), February 2004. http://www.w3.org/TR/owl-features/

  26. Motik B (2006) KAON2. http://kaon2.semanticweb.org

  27. Paar A, Reuter J, Schaeffer J (2005) A pluggable architectural model and a formally specified programming language independent API for an ontological knowledge base server. In: Meyer T, Orgun MA (eds) Australasian ontology workshop (AOW 2005). Conferences in research and practice in information technology, vol 58, Sydney, Australia. ACS, Washington, pp 83–91

    Google Scholar 

  28. Paar A, Reuter J, Soldatos J, Stamatis K, Polymenakos L (2006) A formally specified ontology management API as a registry for ubiquitous computing systems. In: 3rd IFIP conference on artificial intelligence applications and innovations (AIAI’2006), June 2006

  29. Patel-Schneider PF, Hayes P, Horrocks I (2004) OWL web ontology language semantics and abstract syntax. Technical report, World Wide Web Consortium (W3C), February 2004. http://www.w3.org/TR/owl-semantics/

  30. Patel-Schneider PF, Swartout B (1993) 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. http://dl.kr.org/krss-spec.ps

  31. Qasem A, Heflin J, noz Avila HM (2004) Efficient source discovery and service composition for ubiquitous computing environments. In: Proceedings of the workshop on semantic web technology for mobile and ubiquitous applications, co-located with the 3rd international semantic web conference (ISWC 2004)

  32. Singh S, Puradkar S, Lee Y (2006) Ubiquitous computing: connecting pervasive computing through semantic web. Inf Syst E-Bus Manag 4(4):421–439

    Article  Google Scholar 

  33. Soldatos J, Dimakis N, Stamatis K, Polymenakos L (2007) A breadboard architecture for pervasive context-aware services in smart spaces: middleware components and prototype applications. Pers Ubiquitous Comput J 11(3):193–212, ISSN 1617-4909

    Article  Google Scholar 

  34. Soldatos J, Pandis I, Stamatis K, Polymenakos L, Crowley J (2007) A middleware infrastructure for autonomous context-aware computing services. Comput Commun 30:577–591, special issue on Emerging middleware for next generation networks

    Article  Google Scholar 

  35. Soo V-W, Lin S-Y, Yang S-Y, Lin S-N, Cheng S-L (2005) A cooperative multi-agent platform for invention based on ontology and patent document analysis. In: Proceedings of the ninth international conference on computer supported cooperative work in design, vol 1, May 2005, pp 411–416

  36. Spivey JM (1998) The Z notation: a reference manual. Technical report, University of Oxford, Programming Research Group. http://spivey.oriel.ox.ac.uk/mike/zrm/zrm.pdf

  37. Stanford University School of Medicine. Protégé OWL library

  38. Stanford University School of Medicine (2006) Protégé knowledge acquisition system. http://protege.stanford.edu

  39. The Eclipse Foundation (2005) Eclipse. http://www.eclipse.org

  40. UDDI Consortium (2002) UDDI technical white paper. http://www.uddi.org

  41. UPnP Forum (2003) UPnP device architecture 1.0, May 2003. http://www.upnp.org

Download references

Author information

Authors and Affiliations

  1. Universität Karlsruhe (TH), Institute for Program Structures and Data Organization (IPD), Am Fasanengarten 5, 76128, Karlsruhe, Germany

    Alexander Paar & Jürgen Reuter

  2. Athens Information Technology, 0,8 km Markopoulou Peania, Ave., Athens, Greece

    John Soldatos, Kostas Stamatis & Lazaros Polymenakos

Authors
  1. Alexander Paar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jürgen Reuter
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John Soldatos
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kostas Stamatis
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Lazaros Polymenakos
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Paar.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Paar, A., Reuter, J., Soldatos, J. et al. A formally specified ontology management API as a registry for ubiquitous computing systems. Appl Intell 30, 37–46 (2009). https://doi.org/10.1007/s10489-007-0075-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10489-007-0075-x

Keywords

Search

Navigation