Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385438961> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4385438961 abstract "Chase algorithms are indispensable in the domain of knowledge base querying, which enable the extraction of implicit knowledge from a given database via applications of rules from a given ontology. Such algorithms have proved beneficial in identifying logical languages which admit decidable query entailment. Within the discipline of proof theory, sequent calculi have been used to write and design proof-search algorithms to identify decidable classes of logics. In this paper, we show that the chase mechanism in the context of existential rules is in essence the same as proof-search in an extension of Gentzen's sequent calculus for first-order logic. Moreover, we show that proof-search generates universal models of knowledge bases, a feature also exhibited by the chase. Thus, we formally connect the main tool for establishing decidability proof-theoretically with a central decidability tool in the context of knowledge representation." @default.
- W4385438961 created "2023-08-01" @default.
- W4385438961 creator A5045993299 @default.
- W4385438961 creator A5061160726 @default.
- W4385438961 date "2023-09-01" @default.
- W4385438961 modified "2023-09-27" @default.
- W4385438961 title "Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules" @default.
- W4385438961 doi "https://doi.org/10.24963/kr.2023/79" @default.
- W4385438961 hasPublicationYear "2023" @default.
- W4385438961 type Work @default.
- W4385438961 citedByCount "0" @default.
- W4385438961 crossrefType "proceedings-article" @default.
- W4385438961 hasAuthorship W4385438961A5045993299 @default.
- W4385438961 hasAuthorship W4385438961A5061160726 @default.
- W4385438961 hasBestOaLocation W43854389611 @default.
- W4385438961 hasConcept C102993220 @default.
- W4385438961 hasConcept C105605280 @default.
- W4385438961 hasConcept C108710211 @default.
- W4385438961 hasConcept C111404639 @default.
- W4385438961 hasConcept C11413529 @default.
- W4385438961 hasConcept C134752490 @default.
- W4385438961 hasConcept C151730666 @default.
- W4385438961 hasConcept C153269930 @default.
- W4385438961 hasConcept C154945302 @default.
- W4385438961 hasConcept C159718280 @default.
- W4385438961 hasConcept C195653647 @default.
- W4385438961 hasConcept C199360897 @default.
- W4385438961 hasConcept C2318724 @default.
- W4385438961 hasConcept C2524010 @default.
- W4385438961 hasConcept C2779343474 @default.
- W4385438961 hasConcept C33923547 @default.
- W4385438961 hasConcept C41008148 @default.
- W4385438961 hasConcept C62073222 @default.
- W4385438961 hasConcept C6489637 @default.
- W4385438961 hasConcept C65880906 @default.
- W4385438961 hasConcept C80444323 @default.
- W4385438961 hasConcept C86803240 @default.
- W4385438961 hasConcept C89421646 @default.
- W4385438961 hasConceptScore W4385438961C102993220 @default.
- W4385438961 hasConceptScore W4385438961C105605280 @default.
- W4385438961 hasConceptScore W4385438961C108710211 @default.
- W4385438961 hasConceptScore W4385438961C111404639 @default.
- W4385438961 hasConceptScore W4385438961C11413529 @default.
- W4385438961 hasConceptScore W4385438961C134752490 @default.
- W4385438961 hasConceptScore W4385438961C151730666 @default.
- W4385438961 hasConceptScore W4385438961C153269930 @default.
- W4385438961 hasConceptScore W4385438961C154945302 @default.
- W4385438961 hasConceptScore W4385438961C159718280 @default.
- W4385438961 hasConceptScore W4385438961C195653647 @default.
- W4385438961 hasConceptScore W4385438961C199360897 @default.
- W4385438961 hasConceptScore W4385438961C2318724 @default.
- W4385438961 hasConceptScore W4385438961C2524010 @default.
- W4385438961 hasConceptScore W4385438961C2779343474 @default.
- W4385438961 hasConceptScore W4385438961C33923547 @default.
- W4385438961 hasConceptScore W4385438961C41008148 @default.
- W4385438961 hasConceptScore W4385438961C62073222 @default.
- W4385438961 hasConceptScore W4385438961C6489637 @default.
- W4385438961 hasConceptScore W4385438961C65880906 @default.
- W4385438961 hasConceptScore W4385438961C80444323 @default.
- W4385438961 hasConceptScore W4385438961C86803240 @default.
- W4385438961 hasConceptScore W4385438961C89421646 @default.
- W4385438961 hasLocation W43854389611 @default.
- W4385438961 hasLocation W43854389612 @default.
- W4385438961 hasOpenAccess W4385438961 @default.
- W4385438961 hasPrimaryLocation W43854389611 @default.
- W4385438961 hasRelatedWork W112730021 @default.
- W4385438961 hasRelatedWork W2033813295 @default.
- W4385438961 hasRelatedWork W2108922266 @default.
- W4385438961 hasRelatedWork W2591349272 @default.
- W4385438961 hasRelatedWork W2793983771 @default.
- W4385438961 hasRelatedWork W27959772 @default.
- W4385438961 hasRelatedWork W2806893870 @default.
- W4385438961 hasRelatedWork W2911183586 @default.
- W4385438961 hasRelatedWork W4385438961 @default.
- W4385438961 hasRelatedWork W162254089 @default.
- W4385438961 isParatext "false" @default.
- W4385438961 isRetracted "false" @default.
- W4385438961 workType "article" @default.