0

我想使用在类之间建模的知识。例如,我模拟了一辆汽车,一辆公共汽车有 4 个轮子,一辆自行车有 2 个轮子。现在,我想表达一下自行车会翻倒(如果你不让它们保持平衡——不称职的司机)。如果我添加一个实例“CB450”,subClassOf Bike,规则应该启用推理:can(CB450,Tip)。方法:

Type(Cb450,Bike) and has(Bike,TwoWheels) and can(TwoWheels,Tip) -> can (CB450,Tip)

我没有找到任何方法在 SWRL 或 Jena 规则中表达此规则。有没有可能?

我知道它可以以不同的方式建模,但我需要在实例中使用类关系作为规则。

我使用 Protege 5.16 和颗粒 2.3.1。请参阅下面的示例本体

Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>

Ontology: <http://www.semanticweb.org/vehicle>
ObjectProperty: <http://www.semanticweb.org/vehicle#has>
ObjectProperty: <http://www.semanticweb.org/vehicle#can>

Class: <http://www.semanticweb.org/vehicle#Car>

SubClassOf: 
    <http://www.semanticweb.org/vehicle#Vehicle>,
    <http://www.semanticweb.org/vehicle#has> some <http://www.semanticweb.org/vehicle#FourWheels>

Class: <http://www.semanticweb.org/vehicle#Vehicle>
Class: <http://www.semanticweb.org/vehicle#Bike>

SubClassOf: 
    <http://www.semanticweb.org/vehicle#Vehicle>,
    <http://www.semanticweb.org/vehicle#has> some     <http://www.semanticweb.org/vehicle#TwoWheels>

Class: <http://www.semanticweb.org/vehicle#FourWheels>

SubClassOf: 
    <http://www.semanticweb.org/vehicle#Property>
Class: <http://www.semanticweb.org/vehicle#TwoWheels>

SubClassOf: 
    <http://www.semanticweb.org/vehicle#can> some        <http://www.semanticweb.org/vehicle#Tip>,
    <http://www.semanticweb.org/vehicle#Property>

Class: <http://www.semanticweb.org/vehicle#Property>
Class: <http://www.semanticweb.org/vehicle#Tip>

SubClassOf: 
    <http://www.semanticweb.org/vehicle#Property>

Individual: <http://www.semanticweb.org/vehicle#CB450>

Types: 
    <http://www.semanticweb.org/vehicle#Bike>

Individual: <http://www.semanticweb.org/vehicle#Tip>

Types: 
    <http://www.semanticweb.org/vehicle#Tip>
4

1 回答 1

1

根据您解释问题的方式,“CB40”似乎不是 Bike 的子类,而是 Bike 类型的个体。所以假设你有一个类 Vehicle,一个数据属性 hasWheels on Vehicle 和一个布尔属性 canTip on Vehicle,你可以写一个 SWRL 规则为

Vehicle(?x) ^ hasWheels(?x, 2) -> canTip(?x, true)

翻译为“有两个轮子的车辆可以翻倒”。?x 是指定类型的任何个体。因此,如果您创建一个 Bike 类作为 Vehicle 的子类和该类的单个 CB40 并设置所有相关数据属性,那么推理器将为 CB40 分配 canTip 属性为 true

于 2015-12-11T13:16:44.383 回答