M Bienvenu, M Ortiz - Reasoning Web. Web Logic Rules: 11th …, 2015 - Springer
Recent years have seen an increasing interest in ontology-mediated query answering, in which the semantic knowledge provided by an ontology is exploited when querying data …
We discuss the use of various temporal knowledge representation formalisms for ontology- mediated query answering over temporal data. In particular, we analyse ontology and query …
The immense and constantly growing number of videos urges efficient automated processing mechanisms for multimedia contents, which is a real challenge due to the huge …
We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTL bin, an extension of the temporal logic LTL with succinctly …
We investigate ontology-based data access to temporal data. We consider temporal ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are …
Aiming at ontology-based data access to temporal data, we design two-dimensional temporal ontology and query languages by combining logics from the (extended) DL-Lite …
We study access to temporal data with TEL, a temporal extension of the tractable description logic EL. Our aim is to establish a clear computational complexity landscape for the atomic …
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the …