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 · 相关技术

暂无数据