Context-aware computing enriches the capabilities of intelligent devices complemented with
smart applications and helps establish smart ecosystems in fields such as Ambient …

The notions of “situation” and “situation awareness” have been formulated by many authors
in various contexts. In this paper, we present a formalization of situations that is compatible …

With the Semantic Web data standards defined, more applications demand inference
engines in providing support for intelligent processing of the Semantic Web data. Rule …

This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines
the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is …

The massive spread of mobile computing in our daily lives has attracted a huge community
of mobile application (apps) developers. These developers can take advantage of the …

We present a survey of the current OWL reasoner landscape. Through literature and web
search we have identified 35 OWL reasoners that are, at least to some degree, actively …

The importance of visualization—discussed in the previous chapter—does not diminish the
critical role that algorithmic analysis plays in achieving CSA. Algorithms reason about the …

This paper describes a proof-of-concept prototype of an automated reasoning capability
exploiting ontologies expressed in description logic to support the maritime staff in detecting …

The syntactic information of a program can be represented as resource description
framework (RDF) triples called program triples. We propose an extensible static analysis …

With the Semantic Web data standards defined, more applications demand inference
engines in providing support for intelligent processing of the Semantic Web data. Rule …