Now showing items 1-10 of 1971
The Complexity of Clausal Fragments of LTL
We introduce and investigate a number of fragments of propositional temporal logic LTL over the flow of time (Z, <). The fragments are defined in terms of the available temporal operators and the structure of the clausal ...
Vernunft allein schafft keine Interkulturalität: Auf den Spuren eines Bildungsvisionärs
(Edizioni Alpha Beta, 2013)
Diversity of Bacillus anthracis strains in Georgia and of vaccine strains from the former Soviet Union
(American Society for Microbiology, 2006)
Despite the increased number of anthrax outbreaks in Georgia and the other Caucasian republics of the former Soviet Union, no data are available on the diversity of the Bacillus anthracis strains involved. There is also ...
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0,1] have been ...
Expressing DL-Lite ontologies with Controlled English
(Bozen-Bolzano University Press, 2007)
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expressing ontologies formalized in Description ...
Temporal OBDA with LTL and DL-Lite
We investigate various types of query rewriting over ontologies given in the standard temporal logic LTL as well as combinations of LTL with DL-Lite logics. In particular, we consider FO ( < )- rewritings that can use ...
Junior University Workshops for children
Culture and education should be for all, and this is even more felt in a period of crisis where private resources diminish. In particular, involving children in academia is a way of raising awareness of children, their ...
Life-Logging for Healthcare Proactive Advisory Systems
Proactive Advisory Systems (PASs) are an extension of Recommender Systems (RSs) that push suggestions and advice even if not explicitly requested, while adapting such advice to the specific contextual situation of the user. ...