共 50 条
- [42] Efficient evaluation methods for guarded logics and datalog LITE LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 417 - 417
- [43] Transforming fuzzy description logics into classical description logics LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 385 - 399
- [44] Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies WEB REASONING AND RULE SYSTEMS, RR 2014, 2014, 8741 : 76 - 91
- [45] Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 475 - 489
- [47] Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules KI - Künstliche Intelligenz, 2020, 34 : 475 - 489
- [50] Description Logics REASONING WEB: SEMANTIC TECHNOLOGIES FOR INFORMATION SYSTEMS, 2009, 5689 : 1 - 39