Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387645420> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4387645420 endingPage "69" @default.
- W4387645420 startingPage "54" @default.
- W4387645420 abstract "Logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Description Logic (DL), we have put this advantage into practice by showing how proofs for consequences derived by DL reasoners can be computed and displayed in a user-friendly way. However, these methods are insufficient in applications where also numerical reasoning is relevant. The present paper considers proofs for DLs extended with concrete domains (CDs) based on the rational numbers, which leave reasoning tractable if integrated into the lightweight DL $$mathcal {E}mathcal {L} _bot $$ . Since no implemented DL reasoner supports these CDs, we first develop reasoning procedures for them, and show how they can be combined with reasoning approaches for pure DLs, both for $$mathcal {E}mathcal {L} _bot $$ and the more expressive DL $$mathcal {ALC}$$ . These procedures are designed such that it is easy to extract proofs from them. We show how the extracted CD proofs can be combined with proofs on the DL side into integrated proofs that explain both the DL and the CD reasoning." @default.
- W4387645420 created "2023-10-15" @default.
- W4387645420 creator A5020877951 @default.
- W4387645420 creator A5044293361 @default.
- W4387645420 creator A5072323649 @default.
- W4387645420 creator A5073784210 @default.
- W4387645420 creator A5086254817 @default.
- W4387645420 date "2023-01-01" @default.
- W4387645420 modified "2023-10-15" @default.
- W4387645420 title "Combining Proofs for Description Logic and Concrete Domain Reasoning" @default.
- W4387645420 cites W110295737 @default.
- W4387645420 cites W1480909796 @default.
- W4387645420 cites W1514379438 @default.
- W4387645420 cites W1515947275 @default.
- W4387645420 cites W153664291 @default.
- W4387645420 cites W1604657119 @default.
- W4387645420 cites W1978002064 @default.
- W4387645420 cites W2125967324 @default.
- W4387645420 cites W2259817465 @default.
- W4387645420 cites W2337512840 @default.
- W4387645420 cites W2998450600 @default.
- W4387645420 cites W3040061311 @default.
- W4387645420 cites W3081444138 @default.
- W4387645420 cites W3099486949 @default.
- W4387645420 cites W3101974058 @default.
- W4387645420 cites W3177831581 @default.
- W4387645420 cites W4225389498 @default.
- W4387645420 cites W4244275182 @default.
- W4387645420 cites W4249885861 @default.
- W4387645420 cites W4312237176 @default.
- W4387645420 cites W4324088609 @default.
- W4387645420 cites W4385682154 @default.
- W4387645420 cites W55962619 @default.
- W4387645420 doi "https://doi.org/10.1007/978-3-031-45072-3_4" @default.
- W4387645420 hasPublicationYear "2023" @default.
- W4387645420 type Work @default.
- W4387645420 citedByCount "0" @default.
- W4387645420 crossrefType "book-chapter" @default.
- W4387645420 hasAuthorship W4387645420A5020877951 @default.
- W4387645420 hasAuthorship W4387645420A5044293361 @default.
- W4387645420 hasAuthorship W4387645420A5072323649 @default.
- W4387645420 hasAuthorship W4387645420A5073784210 @default.
- W4387645420 hasAuthorship W4387645420A5086254817 @default.
- W4387645420 hasConcept C102993220 @default.
- W4387645420 hasConcept C108710211 @default.
- W4387645420 hasConcept C118615104 @default.
- W4387645420 hasConcept C134306372 @default.
- W4387645420 hasConcept C136119220 @default.
- W4387645420 hasConcept C154945302 @default.
- W4387645420 hasConcept C195344581 @default.
- W4387645420 hasConcept C199343813 @default.
- W4387645420 hasConcept C199360897 @default.
- W4387645420 hasConcept C202444582 @default.
- W4387645420 hasConcept C2524010 @default.
- W4387645420 hasConcept C2777686260 @default.
- W4387645420 hasConcept C33923547 @default.
- W4387645420 hasConcept C36503486 @default.
- W4387645420 hasConcept C41008148 @default.
- W4387645420 hasConcept C71924100 @default.
- W4387645420 hasConcept C80444323 @default.
- W4387645420 hasConcept C9616225 @default.
- W4387645420 hasConceptScore W4387645420C102993220 @default.
- W4387645420 hasConceptScore W4387645420C108710211 @default.
- W4387645420 hasConceptScore W4387645420C118615104 @default.
- W4387645420 hasConceptScore W4387645420C134306372 @default.
- W4387645420 hasConceptScore W4387645420C136119220 @default.
- W4387645420 hasConceptScore W4387645420C154945302 @default.
- W4387645420 hasConceptScore W4387645420C195344581 @default.
- W4387645420 hasConceptScore W4387645420C199343813 @default.
- W4387645420 hasConceptScore W4387645420C199360897 @default.
- W4387645420 hasConceptScore W4387645420C202444582 @default.
- W4387645420 hasConceptScore W4387645420C2524010 @default.
- W4387645420 hasConceptScore W4387645420C2777686260 @default.
- W4387645420 hasConceptScore W4387645420C33923547 @default.
- W4387645420 hasConceptScore W4387645420C36503486 @default.
- W4387645420 hasConceptScore W4387645420C41008148 @default.
- W4387645420 hasConceptScore W4387645420C71924100 @default.
- W4387645420 hasConceptScore W4387645420C80444323 @default.
- W4387645420 hasConceptScore W4387645420C9616225 @default.
- W4387645420 hasLocation W43876454201 @default.
- W4387645420 hasOpenAccess W4387645420 @default.
- W4387645420 hasPrimaryLocation W43876454201 @default.
- W4387645420 hasRelatedWork W2101552159 @default.
- W4387645420 hasRelatedWork W2214104119 @default.
- W4387645420 hasRelatedWork W2350354245 @default.
- W4387645420 hasRelatedWork W2398931073 @default.
- W4387645420 hasRelatedWork W2542061993 @default.
- W4387645420 hasRelatedWork W2737855517 @default.
- W4387645420 hasRelatedWork W3127511143 @default.
- W4387645420 hasRelatedWork W328331695 @default.
- W4387645420 hasRelatedWork W4323715042 @default.
- W4387645420 hasRelatedWork W4385682154 @default.
- W4387645420 isParatext "false" @default.
- W4387645420 isRetracted "false" @default.
- W4387645420 workType "book-chapter" @default.