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

Applied Intelligence

Volumn 30, Issue 1, 2009, Pages 37-46

  Paar, Alexander ^a   Reuter, Jürgen ^a   Soldatos, John ^b   Stamatis, Kostas ^b   Polymenakos, Lazaros ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b ATHENS INFORMATION TECHNOLOGY   (Greece)

Author keywords

Ontology management API; Ubiquitous computing; Web ontology language OWL DL

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; COMPUTER SYSTEMS PROGRAMMING; COMPUTERS; DATA PROCESSING; INFORMATION THEORY; INTELLIGENT BUILDINGS; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; MANAGEMENT; MARKUP LANGUAGES; QUERY LANGUAGES; UBIQUITOUS COMPUTING;

CASE STUDIES; ONTOLOGY MANAGEMENT API; PROGRAMMING LANGUAGES; SOFTWARE COMPONENTS; UBIQUITOUS COMPUTING ENVIRONMENTS; UBIQUITOUS COMPUTING SYSTEMS; WEB ONTOLOGY LANGUAGE OWL DL;

ONTOLOGY;

EID: 57849124592     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10489-007-0075-x     Document Type: Article

References (41)

1. Baader F, Calvanese D, McGuiness D, Nardi D, Patel-Schneider PF (2003) The description logic handbook. Cambridge University Press, Cambridge
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
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. E Christopoulou A Kameas 2005 Gas ontology: an ontology for collaboration among ubiquitous computing devices Int J Hum Comput Stud 62 5 664 685
9. O Corby R Dieng-Kuntz C Faron-Zucker F Gandon 2006 Searching the semantic web: approximate query processing based on ontologies IEEE Intell Syst 21 1 20 27
10. DARPA Information Exploitation Office (2004) DAML ontology library. http://www.daml.org/ontologies/
11. Fleury P, Cuří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
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. CAR Hoare 1969 An axiomatic basis for computer programming Commun ACM 12 10 576 580
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
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. C-S Lee Z-W Jian L-K Huang 2005 A fuzzy ontology and its application to news summarization IEEE Trans Syst Man Cybern Part B 35 5 859 880
21. C-S Lee C-C Jiang T-C Hsieh 2006 A genetic fuzzy agent using ontology model for meeting scheduling system Inf Sci 176 9 1131 1155
22. HJ Levesque 1984 Foundations of a functional approach to knowledge representation Artif Intell 23 2 155 212
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
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. S Singh S Puradkar Y Lee 2006 Ubiquitous computing: connecting pervasive computing through semantic web Inf Syst E-Bus Manag 4 4 421 439
33. J Soldatos N Dimakis K Stamatis L Polymenakos 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
34. J Soldatos I Pandis K Stamatis L Polymenakos J Crowley 2007 A middleware infrastructure for autonomous context-aware computing services Comput Commun 30 577 591 special issue on Emerging middleware for next generation networks
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