文献引用
复制
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81639,"Name":"计算机科学理论"},{"ID":81691,"Name":"可计算模型"},{"ID":81694,"Name":"描述逻辑"}]
描述逻辑ALC
/attributive language with complements/
最后更新 2022-01-20
浏览 343次
描述逻辑中最典型的语言之一，用于知识表示和推理。描述逻辑ALC的全称为attributive language with complements，由施密特·朔（Schmidt-Schau）和斯莫尔卡（Smolka）在1991年给出。
- 英文名称
- attributive language with complements
- 所属学科
- 计算机科学技术
- 提出者
- 施密特·朔（Schmidt-Schau）和斯莫尔卡（Smolka）
- 提出时间
- 1991
京公网安备 11010202008139号
