Rdf 为什么在OWL OWA下可以使用此约束样式？是否有标准的解决方法？

我在Protege 5中有这样的层次结构：

Class: Song  
----->subclass: HappySong  
equivalent: Song and (HasWord exactly 0 SadWord) and (HasWord some HappyWord) and (HasWord min 0 NeutralWord)
  

----->subclass: SadSong  
equivalent: Song and (HasWord some SadWord) and (HasWord exactly 0 HappyWord) and (HasWord min 0 NeutralWord)  
    

Class: Word  
----->subclass: HappyWord  
----->subclass: SadWord  
----->subclass: NeutralWord  


DataProperty: hasWord  
----->domain: Song  
----->range: Word  


Intances of Song:  

song_1:  
HasWord joy (instance of HappyWord)  
HasWord meh (instance of NeutralWord)  

song_2:  
HasWord boohoo (instance of SadWord)  
HasWord meh (instance of NeutralWord)  
HasWord loss (instance of SadWord)  

song_3:  
HasWord boohoo (instance of SadWord)  
HasWord meh (instance of NeutralWord)  
HasWord loss (instance of SadWord)  
HasWord joy (instance of HappyWord)  

我正在运行隐士推理机（并尝试了其他），这显然是不一致的。我认为这个本体论可以让我推断song_1是一首快乐的歌，song_2是悲伤的，song_3仍然只是一首歌，因为它不能满足类成员的约束。在这之后，我想把它放到graphDB中，用SPARQL查询查看共享的中性词、常用词等

---

我如何实现这些类约束的问题是什么？这种约束是否可以在Protege 5中实现？如果是，如何定义？

由于OWL OWA（开放世界假设），我们需要使用SHACL或Shex（如–uninformadeuser所述）来定义个体群体，根据他们缺少的属性（约束）。

我猜你只是误解了OWL-它没有“约束”的概念，它只是关于推理，即从显式陈述中推断出隐式陈述。是的，开放世界假设是这里的“问题”。所以，基本上OWL是错误的模型约束方法，像SHACL，SheX这样的语言是为这个任务设计的。顺便问一下，几天前我们在同一个领域遇到了一个类似的问题，你们在做大学作业吗？不幸的是，政府删除了这个问题，这在过去几天是一个奇怪的趋势。我的想法是为其他用户保留知识，比如你。是的，另一个问题是我，但它是模棱两可的，我结束它是为了让这个问题更好地抓住我对OWL OWA的具体误解。因此，在OWL/OWA中，我只能根据实体在本体中“有”什么关系来推断，而不是我的约束（通过考虑实体“没有”什么关系来工作）？我这样认为，因为我尝试删除了所有类型的公理（最大0，不（有一些），确切地说是0），并且它分类正确。填充之后，我是否可能使用sparql来查询rdf中的“形状”，或者我仍然需要使用shacl？当然，您也可以通过sparql查询来制定约束，并检查是否存在冲突