Protege OWL的两个类的子类
[英]Protege OWL Subclass of two classes
问题描述
在OWL中拥有一个类是两个不同类的子类，是否有任何问题？
1 个解决方案
解决方案1
2 已采纳 2017-12-19 15:49:50
That is exactly the definition of the formal semantics of OWL. 
这正是OWL形式语义的定义。 For example, A SubClassOf B and A SubClassOf C is equivalent to the axiom A SubClassOf (B and C) 例如，A SubClassOf B和A SubClassOf C等效于公理A SubClassOf（B和C）
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.
相关问题
Owl Protege模型存储库 - Owl Protege model repository
OWL和Protege中的互补推理 - Complement reasoning in OWL and Protege
[Protege] OWL-什么是插槽？ - [Protege]OWL- What is a slot?
对Protege中复杂类的推断 - Inference on Complex Classes in Protege
Protege 4.1中的OWL本体和不良个体不一致 - Inconsistent OWL ontology and bad individuals in Protege 4.1
Protege OWL 文件中的最大个体数 - Maximum number of Individuals in Protege OWL file
猫头鹰导入错误在Protege中给出了解析错误 - Owl Importing Error gives parse error in Protege
使用JENA库和Protege更新OWL问题 - Updating OWL issue with JENA library and Protege
在OWL中混合EquivalentClass和SubClass - Mixing EquivalentClass and SubClass in OWL
合并两个owl文件并在一个文件中消除公共类 - merging two owl files and eliminate common classes in one file
相关标签