Reasoning with Temporal Properties over Axioms of DL-Lite
Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier
Beitragende
Details
Originalsprache | Englisch |
---|---|
Publikationsstatus | Veröffentlicht - 2014 |
Publikationsreihe
Reihe | LTCS-Report |
---|---|
Nummer | 14-06 |