Intelligent Transportation Systems need methods to automatically monitor the road traffic,
and especially track vehicles. Most research has concentrated on highways. Traffic in …

Abstract The Internet of Everything and Semantic Web can be joined by giving more
intelligence to pervasive systems. To that end, reasoning capabilities should be enabled …

Abstract The World Wide Web is moving from a Web of hyper-linked documents to a Web of
linked data. Thanks to the Semantic Web technological stack and to the more recent Linked …

Signature-based abduction aims at building hypotheses over a specified set of names, the
signature, that explain an observation relative to some background knowledge. This type of …

Semantic service coordination aims at the coherent and efficient discovery, composition,
negotiation, and execution of Semantic Web Services in a given environment and …

Sensor-mission assignment involves the allocation of sensor and other information-
providing resources to missions in order to cover the information needs of the individual …

Current technologies for Home and Building Automation (HBA) basically require an explicit
interaction with the user and allow a static set of operational scenarios defined during …

Abstract The Semantic Web and Internet of Things visions are converging toward the so-
called Semantic Web of Things (SWoT). It aims to enable smart semantic-enabled …

ABox abduction is an important reasoning mechanism for description logic ontologies. It
computes all minimal explanations (sets of ABox assertions) whose appending to a …

The complexity of logic-based abduction has been extensively studied for the case in which
the background knowledge is represented by a propositional theory, but very little is known …