标签: description-logic

如何在耶拿添加合格的基数限制？我不能使用,createCardinalityQRestriction因为它OntModelSpec是OWL的第一个版本,而不是OWL2.在ModelFactory的createOntologyModel中,有没有办法创建OWL2本体？我需要一个类表达式

JeVysledkom 正好 1 Kolik_Fazovy

我试过使用这段代码:

OntModel ontModel = ModelFactory.createOntologyModel();
OntClass ret = ontModel.createCardinalityQRestriction(null, ontProperty, cardinality,    ontClass2 );
ontClass.addSuperClass(ret);

但我得到这个例外:

com.hp.hpl.jena.ontology.ProfileException:尝试使用当前语言配置文件不支持的语言构造CARDINALITY_Q:OWL Full

在OWL-DL本体中,考虑具有域D和范围R的属性p,其中D对p的限制具有恰好为1的基数:

d SubClassOf p 恰好 1个事

• (D⊑= 1 p.Thing)

那么我们可以推断p是一个函数属性,因为D类型中的每个d都只有p的一个值吗？如果这是正确的,推理人可以推断出这种知识吗？

我想查询Nicotine(产品)的所有子类.
结果必须是(鼻形式尼古丁,Orophangengeal来自ni ..(4项)..见图)我尝试通过rdfs查询:subClassOf +和owl:equivalentClass +但是没有工作试试这个例子 这里的代码相同.

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>           
PREFIX owl: <http://www.w3.org/2002/07/owl#>        
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>         
SELECT * WHERE 
{       
  ?s owl:equivalentClass+ ?o . # and try   ?s rdfs:subClassOf ?o    
  filter(?s=<http://snomed.info/id/323283001>)       
}

来自protege的这张图片 谢谢.

第一个查询很难解释和做,因为这么大的文件有些IRI不是subClass而不是等价的类,我改变了从这里查询的方式

<owl:Class rdf:about="http://snomed.info/id/323283001">
    <rdfs:label xml:lang="en">Nicotine (product)</rdfs:label>
    <rdfs:subClassOf>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://snomed.info/id/420383004"/>
                <rdf:Description rdf:about="http://snomed.info/id/425288007"/>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://snomed.info/id/127489000"/>
                    <owl:someValuesFrom rdf:resource="http://snomed.info/id/68540007"/>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </rdfs:subClassOf>
</owl:Class>

我想查询所有id(id/420383004,id/425288007,id/127489000和id/68540007)

来自owl:Class rdf:about ="http://snomed.info/id/323283001"请告诉我一些想法.谢谢

我对使用域,范围和限制来定义本体的正确方法存在疑问.如果我想表示"学生必须只有一个身份证明",我认为我可以做以下其中一项:

1. 定义属性的域和范围(例如,:hasId rdfs:domain :Student; rdfs:range :Identification)并使属性起作用.

2. 定义属性并在学生班级中创建限制:"hasId恰好1个标识".

在语义方面,这些意味着同样的事情吗？如果是这样,在惯例或最佳做法方面是否有首选方案？最后,这同样适用于数据类型属性吗？我可以简单地定义域/范围和/或我应该在类中创建限制以将其与属性链接吗？

我有一个 OWL 2 本体，其中包含属于某个类的多个命名个体，这些个体需要具有相同的对象属性和相同的值。

我想在“类上”进行此属性断言，以便推理器可以推断出其所有成员所拥有的属性，因此不需要为每个成员进行显式断言。（获得类似于基于类的面向对象的属性继承）

一个简单的例子是包含属于该类的milkBottle1个体的milkBottle2本体。它们都应该具有value 的属性，但显然这是类的所有成员共享的东西，并且只应该显式断言一次。milkBottle3MilkcontainsNutrientproteinMilk

我只在这里发现了同样的问题，但唯一的答案提出了一个不适当的解决方案：使该类成为属性限制类的子类。这导致推理器推断该类等同于 Nothing 类（因为不存在具有此类属性的命名个体），从而由于向其分配个体而造成不一致。

我知道这是一个简单的任务，使用 SWRL 规则，例如

牛奶(?a) → 含有营养素(?a, 蛋白质)

但如果可能的话我想避免它们。

如果没有 OWL 2 中的解决方法，这可能吗？如果可以的话，该怎么办呢？

在描述逻辑中,"someValuesFrom"和"allValuesFrom"之间有什么区别？换句话说,(有限存在量化)和(价值限制)之间的差异.

例如,考虑一下:

Δ= {a,b,c,d,e}
ext(B)= {<c,d>}
ext(R)= {<a,b>,<a,c>,<d,c>,< C,E>}

那么以下是什么区别？

ext(∃R.B)= ？
ext(∀R.B)= ？

有没有办法简化somevaluefrom和allvalues的概念？

一般问题

我正在使用Protégé4.3创建一个简单的本体，并尝试创建一个模型，以使C类的每个实例对于给定的属性p都具有特定的值v，它是V类的实例。我可以使用公理来得到这个推论