我的直觉说不可能翻译句子
所有红色汽车都优于所有蓝色汽车
进入描述逻辑（在FOL中，这将是
∀x∀y（红色（x）∧蓝色（y）→更好（x，y））
解释在汽车领域）。实际上，唯一包含域的所有元素对的完整二元关系的构造是通用角色 U 。我没有看到如何要求左边的集合红色的所有元素对和右边的集合蓝色的元素，即如何将 U 限制为特定的一组前辈和继承者。
但是没有看到如何做到并不能证明这是不可能的。因此我的问题是：当你使用特定类型的描述逻辑时（例如 SROIQ 所描述的here），你如何证明不可能代表给定的自然语言句子或FOL配方呢？
答案 0 :(得分：2)
证明某些内容无法在描述逻辑中表达是很困难的。有几种方法可以做到这一点。例如，考虑可以表达所有SROIQ的FOL片段，在其中添加覆盖您的案例的FOL片段，并研究结果逻辑的复杂性。如果复杂性严格高于SROIQ，那么显然SROIQ不足以表达您想要的内容。您还可以研究模型的形状。例如，在ALC中，始终存在任何一致KB的有限模型。如果通过添加新构造，您可以显示必须存在无限模型，那么您无法在ALC中表达您的构造。等
回到你的特定情况，所有红色汽车都比所有蓝色汽车都要好（声明高度值得商榷！）。你无法证明它不能在SROIQ中表达，因为它可以！这种结构（称为 concept-product ，因为它对应于两个类的carthesian产品，在您的案例中为<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
<xsl:output method="xml" indent="yes" />
<xsl:key name="case" match="row" use="string(CASEID)" />
<xsl:key name="issue" match="row" use="concat(CASEID, '|', ISSUEID)" />
<xsl:key name="object" match="row" use="concat(CASEID, '|', ISSUEID, '|', OBJECTID)" />
<xsl:template match="results">
<xsl:copy>
<xsl:apply-templates select="row[generate-id() = generate-id(key('case', string(CASEID))[1])]" mode="case" />
</xsl:copy>
</xsl:template>
<xsl:template match="row" mode="case">
<xsl:choose>
<xsl:when test="CASEID">
<CASE>
<xsl:apply-templates select="CASEID|CASEBA" />
<xsl:apply-templates select="key('case', string(CASEID))[generate-id() = generate-id(key('issue', concat(CASEID, '|', ISSUEID))[1])]" mode="issue" />
</CASE>
</xsl:when>
<xsl:otherwise>
<xsl:apply-templates select="key('case', concat('', CASEID))[generate-id() = generate-id(key('issue', concat(CASEID, '|', ISSUEID))[1])]" mode="issue" />
</xsl:otherwise>
</xsl:choose>
</xsl:template>
<xsl:template match="row" mode="issue">
<xsl:choose>
<xsl:when test="ISSUEID">
<ISSUE>
<xsl:apply-templates select="ISSUEID|ISSUEBA" />
<xsl:apply-templates select="key('issue', concat(CASEID, '|', ISSUEID))[generate-id() = generate-id(key('object', concat(CASEID, '|', ISSUEID, '|', OBJECTID))[1])]" mode="object" />
</ISSUE>
</xsl:when>
<xsl:otherwise>
<xsl:apply-templates select="key('issue', concat(CASEID, '|', ISSUEID))[generate-id() = generate-id(key('object', concat(CASEID, '|', ISSUEID, '|', OBJECTID))[1])]" mode="object" />
</xsl:otherwise>
</xsl:choose>
</xsl:template>
<xsl:template match="row" mode="object">
<xsl:if test="OBJECTID">
<SOURCE>
<xsl:apply-templates select="OBJECTID|OBJECTBA" />
</SOURCE>
</xsl:if>
</xsl:template>
<xsl:template match="@*|node()">
<xsl:copy>
<xsl:apply-templates select="@*|node()"/>
</xsl:copy>
</xsl:template>
</xsl:stylesheet>
和red）由2008年的一篇研究论文提出Rudolph，Krötzsch和Hitzler标题为 All elephants are bigger than all mice 。该论文证明概念产品可以用OWL 2 DL表示，并解释了如何在一般情况下完成。
这在OWL中完成，在Turtle语法中序列化（blue且:r1必须是新的角色名称，不得在其他任何地方使用，:r2必须是新鲜的个人名称，未在别处使用）：
:x