Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
The current ever-growing evolution of mobile technologies suggests the possibility of accessing services, in an itinerant and ubiquitous way, through many kinds of mobile devices ...
Devis Bianchini, Valeria De Antonellis, Michele Me...
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...