OWL-S实例代码.docxVIP

Modeling Services as Processes代码Parameters和Expressions代码使用SWRL（the language for expressing OWL Rules）owl:Class rdf:about=#Parameterrdfs:subClassOf rdf:resource=swrl;#Variable//owl:Class//parameter类型owl:DatatypeProperty rdf:ID=parameterType rdfs:domain rdf:resource=#Parameter/ rdfs:range rdf:resource=xsd;anyURI//owl:DatatypePropertyowl:Class rdf:ID=Parameter rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource=#parameterType / owl:minCardinalityrdf:datatype=xsd;#nonNegativeInteger1/owl:minCardinality /owl:Restriction/rdfs:subClassOf/owl:Class//Input和Output 是parameter的子类owl:Class rdf:ID=Input rdfs:subClassOf rdf:resource=#Parameter//owl:Classowl:Class rdf:ID=Output rdfs:subClassOf rdf:resource=#Parameter//owl:Class//Expressions类和属性定义//[/services/owl-s/1.1/generic/Expression.owl]owl:Class rdf:ID=Expression rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource=#expressionLanguage/ owl:cardinality rdf:datatype=xsd;nonNegativeInteger 1/owl:cardinality /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource=#expressionBody/ owl:cardinality rdf:datatype=xsd;nonNegativeInteger 1/owl:cardinality /owl:Restriction /rdfs:subClassOf/owl:Class//列出expressions使用的语言owl:ObjectProperty rdf:ID=expr;#expressionLanguage rdfs:domain rdf:resource=expr;#Expression/ rdfs:range rdf:resource=expr;#LogicLanguage/ /owl:ObjectProperty//给出expression的详细内容于expressionBodyowl:DatatypeProperty rdf:ID=expressionBody rdfs:domain rdf:resource=#Expression//owl:DatatypeProperty//以给出信用卡号码的例子代码Description rdf:about=#process2hasPreconditionexpr:KIF-Expressionexpr:expressionBody//from Lassilas WILBUR system?[12](!agnt:know_val_is (!ecom:credit_card_num ?cc) ?num)/expr:expressionBody/expr:KIF-Expression/hasPrecondition/Description//针对XML encodingDescription rdf:about=#process2hasPreconditionExpression expressionLanguage=drs;#DRSprocess:expressionBodydrs:Atomic_formulardf:p