Analysing Temporal Reasoning in Description Logics Using Formal Grammars

Open in new window