共 50 条
- [31] Bounded model checking with description logic reasoning AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 60 - +
- [32] A diagrammatic reasoning system for the description logic ALC JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (05): : 539 - 573
- [34] Reasoning in Description Logic Ontologies for Privacy Management KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 411 - 415
- [35] A Parameterized Complexity View on Description Logic Reasoning SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 359 - 368
- [36] Automatic image description based on textual data JOURNAL ON DATA SEMANTICS VII, 2006, 4244 : 196 - 218
- [39] A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System WEB TECHNOLOGIES AND APPLICATIONS, 2011, 6612 : 345 - +
- [40] Error-Tolerant Reasoning in the Description Logic εL Based on Optimal Repairs RULES AND REASONING, RULEML+RR 2022, 2022, 13752 : 227 - 243