A major challenge of pervasive context-aware computing and intelligent environments resides in the acquisition and modelling of rich and heterogeneous context data. Decisive aspects of this information are the ongoing human activities at different degrees of granularity. We conjecture that ontology-based activity models are key to support interoperable multilevel activity representation and recognition. In this paper, we report on an initial investigation about the application of probabilistic description logics (DLs) to a framework for the recognition of multilevel activities in intelligent environments. In particular, being based on Log-linear DLs, our approach leverages the potential of highly expressive description logics with probabilistic reasoning in one unified framework. While we believe that this approach is very promising, our preliminary investigation suggests that challenging research issues remain open, including extensive support for temporal reasoning, and optimizations to reduce the computational cost.

Existing robot guides are able to offer a tour of a building, such as a museum, bank, science center, to a single person or to a group of participants. Usually the tours are predefined and there is no support for dynamic interactions between multiple robots. This paper focuses on distributed collaboration between several robot guides providing a building tour to groups of participants. Semantic techniques are adopted in order to formally define the tour topics, available content on a specific topic, and the robot and human profiles including their interests and content knowledge. The robot guides select different topics depending on their participants' interests and prior knowledge. Optimization of the topics of interests is achieved through exchange of participants between the robot guides whenever in each others neighborhood. Evaluation of the implemented algorithms presents a 90% content coverage of relevant topics for the individual participants.

In this paper, we propose an approach that automatically extract users’ activities in sentences retrieved from Twitter. We then design a timeline action networkbased on Web Ontology Language (OWL). By using the proposed activity extraction approach, we can automatically collect data for the action network. Finally, we propose a novel action-based collaborative filtering, which predicts missing activity data, in order to complement this timeline network. Moreover, with a combination of collaborative filtering and natural language processing (NLP), our method can deal with minority actions such as successful actions. Based on evaluation of tweets which related to the massive Tohoku earthquake,we indicated that our timeline action network can provide useful action patterns in real-time. Not only earthquake disaster, our research can also be applied to other disasters and business models, such as typhoon,travel, marketing, etc.

Efforts by the pervasive, context-aware system development community have over the years produced a wide variety of context-aware techniques and frameworks. However, a bulk of this technology tends to be strictly tied to a native system, thus largely limiting its external adoption. In addressing this limitation, we introduce an interoperable context representation format, in the form of an ontology, which models core context-aware concepts for re-use within pervasive computing environments. The DCON Context Ontology is proposed as a novel vocabulary for the representation of activity context as experienced by a user, and sensed through one or more of their devices. We demonstrate how, combined with other domain ontologies, DCON provides for richer representations of multi-level context interpretations that are integrated with other known background information about a user.

In a Smarter City, available resources are harnessed safely, sustainably and efficiently to achieve positive, measurable economic and societal outcomes. Data and information from people, systems and things is the single most scalable resource available to city stakeholders but difficult to publish, organize, discover and consume, especially in a real-time context. Enabling city information as a utility, through a robust (expressive, dynamic, scalable) and (critically) a sustainable technology and socially synergistic ecosystem, could drive significant benefits and opportunities. In the context of stream data (as real-time, gigantic, noisy and private data), this paper targets research issues we identify as important to harness the fused information resources of cities, Citizens and Stakeholders to reach the concept of Smarter Cities.

We will like to call cities that enable such capabilities as, "semantic cities." In a semantic city, available resources are harnessed safely, sustainably and efficiently to achieve positive, measurable economic and societal outcomes. Enabling city information as a utility, through a robust (expressive, dynamic, scalable) and (critically) a sustainable technology and socially synergistic ecosystem could drive significant benefits and opportunities. Data (and then information and knowledge) from people, systems, and things is the single most scalable resource available to city stakeholders to reach the objective of semantic cities. Two major trends are supporting semantic cities -- open data and semantic web.

As many cities around the world provide access to raw public data along the Open Data movement, many questions arise concerning the accessibility of these data. Various data formats, duplicate identifiers, heterogeneous metadata schema descriptions, and diverse means to access or query the data exist. These factors make it difficult for consumers to reuse and integrate data sources to develop innovative applications. The Semantic Web provides a global solution to these problems by providing languages and protocols for describing and accessing datasets. This paper presents Datalift, a framework and a platform helping to lift raw data sources to semantic interlinked data sources.

We tackle the problem of defining a well-founded semantics for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In particular, we provide a well-founded semantics (WFS) for the recent Datalog+/- family of ontology languages, which covers several important description logics (DLs). To do so, we generalize Datalog+/- by non-stratified nonmonotonic negation in rule bodies, and we define a WFS for this generalization via guarded fixed-point logic. We refer to this approach as equality-friendly WFS, since it has the advantage that it does not make the unique name assumption (UNA); this brings it close to OWL and its profiles as well as typical DLs, which also do not make the UNA. We prove that for guarded Datalog+/- with negation under the equality-friendly WFS, conjunctive query answering is decidable, and we provide precise complexity results for this problem. From these results, we obtain precise definitions of the standard WFS extensions of EL and of members of the DL-Lite family, as well as corresponding complexity results for query answering.

A wealth of ontologies, many of which overlap in their scope, has made aligning ontologies an important problem for the semantic Web. Consequently, several algorithms now exist for automatically aligning ontologies, with mixed success in their performances. Crucial challenges for these algorithms involve scaling to large ontologies, and as applications of ontology alignment evolve, performing the alignment in a reasonable amount of time without compromising on the quality of the alignment. A class of alignment algorithms is iterative and often consumes more time than others while delivering solutions of high quality. We present a novel and general approach for speeding up the multivariable optimization process utilized by these algorithms. Specifically, we use the technique of block-coordinate descent in order to possibly improve the speed of convergence of the iterative alignment techniques. We integrate this approach into three well-known alignment systems and show that the enhanced systems generate similar or improved alignments in significantly less time on a comprehensive testbed of ontology pairs. This represents an important step toward making alignment techniques computationally more feasible.

Details of our work can be found in the technical report, which is available at http://gqi.limewebs.com/aaaist12.pdf. In this paper, we propose a new operator for revising ABoxes in DL-Lite ontologies.