共 50 条
- [1] Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, 2023, 13880 : 216 - 231
- [3] Trust and Hybrid Reasoning for Ontological Knowledge Bases [J]. WWW'14 COMPANION: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON WORLD WIDE WEB, 2014, : 1189 - 1194
- [4] Reasoning about hybrid probabilistic knowledge bases [J]. PRICAI 2006: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4099 : 130 - 139
- [6] GKC: A Reasoning System for Large Knowledge Bases [J]. AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 538 - 549
- [7] QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases [J]. SEMANTIC WEB - ISWC 2011, PT I, 2011, 7031 : 730 - 745
- [8] Datalog Reasoning over Compressed RDF Knowledge Bases [J]. PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM '19), 2019, : 2065 - 2068
- [9] Reasoning over RDF Knowledge Bases: Where We Are [J]. AI*IA 2017 ADVANCES IN ARTIFICIAL INTELLIGENCE, 2017, 10640 : 243 - 255
- [10] Reasoning over Linear Probabilistic Knowledge Bases with Priorities [J]. SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 121 - 136