|
|
With the goal of addressing open and dynamic scenarios like the Web, in the first part of the seminar we introduce a semantic-oriented extension of the tuple space model. In our model, each tuple space is equipped with the ontological description of the coordination domain (e.g. expressed in W3C's OWL language). Tuples represent individuals of the domain along with their properties, and retrieval templates correspond to queries used to check whether an individual is the instance of an ontological concept (as typical in Description Logics, the logic of semantic reasoning). Differently from existing approaches in literature, we obtain a model that is fully expressive - compared to OWL - with a smooth extension of the standard syntactic setting of tuple spaces, namely, by an intuitive extension of the language for tuples and tuple templates. We discuss an incarnation of this model in the TuCSoN coordination model and infrastructure.
Then, in the second part of the seminar we show Description Logic per se is not powerful enough to represent vague/fuzzy knowledge so often required by real-world application scenarios. Hence, we show an extension of the semantic tuple centre model with fuzziness in order to support fuzzy semantic coordination.
funding project