Matches in SemOpenAlex for { <https://semopenalex.org/work/W3195479647> ?p ?o ?g. }
- W3195479647 abstract "We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a concrete system to illustrate our approach, we investigate the polyadic version of ALC extended with relational permutation operators and tuple counting. The focus of the paper is conceptual rather than technical." @default.
- W3195479647 created "2021-08-30" @default.
- W3195479647 creator A5010305922 @default.
- W3195479647 creator A5059829668 @default.
- W3195479647 date "2021-08-19" @default.
- W3195479647 modified "2023-10-18" @default.
- W3195479647 title "Description logics as polyadic modal logics" @default.
- W3195479647 cites W1590216138 @default.
- W3195479647 cites W2964197294 @default.
- W3195479647 cites W3023381015 @default.
- W3195479647 cites W3196093711 @default.
- W3195479647 hasPublicationYear "2021" @default.
- W3195479647 type Work @default.
- W3195479647 sameAs 3195479647 @default.
- W3195479647 citedByCount "0" @default.
- W3195479647 crossrefType "posted-content" @default.
- W3195479647 hasAuthorship W3195479647A5010305922 @default.
- W3195479647 hasAuthorship W3195479647A5059829668 @default.
- W3195479647 hasConcept C102993220 @default.
- W3195479647 hasConcept C11191006 @default.
- W3195479647 hasConcept C114092440 @default.
- W3195479647 hasConcept C118615104 @default.
- W3195479647 hasConcept C118930307 @default.
- W3195479647 hasConcept C120665830 @default.
- W3195479647 hasConcept C121332964 @default.
- W3195479647 hasConcept C124101348 @default.
- W3195479647 hasConcept C136119220 @default.
- W3195479647 hasConcept C154945302 @default.
- W3195479647 hasConcept C160131679 @default.
- W3195479647 hasConcept C185592680 @default.
- W3195479647 hasConcept C188027245 @default.
- W3195479647 hasConcept C192209626 @default.
- W3195479647 hasConcept C202444582 @default.
- W3195479647 hasConcept C203659156 @default.
- W3195479647 hasConcept C21308566 @default.
- W3195479647 hasConcept C24890656 @default.
- W3195479647 hasConcept C25343380 @default.
- W3195479647 hasConcept C27508121 @default.
- W3195479647 hasConcept C33923547 @default.
- W3195479647 hasConcept C41008148 @default.
- W3195479647 hasConcept C42011625 @default.
- W3195479647 hasConcept C5263885 @default.
- W3195479647 hasConcept C58166 @default.
- W3195479647 hasConcept C71139939 @default.
- W3195479647 hasConcept C78344899 @default.
- W3195479647 hasConcept C80444323 @default.
- W3195479647 hasConcept C86602344 @default.
- W3195479647 hasConceptScore W3195479647C102993220 @default.
- W3195479647 hasConceptScore W3195479647C11191006 @default.
- W3195479647 hasConceptScore W3195479647C114092440 @default.
- W3195479647 hasConceptScore W3195479647C118615104 @default.
- W3195479647 hasConceptScore W3195479647C118930307 @default.
- W3195479647 hasConceptScore W3195479647C120665830 @default.
- W3195479647 hasConceptScore W3195479647C121332964 @default.
- W3195479647 hasConceptScore W3195479647C124101348 @default.
- W3195479647 hasConceptScore W3195479647C136119220 @default.
- W3195479647 hasConceptScore W3195479647C154945302 @default.
- W3195479647 hasConceptScore W3195479647C160131679 @default.
- W3195479647 hasConceptScore W3195479647C185592680 @default.
- W3195479647 hasConceptScore W3195479647C188027245 @default.
- W3195479647 hasConceptScore W3195479647C192209626 @default.
- W3195479647 hasConceptScore W3195479647C202444582 @default.
- W3195479647 hasConceptScore W3195479647C203659156 @default.
- W3195479647 hasConceptScore W3195479647C21308566 @default.
- W3195479647 hasConceptScore W3195479647C24890656 @default.
- W3195479647 hasConceptScore W3195479647C25343380 @default.
- W3195479647 hasConceptScore W3195479647C27508121 @default.
- W3195479647 hasConceptScore W3195479647C33923547 @default.
- W3195479647 hasConceptScore W3195479647C41008148 @default.
- W3195479647 hasConceptScore W3195479647C42011625 @default.
- W3195479647 hasConceptScore W3195479647C5263885 @default.
- W3195479647 hasConceptScore W3195479647C58166 @default.
- W3195479647 hasConceptScore W3195479647C71139939 @default.
- W3195479647 hasConceptScore W3195479647C78344899 @default.
- W3195479647 hasConceptScore W3195479647C80444323 @default.
- W3195479647 hasConceptScore W3195479647C86602344 @default.
- W3195479647 hasLocation W31954796471 @default.
- W3195479647 hasOpenAccess W3195479647 @default.
- W3195479647 hasPrimaryLocation W31954796471 @default.
- W3195479647 hasRelatedWork W1511295272 @default.
- W3195479647 hasRelatedWork W1531495956 @default.
- W3195479647 hasRelatedWork W1533250116 @default.
- W3195479647 hasRelatedWork W1570796240 @default.
- W3195479647 hasRelatedWork W1588790262 @default.
- W3195479647 hasRelatedWork W1991582431 @default.
- W3195479647 hasRelatedWork W2006614341 @default.
- W3195479647 hasRelatedWork W2008441772 @default.
- W3195479647 hasRelatedWork W2022355674 @default.
- W3195479647 hasRelatedWork W2086413166 @default.
- W3195479647 hasRelatedWork W2112997772 @default.
- W3195479647 hasRelatedWork W2150137870 @default.
- W3195479647 hasRelatedWork W2158942091 @default.
- W3195479647 hasRelatedWork W2185364470 @default.
- W3195479647 hasRelatedWork W2471253858 @default.
- W3195479647 hasRelatedWork W2518881239 @default.
- W3195479647 hasRelatedWork W2531526914 @default.
- W3195479647 hasRelatedWork W2773093770 @default.
- W3195479647 hasRelatedWork W3031573046 @default.
- W3195479647 hasRelatedWork W3105686525 @default.
- W3195479647 isParatext "false" @default.