Vol-1013⫷ Vol-1014 ⫸Vol-1015
urn:nbn:de:0074-1014-0


None⫷None⫸None
Francesco PagliarecciGilberto TaccariLuca Spalazzi

Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL