如何解释："A subclassOf of B, C"？作为 rdfs / owl / 描述逻辑中的 AND 或 OR？
How is: "A subclassOf of B, C" interpreted? As AND or OR in rdfs / owl / description logic?
下面是不是在classA的成员是B和C的成员的意义上解释为交集（AND）；或作为 A 的成员是 B 的成员、C 的成员或两者的成员的析取 (OR)？
A rdf:type owl:Class ;
rdfs:subClassOf some B;
rdfs:subClassOf only C.
感谢您澄清这是如何解释的！
我发现它是 AND：
但是 Hermit 打破了它并使用单个公理（例如 A rdfs:subclassOf B）作为 A 到 B 的解释。我认为那是不可能的......？因为我会说 A 是 (B 和 C) 的子 class 而不仅仅是 A.
我可以引用 RDFS，并且考虑到 OWL 应该遵循这一点，我不认为那里有任何区别：
If a class C is a subclass of a class C', then all instances of C will also be instances of C'. The rdfs:subClassOf property may be used to state that one class is a subclass of another.
Class RDFS 中的继承公理是为了永远不会发生矛盾而构建的，因此这样的陈述在某种意义上只能是“加法”。此外，根据 RDF 中三元组的性质，我们知道 A rdfs:subClassOf B, C. 表示 A rdfs:subClassOf B. A rdfs:subClassOf C..
用集合的语言来表达，这样的构造就是A⊆B∧A⊆C，A的任意成员也是B的成员，andA的任意成员也是C的成员，因此A的任何成员都必须同时是B和C的成员。我们可以从集合和逻辑运算符的对偶性看出A⊆（B∩C）
等价地表达，在 C 中找不到的 B 的任何成员也一定不在 A 中（对于 B 和 C 交换也是如此）。
下面是不是在classA的成员是B和C的成员的意义上解释为交集（AND）；或作为 A 的成员是 B 的成员、C 的成员或两者的成员的析取 (OR)？
A rdf:type owl:Class ;
rdfs:subClassOf some B;
rdfs:subClassOf only C.
感谢您澄清这是如何解释的！
我发现它是 AND：
但是 Hermit 打破了它并使用单个公理（例如 A rdfs:subclassOf B）作为 A 到 B 的解释。我认为那是不可能的......？因为我会说 A 是 (B 和 C) 的子 class 而不仅仅是 A.
我可以引用 RDFS，并且考虑到 OWL 应该遵循这一点，我不认为那里有任何区别：
If a class C is a subclass of a class C', then all instances of C will also be instances of C'. The
rdfs:subClassOfproperty may be used to state that one class is a subclass of another.
Class RDFS 中的继承公理是为了永远不会发生矛盾而构建的，因此这样的陈述在某种意义上只能是“加法”。此外，根据 RDF 中三元组的性质，我们知道 A rdfs:subClassOf B, C. 表示 A rdfs:subClassOf B. A rdfs:subClassOf C..
用集合的语言来表达，这样的构造就是A⊆B∧A⊆C，A的任意成员也是B的成员，andA的任意成员也是C的成员，因此A的任何成员都必须同时是B和C的成员。我们可以从集合和逻辑运算符的对偶性看出A⊆（B∩C）
等价地表达，在 C 中找不到的 B 的任何成员也一定不在 A 中（对于 B 和 C 交换也是如此）。