Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Klassifikation
-
Informatik
- Urheber
-
Zheng, Sen
Schmidt, Renate A.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09687-x
- URN
-
urn:nbn:de:101:1-2024022611120268684111
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:45 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Zheng, Sen
- Schmidt, Renate A.
- SpringerLink (Online service)
Ähnliche Objekte (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