{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T05:36:40Z","timestamp":1706765800654},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T00:00:00Z","timestamp":1184889600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1007\/s10489-007-0075-x","type":"journal-article","created":{"date-parts":[[2007,7,19]],"date-time":"2007-07-19T10:16:13Z","timestamp":1184840173000},"page":"37-46","source":"Crossref","is-referenced-by-count":9,"title":["A\u00a0formally specified ontology management API as a\u00a0registry for\u00a0ubiquitous computing systems"],"prefix":"10.1007","volume":"30","author":[{"given":"Alexander","family":"Paar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Reuter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Soldatos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stamatis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lazaros","family":"Polymenakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,20]]},"reference":[{"key":"75_CR1","volume-title":"The description logic handbook","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuiness D, Nardi D, Patel-Schneider PF (2003) The description logic handbook. Cambridge University Press, Cambridge"},{"key":"75_CR2","unstructured":"Bechhofer S (2002) The DIG description logic interface: DIG\/1.0. Technical report, University of Manchester, Oxford Road, Manchester M13 9PLA"},{"key":"75_CR3","unstructured":"Bechhofer S, Horrocks I, Patel-Schneider PF, Tessaris S (1999) A\u00a0proposal for a\u00a0description logic interface. In: Description logics"},{"key":"75_CR4","volume-title":"Principles of semantic networks","author":"RJ Brachman","year":"1991","unstructured":"Brachman RJ, McGuinness DL, Patel-Schneider PF, Resnick\u00a0LA, 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\/\u00a0nernst\/papers\/brachman91living.pdf"},{"key":"75_CR5","unstructured":"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\/"},{"key":"75_CR6","unstructured":"Chaudhri VK, Farquhar A, Fikes R, Karp PD (1998) Open knowledge base connectivity 2.0. Technical report, Stanford University KSL"},{"key":"75_CR7","unstructured":"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"},{"issue":"5","key":"75_CR8","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1016\/j.ijhcs.2005.02.007","volume":"62","author":"E Christopoulou","year":"2005","unstructured":"Christopoulou E, Kameas A (2005) Gas ontology: an ontology for collaboration among ubiquitous computing devices. Int J Hum Comput Stud 62(5):664\u2013685","journal-title":"Int J Hum Comput Stud"},{"issue":"1","key":"75_CR9","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MIS.2006.16","volume":"21","author":"O Corby","year":"2006","unstructured":"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\u201327","journal-title":"IEEE Intell Syst"},{"key":"75_CR10","unstructured":"DARPA Information Exploitation Office (2004) DAML ontology library. http:\/\/www.daml.org\/ontologies\/"},{"key":"75_CR11","unstructured":"Fleury P, Cur\u0306\u00edn J, Kleindienst J (2006) SitCom\u2014situation composer. Technical report, IBM Ceska Republika. http:\/\/chil.server.de\/servlet\/is\/8913\/"},{"key":"75_CR12","volume-title":"ANSI common LISP","author":"P Graham","year":"1995","unstructured":"Graham P (1995) ANSI common LISP. Prentice Hall, New York"},{"key":"75_CR13","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.17487\/rfc2608"},{"issue":"10","key":"75_CR14","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576\u2013580","journal-title":"Commun ACM"},{"key":"75_CR15","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"2nd international conference on analytic tableaux and related methods (TABLEAUX\u20191998)","author":"I Horrocks","year":"1998","unstructured":"Horrocks I (1998) The FaCT system. In: 2nd international conference on analytic tableaux and related methods (TABLEAUX\u20191998). Lecture notes in computer science, vol\u00a01397. Springer, Berlin, pp 307\u2013312"},{"key":"75_CR16","unstructured":"Horrocks I (1999) FaCT and iFaCT. In: Description Logic Workshop (DL\u201999), Electronic Workshop Proceedings, CEUR, pp 133\u2013135"},{"key":"75_CR17","unstructured":"Horrocks I, van\u00a0Harmelen F, Patel-Schneider P (2001) DAML+OIL. Technical report, DARPA\u2019s Information Exploitation Office and European Union\u2019s Information Society Technologies, March 2001. http:\/\/www.daml.org\/2001\/03\/daml+oil-index.html"},{"key":"75_CR18","unstructured":"HP Labs (2004) Jena semantic web framework. http:\/\/www.hpl.hp.com\/semweb\/jena.htm"},{"key":"75_CR19","unstructured":"Information Society Technology integrated project 506909 (2004) Computers in the human interaction loop. http:\/\/chil.server.de"},{"issue":"5","key":"75_CR20","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/TSMCB.2005.845032","volume":"35","author":"C-S Lee","year":"2005","unstructured":"Lee C-S, Jian Z-W, Huang L-K (2005) A\u00a0fuzzy ontology and its application to news summarization. IEEE Trans Syst Man Cybern Part B 35(5):859\u2013880","journal-title":"IEEE Trans Syst Man Cybern Part B"},{"issue":"9","key":"75_CR21","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1016\/j.ins.2005.07.012","volume":"176","author":"C-S Lee","year":"2006","unstructured":"Lee C-S, Jiang C-C, Hsieh T-C (2006) A\u00a0genetic fuzzy agent using ontology model for meeting scheduling system. Inf Sci 176(9):1131\u20131155","journal-title":"Inf Sci"},{"issue":"2","key":"75_CR22","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"HJ Levesque","year":"1984","unstructured":"Levesque HJ (1984) Foundations of a\u00a0functional approach to knowledge representation. Artif Intell 23(2):155\u2013212","journal-title":"Artif Intell"},{"key":"75_CR23","unstructured":"Manola F, Miller E (2004) RDF primer. Technical report, World Wide Web Consortium (W3C), February 2004. http:\/\/www.w3.org\/TR\/rdf-primer\/"},{"key":"75_CR24","unstructured":"McGuinness DL, Resnick LA, Isbell CL Jr (1995) Description logic in practice: a\u00a0CLASSIC application. In: International joint conference on artificial intelligence (IJCAI), pp 2045\u20132046"},{"key":"75_CR25","unstructured":"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\/"},{"key":"75_CR26","unstructured":"Motik B (2006) KAON2. http:\/\/kaon2.semanticweb.org"},{"key":"75_CR27","series-title":"Conferences in research and practice in information technology","first-page":"83","volume-title":"Australasian ontology workshop (AOW 2005)","author":"A Paar","year":"2005","unstructured":"Paar A, Reuter J, Schaeffer J (2005) A\u00a0pluggable architectural model and a\u00a0formally 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\u201391"},{"key":"75_CR28","doi-asserted-by":"crossref","unstructured":"Paar A, Reuter J, Soldatos J, Stamatis K, Polymenakos L (2006) A\u00a0formally specified ontology management API as a\u00a0registry for ubiquitous computing systems. In: 3rd IFIP conference on artificial intelligence applications and innovations (AIAI\u20192006), June 2006","DOI":"10.1007\/0-387-34224-9_16"},{"key":"75_CR29","unstructured":"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\/"},{"key":"75_CR30","unstructured":"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"},{"key":"75_CR31","unstructured":"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)"},{"issue":"4","key":"75_CR32","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10257-005-0003-8","volume":"4","author":"S Singh","year":"2006","unstructured":"Singh S, Puradkar S, Lee Y (2006) Ubiquitous computing: connecting pervasive computing through semantic web. Inf Syst E-Bus Manag 4(4):421\u2013439","journal-title":"Inf Syst E-Bus Manag"},{"issue":"3","key":"75_CR33","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s00779-006-0102-7","volume":"11","author":"J Soldatos","year":"2007","unstructured":"Soldatos J, Dimakis N, Stamatis K, Polymenakos L (2007) A\u00a0breadboard architecture for pervasive context-aware services in smart spaces: middleware components and prototype applications. Pers Ubiquitous Comput J 11(3):193\u2013212, ISSN 1617-4909","journal-title":"Pers Ubiquitous Comput J"},{"key":"75_CR34","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/j.comcom.2005.11.018","volume":"30","author":"J Soldatos","year":"2007","unstructured":"Soldatos J, Pandis I, Stamatis K, Polymenakos L, Crowley J (2007) A\u00a0middleware infrastructure for autonomous context-aware computing services. Comput Commun 30:577\u2013591, special issue on Emerging middleware for next generation networks","journal-title":"Comput Commun"},{"key":"75_CR35","unstructured":"Soo V-W, Lin S-Y, Yang S-Y, Lin S-N, Cheng S-L (2005) A\u00a0cooperative 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\u2013416"},{"key":"75_CR36","unstructured":"Spivey JM (1998) The Z notation: a\u00a0reference manual. Technical report, University of Oxford, Programming Research Group. http:\/\/spivey.oriel.ox.ac.uk\/mike\/zrm\/zrm.pdf"},{"key":"75_CR37","unstructured":"Stanford University School of Medicine. Prot\u00e9g\u00e9 OWL library"},{"key":"75_CR38","unstructured":"Stanford University School of Medicine (2006) Prot\u00e9g\u00e9 knowledge acquisition system. http:\/\/protege.stanford.edu"},{"key":"75_CR39","unstructured":"The Eclipse Foundation (2005) Eclipse. http:\/\/www.eclipse.org"},{"key":"75_CR40","unstructured":"UDDI Consortium (2002) UDDI technical white paper. http:\/\/www.uddi.org"},{"key":"75_CR41","unstructured":"UPnP Forum (2003) UPnP device architecture 1.0, May 2003. http:\/\/www.upnp.org"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-007-0075-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-007-0075-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-007-0075-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:41Z","timestamp":1559139941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-007-0075-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,20]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["75"],"URL":"https:\/\/doi.org\/10.1007\/s10489-007-0075-x","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,20]]}}}