Matches in SemOpenAlex for { <https://semopenalex.org/work/W4283322129> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4283322129 abstract "We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call role relational axioms. All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules." @default.
- W4283322129 created "2022-06-24" @default.
- W4283322129 creator A5045993299 @default.
- W4283322129 creator A5055931703 @default.
- W4283322129 date "2022-06-17" @default.
- W4283322129 modified "2023-09-27" @default.
- W4283322129 title "Uniform and Modular Sequent Systems for Description Logics" @default.
- W4283322129 doi "https://doi.org/10.48550/arxiv.2206.09020" @default.
- W4283322129 hasPublicationYear "2022" @default.
- W4283322129 type Work @default.
- W4283322129 citedByCount "0" @default.
- W4283322129 crossrefType "posted-content" @default.
- W4283322129 hasAuthorship W4283322129A5045993299 @default.
- W4283322129 hasAuthorship W4283322129A5055931703 @default.
- W4283322129 hasBestOaLocation W42833221291 @default.
- W4283322129 hasConcept C101468663 @default.
- W4283322129 hasConcept C108710211 @default.
- W4283322129 hasConcept C111404639 @default.
- W4283322129 hasConcept C11413529 @default.
- W4283322129 hasConcept C118615104 @default.
- W4283322129 hasConcept C136119220 @default.
- W4283322129 hasConcept C154945302 @default.
- W4283322129 hasConcept C167729594 @default.
- W4283322129 hasConcept C199343813 @default.
- W4283322129 hasConcept C199360897 @default.
- W4283322129 hasConcept C202444582 @default.
- W4283322129 hasConcept C2524010 @default.
- W4283322129 hasConcept C2777686260 @default.
- W4283322129 hasConcept C33923547 @default.
- W4283322129 hasConcept C41008148 @default.
- W4283322129 hasConcept C42011625 @default.
- W4283322129 hasConcept C5263885 @default.
- W4283322129 hasConcept C58166 @default.
- W4283322129 hasConcept C65880906 @default.
- W4283322129 hasConcept C71924100 @default.
- W4283322129 hasConcept C86602344 @default.
- W4283322129 hasConcept C89421646 @default.
- W4283322129 hasConceptScore W4283322129C101468663 @default.
- W4283322129 hasConceptScore W4283322129C108710211 @default.
- W4283322129 hasConceptScore W4283322129C111404639 @default.
- W4283322129 hasConceptScore W4283322129C11413529 @default.
- W4283322129 hasConceptScore W4283322129C118615104 @default.
- W4283322129 hasConceptScore W4283322129C136119220 @default.
- W4283322129 hasConceptScore W4283322129C154945302 @default.
- W4283322129 hasConceptScore W4283322129C167729594 @default.
- W4283322129 hasConceptScore W4283322129C199343813 @default.
- W4283322129 hasConceptScore W4283322129C199360897 @default.
- W4283322129 hasConceptScore W4283322129C202444582 @default.
- W4283322129 hasConceptScore W4283322129C2524010 @default.
- W4283322129 hasConceptScore W4283322129C2777686260 @default.
- W4283322129 hasConceptScore W4283322129C33923547 @default.
- W4283322129 hasConceptScore W4283322129C41008148 @default.
- W4283322129 hasConceptScore W4283322129C42011625 @default.
- W4283322129 hasConceptScore W4283322129C5263885 @default.
- W4283322129 hasConceptScore W4283322129C58166 @default.
- W4283322129 hasConceptScore W4283322129C65880906 @default.
- W4283322129 hasConceptScore W4283322129C71924100 @default.
- W4283322129 hasConceptScore W4283322129C86602344 @default.
- W4283322129 hasConceptScore W4283322129C89421646 @default.
- W4283322129 hasLocation W42833221291 @default.
- W4283322129 hasLocation W42833221292 @default.
- W4283322129 hasOpenAccess W4283322129 @default.
- W4283322129 hasPrimaryLocation W42833221291 @default.
- W4283322129 hasRelatedWork W1562648369 @default.
- W4283322129 hasRelatedWork W2023557900 @default.
- W4283322129 hasRelatedWork W2137780954 @default.
- W4283322129 hasRelatedWork W2513857873 @default.
- W4283322129 hasRelatedWork W2562634993 @default.
- W4283322129 hasRelatedWork W3090765541 @default.
- W4283322129 hasRelatedWork W3112266304 @default.
- W4283322129 hasRelatedWork W4289719533 @default.
- W4283322129 hasRelatedWork W4295728898 @default.
- W4283322129 hasRelatedWork W2584381231 @default.
- W4283322129 isParatext "false" @default.
- W4283322129 isRetracted "false" @default.
- W4283322129 workType "article" @default.