On the relative expressiveness of description logics and predicate logics 论文

1996Artificial Intelligence引用 362

Semantic Web and OntologiesLogic, Reasoning, and KnowledgeLogic, programming, and type systems

作者

Alex Borgida