Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments ; volume:67 ; number:4 ; day:23 ; month:11 ; year:2023 ; pages:1-68 ; date:12.2023
Journal of automated reasoning ; 67, Heft 4 (23.11.2023), 1-68, 12.2023
- Classification
-
Informatik
- Creator
-
Zheng, Sen
Schmidt, Renate A.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09687-x
- URN
-
urn:nbn:de:101:1-2024022611120268684111
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Zheng, Sen
- Schmidt, Renate A.
- SpringerLink (Online service)
Other Objects (12)
Rewriting Approaches for Ontology-Mediated Query Answering
Rewriting declarative query languages
Temporal Query Answering in EL
Conjunctive Query Answering in Rough EL
Query answering in circumscribed OWL2 profiles
Cooperative Query Answering with Density Scores
On the Complexity of Temporal Query Answering
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Query Rewriting by Contract under Privacy Constraints
Flexible query answering systems : 8th international conference ; proceedings
Foundations of query answering in relational data exchange
Efficient query answering in peer data management systems
Rewriting Approaches for Ontology-Mediated Query Answering
Rewriting declarative query languages
Temporal Query Answering in EL
Conjunctive Query Answering in Rough EL
Query answering in circumscribed OWL2 profiles
Cooperative Query Answering with Density Scores
On the Complexity of Temporal Query Answering
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Query Rewriting by Contract under Privacy Constraints
Flexible query answering systems : 8th international conference ; proceedings
Foundations of query answering in relational data exchange
Efficient query answering in peer data management systems
Rewriting Approaches for Ontology-Mediated Query Answering
Rewriting declarative query languages
Temporal Query Answering in EL
Conjunctive Query Answering in Rough EL
Query answering in circumscribed OWL2 profiles
Cooperative Query Answering with Density Scores
On the Complexity of Temporal Query Answering
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Query Rewriting by Contract under Privacy Constraints
Flexible query answering systems : 8th international conference ; proceedings
Foundations of query answering in relational data exchange