SWRL-使用课堂知识

Question

我想使用在类之间建模的知识。 例如，我模拟了一辆汽车，一辆公共汽车有4个轮子，自行车有2个轮子。 现在，我想表达的是，自行车可能会翻倒（如果您不能保持平衡-无能的驾驶员）。 如果添加实例“ CB450”（自行车的子类），则规则应启用推理： 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>

Answer 1

根据您解释问题的方式，看起来“ CB40”不是Bike的子类，而是Bike类型的个人。 因此，假设您有一个Vehicle类，在Vehicle上有一个data属性hasWheels，在Vehicle上有一个布尔属性canTip，则可以将SWRL规则写为

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

意思是“带两个轮子的车辆可以翻倒”。 ？x是指定类型的任何个体。 因此，如果您将“自行车”类创建为“车辆”的子类，并创建该类的单个CB40并设置所有相关数据属性，则推理程序将为CB40分配canTip属性为true