biology computing; scientific information systems; inference mechanisms; knowledge representation languages; formal logic; semantic Web; semantic Web; description logic; animal systematics; natural life; structured hierarchical systems; language class; concept description; automatic classification; ontology definition; OWL-DL; scientific classification; taxonomic knowledge; Epopostruma; Australian Formicidae; ants; morphological characters; ALCQHIO/sub R+/(D)/sup -/; Racer syntax; consistency checking; biological systematics;
机译:Weil为语义网中的描述逻辑程序创建的语义
机译:语义网答案集语义下的模糊描述逻辑程序
机译:语义网的答案集语义下的紧密耦合模糊描述逻辑程序
机译:蚂蚁在语义网络中捕获:描述描述逻辑到动物系统性的研究
机译:语义网的联合描述逻辑。
机译:从文献中挖掘生物信息学网络资源的语义描述
机译:具有具体领域的描述逻辑系统:语义网的应用