当前位置：网站首页>本体开发日记05-努力理解SWRL（RDF Concrete Syntax）
本体开发日记05-努力理解SWRL（RDF Concrete Syntax）
2022-08-09 09:13:00 【「已注销」】
RDF Concrete SyntaxRDF 具体语法
SWRL 的 RDF 模式是 swrl.rdf。SWRL 的 OWL 本体是 swrl.owl。每一个都只提供了 SWRL 语法的部分描述；OWL 本体比 RDF Schema 更完整。通过扩展OWL XML 表示语法 [ OWL XML ]的XSLT 转换，可以轻松完成从 XML 具体语法到 RDF/XML 的 转换。
swrl.rdf
<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE rdf:RDF [ <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns'> <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema'> <!ENTITY owl 'http://www.w3.org/2002/07/owl'> <!ENTITY xsd 'http://www.w3.org/2001/XMLSchema'> <!ENTITY ruleml 'http://www.w3.org/2003/11/swrl'> <!ENTITY swrl 'http://www.w3.org/2003/11/swrl'> ]>
<rdf:RDF xmlns:rdf ="&rdf;#" xmlns:rdfs="&rdfs;#" xmlns:owl ="&owl;#" xmlns:ruleml="&ruleml;#" xmlns:swrl="&swrl;#" xml:base ="&swrl;" >
<rdf:Description rdf:about="">
<rdfs:comment>RDF Schema definition of the RDF Concrete Syntax for the Semantic Web Rule Language</rdfs:comment>
<owl:versionInfo>$Id: swrl.rdf,v 1.11 2004/04/30 11:05:00 mdean Exp $</owl:versionInfo>
</rdf:Description>
<rdfs:Class rdf:ID="Imp">
<rdfs:comment>implication (rule)</rdfs:comment>
</rdfs:Class>
<rdf:Property rdf:ID="head">
<rdfs:domain rdf:resource="#Imp"/>
<rdfs:range rdf:resource="&rdf;#List"/>
<rdfs:comment>rule head (consequent): List of Atom</rdfs:comment>
</rdf:Property>
<rdf:Property rdf:ID="body">
<rdfs:domain rdf:resource="#Imp"/>
<rdfs:range rdf:resource="&rdf;#List"/>
<rdfs:comment>rule body (antecedent): List of Atom</rdfs:comment>
</rdf:Property>
<rdfs:Class rdf:ID="Variable">
<rdfs:comment>indicate that a URI is being used as a variable</rdfs:comment>
</rdfs:Class>
<rdfs:Class rdf:ID="Atom">
<rdfs:comment>common superclass</rdfs:comment>
</rdfs:Class>
<rdf:Property rdf:ID="argument1">
<rdfs:domain rdf:resource="#Atom"/>
<rdfs:range rdf:resource="&rdfs;#Resource"/>
</rdf:Property>
<rdf:Property rdf:ID="argument2">
<rdfs:domain rdf:resource="#Atom"/>
<rdfs:comment>can be a Literal or Resource</rdfs:comment>
</rdf:Property>
<rdfs:Class rdf:ID="ClassAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a classPredicate and argument1</rdfs:comment>
</rdfs:Class>
<rdf:Property rdf:ID="classPredicate">
<rdfs:domain rdf:resource="#ClassAtom"/>
<rdfs:range rdf:resource="&rdfs;#Class"/>
</rdf:Property>
<rdfs:Class rdf:ID="IndividualPropertyAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing)</rdfs:comment>
</rdfs:Class>
<rdf:Property rdf:ID="propertyPredicate">
<rdfs:domain rdf:resource="#Atom"/>
<rdfs:range rdf:resource="&rdf;#Property"/>
</rdf:Property>
<rdfs:Class rdf:ID="DatavaluedPropertyAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal)</rdfs:comment>
</rdfs:Class>
<rdfs:Class rdf:ID="SameIndividualAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of argument1 (owl:Thing) and argument2 (owl:Thing)</rdfs:comment>
</rdfs:Class>
<rdfs:Class rdf:ID="DifferentIndividualsAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of argument1 (owl:Thing) and argument2 (owl:Thing)</rdfs:comment>
</rdfs:Class>
<rdfs:Class rdf:ID="BuiltinAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a builtin and a List of arguments</rdfs:comment>
</rdfs:Class>
<rdfs:Class rdf:ID="Builtin"/>
<!-- enumerate Builtins -->
<rdf:Property rdf:ID="builtin">
<rdfs:domain rdf:resource="#BuiltinAtom"/>
<rdfs:range rdf:resource="#Builtin"/>
</rdf:Property>
<rdf:Property rdf:ID="arguments">
<rdfs:domain rdf:resource="#BuiltinAtom"/>
<rdfs:range rdf:resource="&rdf;#List"/>
</rdf:Property>
<rdfs:Class rdf:ID="DataRangeAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a dataRange and argument1</rdfs:comment>
</rdfs:Class>
<rdf:Property rdf:ID="dataRange">
<rdfs:domain rdf:resource="#DataRangeAtom"/>
<rdfs:range rdf:resource="&owl;#DataRange"/>
</rdf:Property>
</rdf:RDF>
swrl.owl
<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE rdf:RDF [ <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns'> <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema'> <!ENTITY owl 'http://www.w3.org/2002/07/owl'> <!ENTITY xsd 'http://www.w3.org/2001/XMLSchema'> <!ENTITY ruleml 'http://www.w3.org/2003/11/swrl'> <!ENTITY swrl 'http://www.w3.org/2003/11/swrl'> ]>
<rdf:RDF xmlns:rdf ="&rdf;#" xmlns:rdfs="&rdfs;#" xmlns:owl ="&owl;#" xmlns:ruleml="&ruleml;#" xmlns:swrl="&swrl;#" xml:base ="&swrl;" >
<owl:Ontology rdf:about="">
<rdfs:comment>OWL definition of the RDF Concrete Syntax for the Semantic Web Rule Language</rdfs:comment>
<owl:versionInfo>$Id: swrl.owl,v 1.15 2004/11/09 11:58:28 mdean Exp $</owl:versionInfo>
</owl:Ontology>
<owl:Class rdf:ID="Imp">
<rdfs:comment>implication (rule)</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#head"/>
<owl:allValuesFrom rdf:resource="#AtomList"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#head"/>
<owl:maxCardinality>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#body"/>
<owl:allValuesFrom rdf:resource="#AtomList"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#body"/>
<owl:maxCardinality>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="head">
<rdfs:comment>rule head (consequent): List of Atom</rdfs:comment>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="body">
<rdfs:comment>rule body (antecedent): List of Atom</rdfs:comment>
</owl:ObjectProperty>
<owl:Class rdf:ID="Variable">
<rdfs:comment>indicate that a URI is being used as a variable</rdfs:comment>
</owl:Class>
<owl:Class rdf:ID="Atom">
<rdfs:comment>common superclass</rdfs:comment>
</owl:Class>
<owl:Class rdf:ID="AtomList">
<rdfs:subClassOf rdf:resource="&rdf;#List"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="&rdf;#first"/>
<owl:allValuesFrom rdf:resource="#Atom"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="&rdf;#first"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="&rdf;#rest"/>
<owl:allValuesFrom rdf:resource="#AtomList"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="&rdf;#rest"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<swrl:AtomList rdf:about="&rdf;#nil"/>
<owl:ObjectProperty rdf:ID="argument1"/>
<rdf:Property rdf:ID="argument2">
<rdfs:comment>can be a Literal or Resource</rdfs:comment>
</rdf:Property>
<owl:Class rdf:ID="ClassAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a classPredicate and argument1</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#classPredicate"/>
<owl:allValuesFrom rdf:resource="&owl;#Class"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#classPredicate"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="classPredicate"/>
<owl:Class rdf:ID="IndividualPropertyAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing)</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#propertyPredicate"/>
<owl:allValuesFrom rdf:resource="&owl;#ObjectProperty"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#propertyPredicate"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="propertyPredicate"/>
<owl:Class rdf:ID="DatavaluedPropertyAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal)</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#propertyPredicate"/>
<owl:allValuesFrom rdf:resource="&owl;#DatatypeProperty"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#propertyPredicate"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:allValuesFrom rdf:resource="&rdfs;#Literal"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="SameIndividualAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of argument1 (owl:Thing) and argument2 (owl:Thing)</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="DifferentIndividualsAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of argument1 (owl:Thing) and argument2 (owl:Thing)</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument2"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="BuiltinAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a builtin and a List of arguments</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#builtin"/>
<owl:allValuesFrom rdf:resource="#Builtin"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#builtin"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#arguments"/>
<owl:allValuesFrom rdf:resource="&rdf;#List"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#arguments"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="Builtin"/>
<!-- enumerate Builtins -->
<owl:ObjectProperty rdf:ID="builtin"/>
<owl:ObjectProperty rdf:ID="arguments"/>
<owl:Class rdf:ID="DataRangeAtom">
<rdfs:subClassOf rdf:resource="#Atom"/>
<rdfs:comment>consists of a dataRange and argument1</rdfs:comment>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#dataRange"/>
<owl:allValuesFrom rdf:resource="&owl;#DataRange"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#dataRange"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:allValuesFrom rdf:resource="&owl;#Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#argument1"/>
<owl:cardinality>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="dataRange"/>
</rdf:RDF>
6.1. RDF 具体语法中的规则示例
这些示例说明了 OWL RDF/XML 语法的合适规则扩展。
下面的例子是5.1.3的扩展
<swrl:Variable rdf:ID="x1"/>
<swrl:Variable rdf:ID="x2"/>
<swrl:Variable rdf:ID="x3"/>
<ruleml:Imp>
<ruleml:body rdf:parseType="Collection">
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="⪚hasParent"/>
<swrl:argument1 rdf:resource="#x1" />
<swrl:argument2 rdf:resource="#x2" />
</swrl:IndividualPropertyAtom>
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="⪚hasSibling"/>
<swrl:argument1 rdf:resource="#x2" />
<swrl:argument2 rdf:resource="#x3" />
</swrl:IndividualPropertyAtom>
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="⪚hasSex"/>
<swrl:argument1 rdf:resource="#x3" />
<swrl:argument2 rdf:resource="#male" />
</swrl:IndividualPropertyAtom>
</ruleml:body>
<ruleml:head rdf:parseType="Collection">
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="⪚hasUncle"/>
<swrl:argument1 rdf:resource="#x1" />
<swrl:argument2 rdf:resource="#x3" />
</swrl:IndividualPropertyAtom>
</ruleml:head>
</ruleml:Imp>
下面是5.1.4的扩展
<swrl:Variable rdf:ID="x"/>
<swrl:Variable rdf:ID="y"/>
<swrl:Variable rdf:ID="z"/>
<ruleml:Imp>
<ruleml:body rdf:parseType="Collection">
<swrl:ClassAtom>
<swrl:classPredicate rdf:resource="&ulan;Artist"/>
<swrl:argument1 rdf:resource="#x" />
</swrl:ClassAtom>
<swrl:ClassAtom>
<swrl:classPredicate rdf:resource="&aat;Style"/>
<swrl:argument1 rdf:resource="#y" />
</swrl:ClassAtom>
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="&aatulan;artistStyle"/>
<swrl:argument1 rdf:resource="#x" />
<swrl:argument2 rdf:resource="#y" />
</swrl:IndividualPropertyAtom>
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="&vra;creator"/>
<swrl:argument1 rdf:resource="#x" />
<swrl:argument2 rdf:resource="#z" />
</swrl:IndividualPropertyAtom>
</ruleml:body>
<ruleml:head rdf:parseType="Collection">
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="&vra;style/period"/>
<swrl:argument1 rdf:resource="#z" />
<swrl:argument2 rdf:resource="#y" />
</swrl:IndividualPropertyAtom>
</ruleml:head>
</ruleml:Imp>
下面不知道！！
<swrl:Variable rdf:ID="airport"/>
<swrl:Variable rdf:ID="loc"/>
<swrl:Variable rdf:ID="name"/>
<swrl:Variable rdf:ID="lat"/>
<swrl:Variable rdf:ID="lon"/>
<ruleml:Imp>
<ruleml:body rdf:parseType="Collection">
<swrl:ClassAtom>
<swrl:classPredicate rdf:resource="&airport-ont;Airport"/>
<swrl:argument1 rdf:resource="#airport" />
</swrl:ClassAtom>
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="#location"/>
<swrl:argument1 rdf:resource="#airport" />
<swrl:argument2 rdf:resource="#loc" />
</swrl:IndividualPropertyAtom>
<swrl:DatavaluedPropertyAtom>
<swrl:propertyPredicate rdf:resource="#latitude"/>
<swrl:argument1 rdf:resource="#loc" />
<swrl:argument2 rdf:resource="#lat" />
</swrl:DatavaluedPropertyAtom>
<swrl:DatavaluedPropertyAtom>
<swrl:propertyPredicate rdf:resource="#longitude"/>
<swrl:argument1 rdf:resource="#loc" />
<swrl:argument2 rdf:resource="#lon" />
</swrl:DatavaluedPropertyAtom>
</ruleml:body>
<ruleml:head rdf:parseType="Collection">
<swrl:ClassAtom>
<swrl:classPredicate>
<owl:Restriction>
<owl:onProperty rdf:resource="#sameLocation"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="↦Location"/>
<owl:Restriction>
<owl:onProperty rdf:resource="↦isLocationOf"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="↦Point"/>
<owl:Restriction>
<owl:onProperty rdf:resource="↦isObjectOf"/>
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Item rdf:resource="#layer"/>
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</swrl:classPredicate>
<swrl:argument1 rdf:resource="#airport" />
</swrl:ClassAtom>
</ruleml:head>
</ruleml:Imp>
上面的源文件
6-1-3
<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE rdf:RDF [ <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns'> <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema'> <!ENTITY owl 'http://www.w3.org/2002/07/owl'> <!ENTITY xsd 'http://www.w3.org/2001/XMLSchema'> <!ENTITY ruleml 'http://www.w3.org/2003/11/swrl'> <!ENTITY swrl 'http://www.w3.org/2003/11/swrl'> <!ENTITY map 'http://www.daml.org/2001/06/map/map-ont#'> <!ENTITY airport 'http://www.daml.org/cgi-bin/airport?'> <!ENTITY airport-ont 'http://www.daml.org/2001/10/html/airport-ont#'> ]>
<rdf:RDF xmlns:rdf ="&rdf;#" xmlns:rdfs="&rdfs;#" xmlns:owl ="&owl;#" xmlns:ruleml="&ruleml;#" xmlns:swrl="&swrl;#" >
<owl:Ontology rdf:about="">
<rdfs:comment>SWRL Example 6.1-3</rdfs:comment>
<owl:versionInfo>$Id: example6.1-3.owl,v 1.2 2004/04/30 12:18:52 mdean Exp $</owl:versionInfo>
<owl:imports rdf:resource="&swrl;"/>
<owl:imports rdf:resource="&airport-ont;"/>
<owl:imports rdf:resource="↦"/>
</owl:Ontology>
<swrl:Variable rdf:ID="airport"/>
<swrl:Variable rdf:ID="loc"/>
<swrl:Variable rdf:ID="name"/>
<swrl:Variable rdf:ID="lat"/>
<swrl:Variable rdf:ID="lon"/>
<owl:DatatypeProperty rdf:ID="latitude"/>
<owl:DatatypeProperty rdf:ID="longitude"/>
<ruleml:Imp>
<ruleml:body rdf:parseType="Collection">
<swrl:ClassAtom>
<swrl:classPredicate rdf:resource="&airport-ont;Airport"/>
<swrl:argument1 rdf:resource="#airport" />
</swrl:ClassAtom>
<swrl:IndividualPropertyAtom>
<swrl:propertyPredicate rdf:resource="#location"/>
<swrl:argument1 rdf:resource="#airport" />
<swrl:argument2 rdf:resource="#loc" />
</swrl:IndividualPropertyAtom>
<swrl:DatavaluedPropertyAtom>
<swrl:propertyPredicate rdf:resource="#latitude"/>
<swrl:argument1 rdf:resource="#loc" />
<swrl:argument2 rdf:resource="#lat" />
</swrl:DatavaluedPropertyAtom>
<swrl:DatavaluedPropertyAtom>
<swrl:propertyPredicate rdf:resource="#longitude"/>
<swrl:argument1 rdf:resource="#loc" />
<swrl:argument2 rdf:resource="#lon" />
</swrl:DatavaluedPropertyAtom>
</ruleml:body>
<ruleml:head rdf:parseType="Collection">
<swrl:ClassAtom>
<swrl:classPredicate>
<owl:Restriction>
<owl:onProperty rdf:resource="#sameLocation"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="↦Location"/>
<owl:Restriction>
<owl:onProperty rdf:resource="↦isLocationOf"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="↦Point"/>
<owl:Restriction>
<owl:onProperty rdf:resource="↦isObjectOf"/>
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Item rdf:about="#layer"/>
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</swrl:classPredicate>
<swrl:argument1 rdf:resource="#airport" />
</swrl:ClassAtom>
</ruleml:head>
</ruleml:Imp>
</rdf:RDF>
边栏推荐
- Getting started with ctfshow-web Part of the file upload part solution
- Flutter的基础知识之Dart语法
- C语言单、双引号的区别
- parse ＜compoN＞ error: Custom Component‘name should be form of my-component, not myComponent or MyCom
- 【场景化解决方案】构建医疗通讯录，“慧医钉”助力医院实现数字化管理
- 【场景化解决方案】搭建数据桥梁，Dslink打通泛微系统连接流
- VoLTE基础自学系列 | IMS的业务触发机制
- [Vulnerability reproduction] CVE-2018-12613 (remote file inclusion)
- SQL Server2000 各个版本之间的区别
- 算术表达式求值演示
猜你喜欢
随机推荐
Onnx - environment build 】 【 tensorrt
支付宝小程序使用自定义组件(原生)
H5页面px不对，单位不对等问题
Teach you how to get a 0.1-meter high-precision satellite map for free
Swap swap partition
Django实现对数据库数据增删改查（一）
makefile - 学习小结
define 可变参数定义
公司从零开发微信小程序流程
Anaconda4.8.3介绍、安装及使用教程安装（win10）并修改Jupyter默认工作目录
MySQL event_single event_timed loop event
AES/ECB/PKCS5Padding encryption and decryption
高清卫星地图浏览器
verilog独热码实现译码MIPS指令集
【场景化解决方案】构建医疗通讯录，“慧医钉”助力医院实现数字化管理
使用C语言实现双向链表（带头结点）
Calendar类和Date类转换时区 ＆＆ 部分时区城市列表
makefile的foreach、filter、filter-out函数
JVM进程诊断利器——Arthas
When and How to use MALLOC