
handle: 2434/171082 , 2434/53449
Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can occur within DL concept descriptions. In this setting, reasoning usually becomes quite hard if rigid roles, i.e., roles whose interpretation does not change over time, are available. In this paper, we consider the case where temporal operators are allowed to occur only in front of DL axioms (i.e., ABox assertions and general concept inclusion axioms), but not inside of concepts descriptions. As the temporal component, we use linear temporal logic (LTL) and in the DL component we consider the basic DL ALC. We show that reasoning in the presence of rigid roles becomes considerably simpler in this setting.
Subsumtion, lineare temporale Logik, Beschreibungslogik, ddc:004, description logics ; ontologies ; temporal logics, Theory; Verification; Knowledge representation; complexity; description logics; temporal extensions, subsumption, linear temporal logic, description logic, info:eu-repo/classification/ddc/004
Subsumtion, lineare temporale Logik, Beschreibungslogik, ddc:004, description logics ; ontologies ; temporal logics, Theory; Verification; Knowledge representation; complexity; description logics; temporal extensions, subsumption, linear temporal logic, description logic, info:eu-repo/classification/ddc/004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 30 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
