共 50 条
- [41] Some approaches of ontology decomposition in description logics COMPLEX SYSTEMS CONCURRENT ENGINEERING: COLLABORATION, TECHNOLOGY INNOVATION AND SUSTAINABILITY, 2007, : 537 - +
- [42] Description logics as ontology languages for the semantic web MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 228 - 248
- [43] Consequence-based reasoning for description logics with disjunctions and number restrictions 1600, AI Access Foundation (63):
- [44] Using description logics for knowledge intensive case-based reasoning ADVANCES IN CASE-BASED REASONING, 1996, 1168 : 204 - 218
- [46] A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics INFORMATION COMPUTING AND APPLICATIONS, PT 1, 2012, 307 : 192 - +
- [47] Using description logics for case-based reasoning in hybrid diagnosis INTELLIGENT PROBLEM SOLVING: METHODOLOGIES AND APPROACHES, PRODEEDINGS, 2000, 1821 : 357 - 366
- [48] Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 63 : 625 - 690
- [49] Decomposition-based Reasoning for Large Knowledge Bases in Description Logics LEADING THE WEB IN CONCURRENT ENGINEERING: NEXT GENERATION CONCURRENT ENGINEERING, 2006, 143 : 288 - +
- [50] Reasoning in expressive description logics with fixpoints based on automata on infinite trees IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 84 - 89