The Use of Situation Theory in Context Modeling

Akman, Varol; Surav, Mehmet

doi:10.1111/0824-7935.00046

Cited by 68 publications

(27 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another early representative of this type of approach is the theory of situations introduced by Akram et al [16]. This approach was inspired by the theory proposed by Barwise et al [17].…”

Section: C0: Ist ( Context -Of ( Sherlock Holmes Stories) Holmes Is mentioning

confidence: 99%

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Ameyed¹,

Miraoui²,

Tadj³

2016

ijacsa

View full text Add to dashboard Cite

Abstract-Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. Given the permanent evolution of context-aware systems, context modeling is still a complex task, due to the lack of an adequate, dynamic, formal and relevant context representation. This paper discusses various context modeling approaches and previous logic-based works. It also proposes a preliminary formal spatiotemporal context modelling based on first order logic, derived from the structure of natural languages.

show abstract

“…Another early representative of this type of approach is the theory of situations introduced by Akram et al [16]. This approach was inspired by the theory proposed by Barwise et al [17].…”

Section: C0: Ist ( Context -Of ( Sherlock Holmes Stories) Holmes Is mentioning

confidence: 99%

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Ameyed¹,

Miraoui²,

Tadj³

2016

ijacsa

View full text Add to dashboard Cite

show abstract

“…Giunchiglia [6] additionally emphasizes locality and the need for structured representations of knowledge. Different approaches to formalizing context have been proposed in the last decades and they have been discussed in overview articles [81,82].…”

Section: Related Workmentioning

confidence: 99%

Higher-order aspects and context in SUMO

Benzmüller

Pease

2012

Journal of Web Semantics

View full text Add to dashboard Cite

This article addresses the automation of higher-order aspects in expressive ontologies such as the Suggested Upper Merged Ontology SUMO. Evidence is provided that modern higher-order automated theorem provers like LEO-II can be fruitfully employed for the task. A particular focus is on embedded formulas (formulas as terms), which are used in SUMO, for example, for modeling temporal, epistemic, or doxastic contexts. This modeling is partly in conflict with SUMO's assumption of a bivalent, classical semantics and it may hence lead to counterintuitive reasoning results with automated theorem provers in practice. A solution is proposed that maps SUMO to quantified multimodal logic which is in turn modeled as a fragment of classical higher-order logic. This way automated higher-order theorem provers can be safely applied for reasoning about modal contexts in SUMO.Our findings are of wider relevance as they analogously apply to other expressive ontologies and knowledge representation formalisms.

show abstract

“…key-value model [7], markup scheme model [8], graphical model [9], object oriented model [10], logic based model [11] and ontology based model [12]- [21]. Ontology based context model has been shown to be the most effective one with variety of reasons, e.g.…”

Section: Related Workmentioning

confidence: 99%

“…In formula (11), sd(DP o∩ DP pre-o ) is to represent the similar degree of two sets, computed based on similarity of all the pairs of similar features.…”

Section: Df Sim(o Pre-o)mentioning

confidence: 99%

A Flexible and Accurate Reasoning Method for Danger-Aware Services Based on Context Similarity from Feature Point of View

Wang

Cheng²,

Chen

et al. 2011

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYContext awareness is viewed as one of the most important goals in the pervasive computing paradigm. As one kind of context awareness, danger awareness describes and detects dangerous situations around a user, and provides services such as warning to protect the user from dangers. One important problem arising in danger-aware systems is that the description/definition of dangerous situations becomes more and more complex, since many factors have to be considered in such description, which brings a big burden to the developers/users and thereby reduces the reliability of the system. It is necessary to develop a flexible reasoning method, which can ease the description/definition of dangerous situations by reasoning dangers using limited specified/predefined contexts/rules, and increase system reliability by detecting unspecified dangerous situations. Some reasoning mechanisms based on context similarity were proposed to address the above problems. However, the current mechanisms are not so accurate in some cases, since the similarity is computed from only basic knowledge, e.g. nature property, such as material, size etc, and category information, i.e. they may cause false positive and false negative problems. To solve the above problems, in this paper we propose a new flexible and accurate method from feature point of view. Firstly, a new ontology explicitly integrating basic knowledge and danger feature is designed for computing similarity in danger-aware systems. Then a new method is proposed to compute object similarity from both basic knowledge and danger feature point of views when calculating context similarity. The method is implemented in an indoor ubiquitous test bed and evaluated through experiments. The experiment result shows that the accuracy of system can be effectively increased based on the comparison between system decision and estimation of human observers, comparing with the existing methods. And the burden of defining dangerous situations can be decreased by evaluating trade-off between the system's accuracy and burden of defining dangerous situations.

show abstract

The Use of Situation Theory in Context Modeling

Cited by 68 publications

References 8 publications

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Higher-order aspects and context in SUMO

A Flexible and Accurate Reasoning Method for Danger-Aware Services Based on Context Similarity from Feature Point of View

Contact Info

Product

Resources

About