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 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.
Chapter PDF
References
W3C Recommendation: RDF Primer, http://www.w3.org/TR/rdf-primer/ (2004)
DARPA’s Information Exploitation Office: DAML+OIL, http://www.daml.org/2001/03/daml+oil-index.html (2001)
Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook, Cambridge University Press (2003)
W3C Recommendation: OWL Web Ontology Language Overview, http://www.w3.org/TR/owl-features/ (2004)
DARPA’s Information Exploitation Office: DAML Ontology Library, http://www.daml.org/ontologies/ (2004)
Information Society Technology (1ST) program FP6-506909, Computers in the Human Interaction Loop CHIL, http://chil.server.de/ (2004)
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)
Bechhofer, S.: The DIG Description Logic Interface: DIG/1.0, University of Manchester, Oxford Road, Manchester Ml3 9PLA (2002)
Levesque, H.J.: Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23 (1984) 155–212
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)
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)
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)
Graham, P.: ANSI Common LISP, Prentice Hall (1995)
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–312
Horrocks, I.: FaCT and iFaCT, Proc. of the 1999 Description Logic Workshop (DL’99), CEUR Electronic Workshop Proceedings (1999) 133–135
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)
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–456
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–2046
Stanford University School of Medicine: Protege knowledge acquisition system, http://protege.stanford.edu/ (2003)
HP Labs: Jena 2-A Semantic Web Framework, http://www.hpl.hp.com/semweb/jena.htm (2004)
KAON 2, Universität Karlsruhe (TH), Germany, http://kaon2.semanticweb.org/ (2005)
Spivey, J.M.: The Z Notation: A Reference Manual, Prentice-Hall International Series in Computer Science Prentice Hall; 2nd edition (1992)
ISO/IEC, Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002 (2002)
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).
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.
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).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
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: Maglogiannis, I., Karpouzis, K., Bramer, M. (eds) Artificial Intelligence Applications and Innovations. AIAI 2006. IFIP International Federation for Information Processing, vol 204. Springer, Boston, MA . https://doi.org/10.1007/0-387-34224-9_16
Download citation
DOI: https://doi.org/10.1007/0-387-34224-9_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34223-8
Online ISBN: 978-0-387-34224-5
eBook Packages: Computer ScienceComputer Science (R0)