FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140147652> ?p ?o ?g. }

• W2140147652 endingPage "212" @default.
• W2140147652 startingPage "205" @default.
• W2140147652 abstract "One of the main themes in the area of Terminological Reasoning has been to identify description logics (DLs) that are both very expressive and decidable. A recent paper by Schild showed that this issue can be profitably addressed by relying on a correspondence between DLs and propositional dynamic logics (PDL). However Schild left open three important problems, related to the translation into PDLs of functional restrictions on roles (both direct and inverse), number restrictions, and assertions on individuals. The work reported in this paper presents a solution to these problems. The results have a twofold significance. From the standpoint of DLs, we derive decidability and complexity results for some of the most expressive logics appeared in the literature, and from the standpoint of PDLs, we derive a general methodology for the representation of several forms of program determinism and for the specification of partial computations." @default.
• W2140147652 created "2016-06-24" @default.
• W2140147652 creator A5013290512 @default.
• W2140147652 creator A5055401331 @default.
• W2140147652 date "1994-08-01" @default.
• W2140147652 modified "2023-09-24" @default.
• W2140147652 title "Boosting the correspondence between description logics and propositional dynamic logics" @default.
• W2140147652 cites W1514356467 @default.
• W2140147652 cites W1519854400 @default.
• W2140147652 cites W1536088796 @default.
• W2140147652 cites W1547168887 @default.
• W2140147652 cites W1549360995 @default.
• W2140147652 cites W1601383106 @default.
• W2140147652 cites W1616151740 @default.
• W2140147652 cites W187485680 @default.
• W2140147652 cites W195403415 @default.
• W2140147652 cites W1974136241 @default.
• W2140147652 cites W1987019087 @default.
• W2140147652 cites W1989040088 @default.
• W2140147652 cites W2020514031 @default.
• W2140147652 cites W2028589691 @default.
• W2140147652 cites W2033071128 @default.
• W2140147652 cites W2057440130 @default.
• W2140147652 cites W2057513565 @default.
• W2140147652 cites W2127140110 @default.
• W2140147652 cites W2145465694 @default.
• W2140147652 cites W2159525276 @default.
• W2140147652 cites W2402038485 @default.
• W2140147652 cites W3022878487 @default.
• W2140147652 cites W53060394 @default.
• W2140147652 cites W5583809 @default.
• W2140147652 cites W72412611 @default.
• W2140147652 cites W80737574 @default.
• W2140147652 hasPublicationYear "1994" @default.
• W2140147652 type Work @default.
• W2140147652 sameAs 2140147652 @default.
• W2140147652 citedByCount "67" @default.
• W2140147652 countsByYear W21401476522012 @default.
• W2140147652 countsByYear W21401476522013 @default.
• W2140147652 countsByYear W21401476522014 @default.
• W2140147652 countsByYear W21401476522015 @default.
• W2140147652 countsByYear W21401476522016 @default.
• W2140147652 countsByYear W21401476522018 @default.
• W2140147652 countsByYear W21401476522019 @default.
• W2140147652 crossrefType "proceedings-article" @default.
• W2140147652 hasAuthorship W2140147652A5013290512 @default.
• W2140147652 hasAuthorship W2140147652A5055401331 @default.
• W2140147652 hasConcept C102993220 @default.
• W2140147652 hasConcept C11413529 @default.
• W2140147652 hasConcept C136119220 @default.
• W2140147652 hasConcept C14523651 @default.
• W2140147652 hasConcept C153269930 @default.
• W2140147652 hasConcept C154945302 @default.
• W2140147652 hasConcept C17744445 @default.
• W2140147652 hasConcept C1883856 @default.
• W2140147652 hasConcept C199343813 @default.
• W2140147652 hasConcept C199360897 @default.
• W2140147652 hasConcept C199539241 @default.
• W2140147652 hasConcept C202444582 @default.
• W2140147652 hasConcept C2776359362 @default.
• W2140147652 hasConcept C2777686260 @default.
• W2140147652 hasConcept C33203268 @default.
• W2140147652 hasConcept C33923547 @default.
• W2140147652 hasConcept C41008148 @default.
• W2140147652 hasConcept C42011625 @default.
• W2140147652 hasConcept C5263885 @default.
• W2140147652 hasConcept C58166 @default.
• W2140147652 hasConcept C69562738 @default.
• W2140147652 hasConcept C71924100 @default.
• W2140147652 hasConcept C80444323 @default.
• W2140147652 hasConcept C86602344 @default.
• W2140147652 hasConcept C94625758 @default.
• W2140147652 hasConcept C98224912 @default.
• W2140147652 hasConceptScore W2140147652C102993220 @default.
• W2140147652 hasConceptScore W2140147652C11413529 @default.
• W2140147652 hasConceptScore W2140147652C136119220 @default.
• W2140147652 hasConceptScore W2140147652C14523651 @default.
• W2140147652 hasConceptScore W2140147652C153269930 @default.
• W2140147652 hasConceptScore W2140147652C154945302 @default.
• W2140147652 hasConceptScore W2140147652C17744445 @default.
• W2140147652 hasConceptScore W2140147652C1883856 @default.
• W2140147652 hasConceptScore W2140147652C199343813 @default.
• W2140147652 hasConceptScore W2140147652C199360897 @default.
• W2140147652 hasConceptScore W2140147652C199539241 @default.
• W2140147652 hasConceptScore W2140147652C202444582 @default.
• W2140147652 hasConceptScore W2140147652C2776359362 @default.
• W2140147652 hasConceptScore W2140147652C2777686260 @default.
• W2140147652 hasConceptScore W2140147652C33203268 @default.
• W2140147652 hasConceptScore W2140147652C33923547 @default.
• W2140147652 hasConceptScore W2140147652C41008148 @default.
• W2140147652 hasConceptScore W2140147652C42011625 @default.
• W2140147652 hasConceptScore W2140147652C5263885 @default.
• W2140147652 hasConceptScore W2140147652C58166 @default.
• W2140147652 hasConceptScore W2140147652C69562738 @default.
• W2140147652 hasConceptScore W2140147652C71924100 @default.
• W2140147652 hasConceptScore W2140147652C80444323 @default.
• W2140147652 hasConceptScore W2140147652C86602344 @default.
• W2140147652 hasConceptScore W2140147652C94625758 @default.

• next