共 50 条
- [21] Ontology-mediated service matching and adaptation [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS, 2003, 2889 : 197 - 209
- [22] Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2023, 76 : 645 - 703
- [23] First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries [J]. Journal of Artificial Intelligence Research, 2022, 75 : 1223 - 1291
- [24] Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic [J]. Journal of Artificial Intelligence Research, 2023, 76 : 645 - 703
- [25] Ontology-Mediated Probabilistic Model Checking [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 194 - 211
- [26] Ontology Driven Query Language for NoSQL Databases [J]. 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2017, : 951 - 956
- [27] First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 75 : 1223 - 1291
- [28] When is Ontology-Mediated Querying Efficient? [J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [29] Rewriting Approaches for Ontology-Mediated Query Answering [J]. KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 523 - 526
- [30] Query Rewriting for Ontology-Mediated Conditional Answers [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2734 - 2741