An Overview of Tableau Algorithms for Description Logics 论文

2001Studia Logica引用 388
DOI
Logic, Reasoning, and KnowledgeSemantic Web and OntologiesService-Oriented Architecture and Web Services
Semantic Web and OntologiesLogic, Reasoning, and KnowledgeService-Oriented Architecture and Web Services
相关技术:Service-Oriented Architecture and Web Services
关系图谱

2

作者

1

相关技术

0

相关事件

0

相关文章

作者查看全部 (2)

U

Ulrike Sattler

F

Franz Baader

相关技术查看全部 (1)

Service-Oriented Architecture and Web Services

相关事件

暂无数据

相关文章

暂无数据