On the relative expressiveness of description logics and predicate logics 论文
1996Artificial Intelligence引用 362
Semantic Web and OntologiesLogic, Reasoning, and KnowledgeLogic, programming, and type systems
On the relative expressiveness of description logics and predicate logics · 相关技术
暂无数据