问题标签 [protege4]

我正在尝试使用 SWRL 规则捕获冲突。我了解到 SWRL 确实支持空头规则（结果）。但是Protege 不允许定义这样的规则。我想要实现的一个虚拟示例是

这意味着不可能通过 hasSon 和 hasDaughter 属性将一个人与同一个人联系起来。如果在 protege 中不可能，请指导我如何实现这一目标。

I have a data properties hasCode that can assume one of this values:

• "1i"
• "2i"
• "3i"
• "4i"

What is the expression that I have to write for get this restriction?

Thank you so much

我在 Windows 机器上使用 Protege-5.0.0-beta-23。我创建了一个本体。我想用 OWLViz 可视化我的本体。我已经安装了 Graphviz，并从 Protege -> 首选项中正确设置了 Dot Application Path (C:\Program Files (x86)\Graphviz2.30\bin\dot.exe)。但是仍然在 Protege GUI 中，我没有看到 OWLViz 选项卡。请让我知道如何解决它。

自从Unable to download Pellet plugin for Protege 4.3提示该版本不可用以来，已经快一年了。有什么改变吗？

美好的一天，我想可视化 protege 4.3 中的概念及其实例。不幸的是，我在这个版本中没有找到 OntoViz 插件。您能在这种情况下提供帮助吗？例如，此任务是否有其他插件 非常感谢

即使到现在还没有完成，我也试图制作一个本体。我为此使用了protege。我使用本体文档进行数据库知识表示。实际上，现在我仍然很困惑如何将我的本体文档链接或连接到数据库以获取数据，因为在本体文档中我只有知识表示而不是数据。如果您有建议或解决方案，请告诉我，非常感谢。

我需要使用 Protégé 创建 RDF 容器列表、包或序列。

我还想知道如何在 OWL 本体中定义 RDF 语句和空白节点。

我是本体和 OWL 的新手，所以我需要一些帮助。

我有两个数据类型属性（或变量）：VARmin 和 VARmax。两者都必须 >=0 和 <=1。这个限制，我设法创建了，没关系。我这样做了：

(VARmin some float[<= 1, >= 0]) 和 (VARmax some float[<= 1, >= 0])

问题是我需要比较这些变量，就像这种形式：VARmin <= VARmax。我试过这个：

VARmin 一些浮点数[<=" 'VARmax' "^^float]

但我收到此错误：“UnsupportedOperationException：Value null 对 facet 32​​ 无效”

我研究了一些可能的解决方案来解决这个错误，我得到了关于特定数据类型的解释，比如“年”和比较整数的表格：https://mailman.stanford.edu/pipermail/p4-feedback/2007-October/000414。 html 但这不是我的情况。

我再次研究，但解决方案与我的问题不匹配。任何人都可以帮助我，拜托！

PS：我正在使用 Protégé 4.0 版和 Pellet reasoner 1.5

我正在使用 protege 创建语义模型，该模型使用命名空间http://www.w3.org/2001/XMLSchema#中的数据类型。

当我分析 DataType 列表时，我看到了两种或多或少相同的类型：http: //www.w3.org/2001/XMLSchema#dateTime和http://www.w3.org/2001/XMLSchema#dateTimeStamp .

所以我决心找出它们之间的差异，但问题是我在任何地方都找不到描述/定义。

谁能给我一个链接，我可以在其中看到包含这两种数据类型定义的文档？还是不再支持它们？

我导航到http://www.w3.org/2001/XMLSchema#和https://www.w3.org/2009/XMLSchema/XMLSchema.xsd但我找不到定义。

我已经阅读了本指南 ，我认为我理解得很好。我知道有类和其他类的类和实例。

基本上我有很多陈述，我必须根据本体来验证。例如：Eshtablish 标志在 0600h 的“区域”。
例 2：在 0500h 之前在 area1 和 area2 之间建立围栏。所以我知道例如 area 是一个类的实例，但是可以有很多区域。我知道 0500 是一个事物的数据属性，特别是一个区域。

问题是我无法理解如何将上面的“Eshtablish”之类的动作建模成猫头鹰的动作。

我还假设我需要一个推理器来验证来自客户端的这些实时语句（例如上面）针对本体。这个假设是真的吗？

另一件事是 protege beta(latest) 无法加载本体，即使是它自己创建的本体，你有这个问题吗？我要买旧版本。

谢谢