The use of formal ontology to specify context in ubiquitous computing

Karin K. Breitman; Michael G. Hinchey

doi:10.1007/978-3-540-88479-8_40

The use of formal ontology to specify context in ubiquitous computing

Karin K. Breitman, Michael G. Hinchey

Department of Computer Science & Information Systems

Pontifícia Universidade Católica do Rio de Janeiro

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Although context-awareness is a central paradigm for the implementation of ubiquitous systems, it still lacks adequate representation models, methods and tools that support the development of such systems. Particularly, in order to secure interoperability and allow device interaction, software applications are required to provide unambiguous data and device representation models. In this paper we argue in favor of the use of formal ontology as the tool to formalize the notion of context, describe the interplay between systems and environments and, ultimately, enable verification. Ontologies allow machines to process and integrate devices intelligently, enable quick and accurate search, facilitate communication between a multitude of heterogeneous devices and enable reasoning [22].

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings
Publisher	Springer Verlag
Pages	561-571
Number of pages	11
ISBN (Print)	3540884785, 9783540884781
DOIs	https://doi.org/10.1007/978-3-540-88479-8_40
Publication status	Published - 2008

Publication series

Name	Communications in Computer and Information Science
Volume	17 CCIS
ISSN (Print)	1865-0929

Access to Document

10.1007/978-3-540-88479-8_40

Cite this

Breitman, K. K., & Hinchey, M. G. (2008). The use of formal ontology to specify context in ubiquitous computing. In Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings (pp. 561-571). (Communications in Computer and Information Science; Vol. 17 CCIS). Springer Verlag. https://doi.org/10.1007/978-3-540-88479-8_40

@inproceedings{f5806716b75e4bafa3c4ad42af1409aa,

title = "The use of formal ontology to specify context in ubiquitous computing",

abstract = "Although context-awareness is a central paradigm for the implementation of ubiquitous systems, it still lacks adequate representation models, methods and tools that support the development of such systems. Particularly, in order to secure interoperability and allow device interaction, software applications are required to provide unambiguous data and device representation models. In this paper we argue in favor of the use of formal ontology as the tool to formalize the notion of context, describe the interplay between systems and environments and, ultimately, enable verification. Ontologies allow machines to process and integrate devices intelligently, enable quick and accurate search, facilitate communication between a multitude of heterogeneous devices and enable reasoning [22].",

author = "Breitman, {Karin K.} and Hinchey, {Michael G.}",

year = "2008",

doi = "10.1007/978-3-540-88479-8_40",

language = "English",

isbn = "3540884785",

series = "Communications in Computer and Information Science",

publisher = "Springer Verlag",

pages = "561--571",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings",

}

Breitman, KK & Hinchey, MG 2008, The use of formal ontology to specify context in ubiquitous computing. in Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Communications in Computer and Information Science, vol. 17 CCIS, Springer Verlag, pp. 561-571. https://doi.org/10.1007/978-3-540-88479-8_40

The use of formal ontology to specify context in ubiquitous computing. / Breitman, Karin K.; Hinchey, Michael G.
Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Springer Verlag, 2008. p. 561-571 (Communications in Computer and Information Science; Vol. 17 CCIS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The use of formal ontology to specify context in ubiquitous computing

AU - Breitman, Karin K.

AU - Hinchey, Michael G.

PY - 2008

Y1 - 2008

N2 - Although context-awareness is a central paradigm for the implementation of ubiquitous systems, it still lacks adequate representation models, methods and tools that support the development of such systems. Particularly, in order to secure interoperability and allow device interaction, software applications are required to provide unambiguous data and device representation models. In this paper we argue in favor of the use of formal ontology as the tool to formalize the notion of context, describe the interplay between systems and environments and, ultimately, enable verification. Ontologies allow machines to process and integrate devices intelligently, enable quick and accurate search, facilitate communication between a multitude of heterogeneous devices and enable reasoning [22].

AB - Although context-awareness is a central paradigm for the implementation of ubiquitous systems, it still lacks adequate representation models, methods and tools that support the development of such systems. Particularly, in order to secure interoperability and allow device interaction, software applications are required to provide unambiguous data and device representation models. In this paper we argue in favor of the use of formal ontology as the tool to formalize the notion of context, describe the interplay between systems and environments and, ultimately, enable verification. Ontologies allow machines to process and integrate devices intelligently, enable quick and accurate search, facilitate communication between a multitude of heterogeneous devices and enable reasoning [22].

UR - http://www.scopus.com/inward/record.url?scp=85099426888&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-88479-8_40

DO - 10.1007/978-3-540-88479-8_40

M3 - Conference contribution

AN - SCOPUS:85099426888

SN - 3540884785

SN - 9783540884781

T3 - Communications in Computer and Information Science

SP - 561

EP - 571

BT - Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings

PB - Springer Verlag

ER -

The use of formal ontology to specify context in ubiquitous computing

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this