Computing Least Common Subsumers in Expressive Description Logics

机译：描述逻辑ALE中最不常见的使用者的紧凑表示

机译：具有存在和数量限制的描述逻辑中的结构包含和最小公共包含

机译：在RDF中定义和计算最少的普通使用者

机译：一种基于Tableaux的用于计算表达描述逻辑的最小公共消费者的方法

机译：表达描述逻辑的自动语义遗忘

机译：为什么要艰难？ SNOMED的表达描述逻辑的情况

机译：计算描述逻辑中的概率最小公有消费者

机译：可计算函数的逻辑机器实现的描述，

机译：用于生成逻辑集成电路的硬件操作描述的逻辑集成电路，逻辑集成电路设计方法和硬件描述生成方法

机译：信号状态分析和注入方法，例如专用集成电路，涉及将数据与逻辑描述芯片合并，并计算信号的信号状态

机译：逻辑集成电路，其设计方法和硬件描述生成方法用于生成硬件操作的逻辑集成电路描述