OWL 中可以存在命名限制吗？

发布于 2024-12-27 21:31:08 字数 404 浏览 5 评论 0原文

我们可以将限制定义为命名类吗？我的意思是，不要使用这个：

:myclass owl:equivalentClass 
         [ rdf:type owl:Restriction ;
           owl:onProperty :hasAge ;
           owl:cardinality "2"^^xsd:nonNegativeInteger ] .

使用这个：

:myclass rdf:type owl:Restriction ;
         owl:onProperty :hasAge ;
         owl:cardinality "2"^^xsd:nonNegativeInteger.

可以吗？

原文

Can we define a restriction as a named class? I mean, instead of using this:

:myclass owl:equivalentClass 
         [ rdf:type owl:Restriction ;
           owl:onProperty :hasAge ;
           owl:cardinality "2"^^xsd:nonNegativeInteger ] .

to use this:

:myclass rdf:type owl:Restriction ;
         owl:onProperty :hasAge ;
         owl:cardinality "2"^^xsd:nonNegativeInteger.

Is that ok?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

情泪▽动烟 2025-01-03 21:31:08

是的，那绝对没问题。这也许有点不寻常，但据我所知，OWL 规范中没有任何内容强制限制是匿名的。事实上，按照您的建议命名它们可以使在多个类中重用限制变得更加容易。

回复收藏 0 原文

不念旧人 2025-01-03 21:31:08

是的，您可以为限制命名，只需声明一个命名类相当于该限制即可。 OWL 文档中有很多示例，请参见

其中你会发现这样的例子

EquivalentClasses(
    :HappyPerson 
    ObjectAllValuesFrom( :hasChild :HappyPerson )
)

EquivalentClasses(
    :NarcisticPerson 
    ObjectHasSelf( :loves ) 
)

EquivalentClasses(
    a:DogOwner
    ObjectSomeValuesFrom( a:hasPet a:Dog )
)

Yes, you can give names to restrictions, just declare that a named class is equivalent to the restriction. There are plenty of examples in the OWL documentation, see e.g.

where you find examples like

EquivalentClasses(
    :HappyPerson 
    ObjectAllValuesFrom( :hasChild :HappyPerson )
)

EquivalentClasses(
    :NarcisticPerson 
    ObjectHasSelf( :loves ) 
)

EquivalentClasses(
    a:DogOwner
    ObjectSomeValuesFrom( a:hasPet a:Dog )
)

回复收藏 0 原文

~没有更多了~