[PDF][PDF] Lightweight description logics and branching time: A troublesome marriage
V Gutiérrez-Basulto, JC Jung… - … Conference on the …, 2014 - cdn.aaai.org
We study branching-time temporal description logics (BTDLs) based on the temporal logic
CTL in the presence of rigid (time-invariant) roles and general TBoxes. There is evidence
that, if full CTL is combined with the classical ALC in this way, reasoning becomes
undecidable. In this paper, we begin by substantiating this claim, establishing undecidability
for a fragment of this combination. In view of this negative result, we then investigate BTDLs
that emerge from combining fragments of CTL with lightweight DLs from the EL and DL-Lite …
CTL in the presence of rigid (time-invariant) roles and general TBoxes. There is evidence
that, if full CTL is combined with the classical ALC in this way, reasoning becomes
undecidable. In this paper, we begin by substantiating this claim, establishing undecidability
for a fragment of this combination. In view of this negative result, we then investigate BTDLs
that emerge from combining fragments of CTL with lightweight DLs from the EL and DL-Lite …
[PDF][PDF] Lightweight Description Logics & Branching Time: A Troublesome Marriage
VGBJC Jung - informatik.uni-bremen.de
… Description logics are inherently atemporal … modal description logics Components: DL
of your choice + temporal operators, eg: E✸ϕ “in some future, eventually ϕ” A✷ϕ “in all
futures, always ϕ” A ϕ “in all futures, next time ϕ” Example: …
of your choice + temporal operators, eg: E✸ϕ “in some future, eventually ϕ” A✷ϕ “in all
futures, always ϕ” A ϕ “in all futures, next time ϕ” Example: …
以上显示的是最相近的搜索结果。 查看全部搜索结果