{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:53:51Z","timestamp":1725468831660},"publisher-location":"Boston, MA","reference-count":26,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387342238"},{"type":"electronic","value":"9780387342245"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/0-387-34224-9_16","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T14:54:56Z","timestamp":1156517696000},"page":"137-146","source":"Crossref","is-referenced-by-count":3,"title":["A Formally Specified Ontology Management API as a Registry for Ubiquitous Computing Systems"],"prefix":"10.1007","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","reference":[{"key":"16_CR1","unstructured":"W3C Recommendation: RDF Primer, http:\/\/www.w3.org\/TR\/rdf-primer\/ (2004)"},{"key":"16_CR2","unstructured":"DARPA\u2019s Information Exploitation Office: DAML+OIL, http:\/\/www.daml.org\/2001\/03\/daml+oil-index.html (2001)"},{"key":"16_CR3","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook, Cambridge University Press (2003)"},{"key":"16_CR4","unstructured":"W3C Recommendation: OWL Web Ontology Language Overview, http:\/\/www.w3.org\/TR\/owl-features\/ (2004)"},{"key":"16_CR5","unstructured":"DARPA\u2019s Information Exploitation Office: DAML Ontology Library, http:\/\/www.daml.org\/ontologies\/ (2004)"},{"key":"16_CR6","unstructured":"Information Society Technology (1ST) program FP6-506909, Computers in the Human Interaction Loop CHIL, http:\/\/chil.server.de\/ (2004)"},{"key":"16_CR7","unstructured":"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)"},{"key":"16_CR8","volume-title":"The DIG Description Logic Interface: DIG\/1.0","author":"S. Bechhofer","year":"2002","unstructured":"Bechhofer, S.: The DIG Description Logic Interface: DIG\/1.0, University of Manchester, Oxford Road, Manchester Ml3 9PLA (2002)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"H.J. Levesque","year":"1984","unstructured":"Levesque, H.J.: Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23 (1984) 155\u2013212","journal-title":"Artificial Intelligence"},{"key":"16_CR10","series-title":"Technical Report","volume-title":"The Generic Frame Protocol 2.0","author":"V.K. Chaudhri","year":"1997","unstructured":"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)"},{"key":"16_CR11","unstructured":"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)"},{"key":"16_CR12","unstructured":"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)"},{"key":"16_CR13","unstructured":"Graham, P.: ANSI Common LISP, Prentice Hall (1995)"},{"key":"16_CR14","first-page":"307","volume":"1397","author":"I. Horrocks","year":"1998","unstructured":"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\u2013312","journal-title":"Proc. of the 2nd Int. Conf, on Analytic Tableaux and Related Methods (TABLEAUX)"},{"key":"16_CR15","unstructured":"Horrocks, I.: FaCT and iFaCT, Proc. of the 1999 Description Logic Workshop (DL\u201999), CEUR Electronic Workshop Proceedings (1999) 133\u2013135"},{"key":"16_CR16","unstructured":"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\u201999), 33\u201336, CEUR Electronic Workshop Proceedings (1999)"},{"key":"16_CR17","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks","author":"R.J. Brachman","year":"1991","unstructured":"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\u2013456"},{"key":"16_CR18","unstructured":"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\u20132046"},{"key":"16_CR19","unstructured":"Stanford University School of Medicine: Protege knowledge acquisition system, http:\/\/protege.stanford.edu\/ (2003)"},{"key":"16_CR20","unstructured":"HP Labs: Jena 2-A Semantic Web Framework, http:\/\/www.hpl.hp.com\/semweb\/jena.htm (2004)"},{"key":"16_CR21","unstructured":"KAON 2, Universit\u00e4t Karlsruhe (TH), Germany, http:\/\/kaon2.semanticweb.org\/ (2005)"},{"key":"16_CR22","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, Prentice-Hall International Series in Computer Science Prentice Hall; 2nd edition (1992)"},{"key":"16_CR23","unstructured":"ISO\/IEC, Information Technology \u2014 Z Formal Specification Notation \u2014 Syntax, Type System and Semantics, ISO\/IEC 13568:2002 (2002)"},{"key":"16_CR24","unstructured":"Soldatos J., Pandis I., Stamatis K., Polymenakos L., Crowley J., \u2018A Middleware Infrastructure for Autonomous Context-Aware Computing Services\u2019, accepted for publication to the Computer Communications Magazine, special Issue on Emerging Middleware for Next Generation Networks (2005)."},{"key":"16_CR25","unstructured":"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\u201350."},{"key":"16_CR26","first-page":"16","volume-title":"the Proc. of the 2nd International Conference on Embedded Software and Systems","author":"I. Pandis","year":"2005","unstructured":"Pandis I., Soldatos J., Paar A., Reuter J., Carras M., Polymenakos L., \u2018An Ontology-based Framework for Dynamic Resource Management in Ubiquitous Computing Environments\u2019, in the Proc. of the 2nd International Conference on Embedded Software and Systems, Northwestern Polytechnical University of Xian, P. R. China, December 16\u201318. (2005)."}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence Applications and Innovations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-34224-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:56:29Z","timestamp":1558374989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-34224-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780387342238","9780387342245"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/0-387-34224-9_16","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2006]]}}}