门卫
所以，OWL/Protégé有一点我不太明白：
假设我有一个类Clazz，它是一个枚举类，只包含个人I1和I2。然后，我创建了第三个单独的I3，并将其声明为Clazz类型。如果我现在启动一个推理器，我希望它能在所有（或至少一些）的印第安人之间推断出一个same个性化。事实并非如此，我用隐士和颗粒推理器进行了测试。
如果我明确指出这三个人彼此不同，本体就会变得不一致。有谁能告诉我，为什么在第一个案例中，这些人在保护区中没有出现sameIndividualAs？
共有1个答案
由于OWL中没有唯一的名称假设，所以本体是一致的，直到明确断言手动键入的个体与定义类的所有个体（该集合受限于OWL:oneOf）是OWL:different。如果没有断言，如果有多个个体，那么唯一可以推断的是，在您的情况下，应与其中一个人相同，但没有信息可确定是哪一个人。您可以通过将I1和I2是类Clazz的成员<代码>I3Clazz定义为owl:oneOf:I1来消除这种歧义。这样就不会有歧义和足够的信息来推断：I3 owl:sameAs:I1。
-
quickstart 本教程假设你从头开始，没有Kafka和ZooKeeper历史数据。 quickstart_download 下载 0.10.0.0 的正式版本并解压。 > tar -xzf kafka_2.11-0.10.0.0.tgz > cd kafka_2.11-0.10.0.0 quickstart_startserver Kafka依赖ZooKeeper因此你首先启动一个ZooKe
-
要开始创建Spring Cloud Stream应用程序，请访问Spring Initializr并创建一个名为“GreetingSource”的新Maven项目。在下拉菜单中选择Spring Boot {supported-spring-boot-version}。在“ 搜索依赖关系”文本框中键入Stream Rabbit或Stream Kafka，具体取决于您要使用的binder。 接下来，在
-
introduction Kafka是一个实现了分布式、分区、提交后复制的日志服务。它通过一套独特的设计提供了消息系统中间件的功能。 这是什么意思呢？ 首先我们回顾几个基础的消息系统术语： Kafka将消息源放在称为topics的归类组维护 我们将发布消息到Kafka topic上的处理程序称之为producers 我们将订阅topic并处理消息源发布的信息的程序称之为consumers Kafk
-
将本地Web服务器公开到互联网 ngrok允许您将本地计算机上运行的Web服务器公开到互联网。只是告诉ngrok你的web服务器正在监听什么端口。 如果你不知道你的web服务器正在监听什么端口，它可能是端口80，HTTP的默认值。 示例：将本地计算机的端口80上的Web服务器公开到互联网 ngrok http 80 当您启动ngrok时，它将在您的终端中显示一个UI，其中包含您的隧道的公共URL以
-
本指南的稍后章节会对框架的架构和实现类进行一个深度的讨论，如果你想对Spring Security进行一个深度定制，这一章节将会包含包含你需要了解的内容。在本章我们将会介绍Spring Security 3.0 ,给项目的历史进行简要的概述，简单的讲讲如何开始使用这个框架。尤其是我们将看看命名空间配置，他提供与传统Spring Bean你必须连接所有实现类的途径更简单的方式保护你的应用程序。 我们
-
每个人的学习方式都不一样，有的人喜欢亲自实践学习，有的喜欢观看教学视频，还有的喜欢通过阅读来学习。对于Redis，没有什么比亲自实践学习来得效果更好的了。Redis的安装非常简单。而且通过随之安装的一个简单的命令解析程序，就能处理我们想做的一切事情。让我们先花几分钟的时间把Redis安装到我们的机器上。 Windows平台 Redis并没有官方支持Windows平台，但还是可供选择。你不会想在这里