Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
使用 OWL 定义本体时,有没有办法说一个类
(在这里编辑:)
谢谢
OWL(通常)是关于给定一组 RDF 的蕴涵,而不是关于验证(尤其是关于结构)。
owl:Restriction
DatatypeProperties
xsd:pattern
更新:您也许可以使用SPIN来查询图形结构和内容以推断新的三元组。
使用以下 OWL 语法将 A 定义为抽象类
一个 subClassOf (unionOf [B, C]) 和 (disjoint[B, C])