ࡱ> q` RbjbjqPqP2::^2222222 ?"J"J"J"JdLDLʴNbcbcbcbc=dOg4hegggggg$̶h4J2n=d=dnn22bcbcnf2bc2bcene6227bcN ]^"J#vQ0ʴ~;~877~2Qijkl0iiiiiiʴnnnnLLLLLLF  222222  HYPERLINK "http://www.w3.org/"  INCLUDEPICTURE "http://www.w3.org/Icons/w3c_home" \* MERGEFORMATINET  HYPERLINK "http://www.w3.org/Submission/"  INCLUDEPICTURE "http://www.w3.org/Icons/member_subm" \* MERGEFORMATINET  SWRL: A Semantic Web Rule Language Combining OWL and RuleML W3C Member Submission 21 May 2004 This version:  HYPERLINK "http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/" http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/ Latest version:  HYPERLINK "http://www.w3.org/Submission/SWRL/" http://www.w3.org/Submission/SWRL/ Authors:  HYPERLINK "http://www.cs.man.ac.uk/%7Ehorrocks/" Ian Horrocks, Network Inference  HYPERLINK "http://www-db.research.bell-labs.com/user/pfps/" Peter F. Patel-Schneider, Bell Labs Research, Lucent Technologies  HYPERLINK "http://www.cs.unb.ca/~boley/" Harold Boley, National Research Council of Canada  HYPERLINK "http://home.comcast.net/~stabet/" Said Tabet, Macgregor, Inc.  HYPERLINK "http://ebusiness.mit.edu/bgrosof/" Benjamin Grosof, Sloan School of Management, MIT  HYPERLINK "http://www.daml.org/people/mdean/" Mike Dean, BBN Technologies Copyright 2004 National Research Council of Canada, Network Inference, and Stanford University. All Rights Reserved. This document is available under the  HYPERLINK "http://www.w3.org/Consortium/Legal/copyright-documents" W3C Document License. See the  HYPERLINK "http://www.w3.org/Consortium/Legal/ipr-notice" \l "Copyright" W3C Intellectual Rights Notices and Disclaimers for additional information.  Abstract This document contains a proposal for a Semantic Web Rule Language (SWRL) based on a combination of the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language. SWRL includes a high-level abstract syntax for Horn-like rules in both the OWL DL and OWL Lite sublanguages of OWL. A model-theoretic semantics is given to provide the formal meaning for OWL ontologies including rules written in this abstract syntax. An XML syntax based on RuleML and the OWL XML Presentation Syntax as well as an RDF concrete syntax based on the OWL RDF/XML exchange syntax are also given, along with several examples. Status of this document This is a member submission, offered by the National Research Council of Canada, Network Inference and Stanford University, on behalf of themselves and the authors, in association with the Joint US/EU ad hoc Agent Markup Language Committee ( HYPERLINK "http://www.daml.org/committee/" Joint Committee). The  HYPERLINK "http://www.w3.org/Submission/03/Comment" W3C Team Comment discusses this submission in the context of W3C activities. Public comment on this document is invited on the mailing list  HYPERLINK "mailto:www-rdf-rules@w3.org" www-rdf-rules@w3.org ( HYPERLINK "http://lists.w3.org/Archives/Public/www-rdf-rules/" public archive). Announcements and current information may also be available on the  HYPERLINK "http://www.daml.org/swrl/" DAML Rules page. A  HYPERLINK "http://www.w3.org/Submission/SWRL/issuesList.html" snapshot of the issues list, archived at the time of this submission, is available. By publishing this document, W3C acknowledges that the National Research Council of Canada, Network Inference and Stanford University have made a formal submission to W3C for discussion. Publication of this document by W3C indicates no endorsement of its content by W3C, nor that W3C has, is, or will be allocating any resources to the issues addressed by it. This document is not the product of a chartered W3C group, but is published as potential input to the  HYPERLINK "http://www.w3.org/Consortium/Process" W3C Process. Publication of acknowledged Member Submissions at the W3C site is one of the benefits of  HYPERLINK "http://www.w3.org/Consortium/Prospectus/Joining" W3C Membership. Please consult the requirements associated with Member Submissions of  HYPERLINK "http://www.w3.org/Consortium/Patent-Policy/" \l "sec-submissions" section 3.3 of the W3C Patent Policy. Please consult the complete  HYPERLINK "http://www.w3.org/Submission/" list of acknowledged W3C Member Submissions.  Table of contents 1.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "1#1" Introduction 2.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "2#2" Abstract Syntax 2.1  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "2.1#2.1" Rules 2.2  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "2.2#2.2" Human Readable Syntax 3.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "3#3" Direct Model-Theoretic Semantics 3.1  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "3.1#3.1" Interpreting Rules 4.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "4#4" Rule Examples 5.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "5#5" XML Concrete Syntax 5.1  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "5.1#5.1" Rule Examples in XML Concrete Syntax 6.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "6#6" RDF Concrete Syntax 6.1  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "6.1#6.1" Rule Examples in RDF Concrete Syntax 7.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "7#7" Usage Suggestions 7.1  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "7.1#7.1" Extensibility and Interoperability Cautions 8.  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8#8" Built-Ins 8.1  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.1#8.1" Built-Ins for Comparisons 8.2  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.2#8.2" Math Built-Ins 8.3  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.3#8.3" Built-Ins for Boolean Values 8.4  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.4#8.4" Built-Ins for Strings 8.5  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.5#8.5" Built-Ins for Date, Time and Duration 8.6  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.6#8.6" Built-Ins for URIs 8.7  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8.7#8.7" Built-Ins for Lists  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "acknowledgments#acknowledgments" Acknowledgments  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "references#references" References  1. Introduction This document contains a proposal for a Semantic Web Rule Language (SWRL) based on a combination of the OWL DL and OWL Lite sublanguages of the  HYPERLINK "http://www.w3.org/2001/sw/WebOnt/" OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the  HYPERLINK "http://www.ruleml.org" Rule Markup Language. The proposal extends the set of OWL axioms to include Horn-like rules. It thus enables Horn-like rules to be combined with an OWL knowledge base. A high-level abstract syntax is provided that extends the OWL abstract syntax described in the OWL Semantics and Abstract Syntax document [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owl-sas#owl-sas" OWL S&AS]. An extension of the OWL model-theoretic semantics is also given to provide a formal meaning for OWL ontologies including rules written in this abstract syntax. The proposed rules are of the form of an implication between an antecedent (body) and consequent (head). The intended meaning can be read as: whenever the conditions specified in the antecedent hold, then the conditions specified in the consequent must also hold. Both the antecedent (body) and consequent (head) consist of zero or more atoms. An empty antecedent is treated as trivially true (i.e. satisfied by every interpretation), so the consequent must also be satisfied by every interpretation; an empty consequent is treated as trivially false (i.e., not satisfied by any interpretation), so the antecedent must also not be satisfied by any interpretation. Multiple atoms are treated as a conjunction. Note that rules with conjunctive consequents could easily be transformed (via the Lloyd-Topor transformations [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "Lloyd87#Lloyd87" Lloyd87]) into multiple rules each with an atomic consequent. Atoms in these rules can be of the form C(x), P(x,y), sameAs(x,y) or differentFrom(x,y), where C is an OWL description, P is an OWL property, and x,y are either variables, OWL individuals or OWL data values. It is easy to see that OWL DL becomes undecidable when extended in this way as rules can be used to simulate role value maps [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "Schmidt-Schauss89#Schmidt-Schauss89" Schmidt-Schau89]. An XML syntax is also given for these rules based on RuleML and the OWL XML presentation syntax. Furthermore, an RDF concrete syntax based on the OWL RDF/XML exchange syntax is presented. The rule syntaxes are illustrated with several running examples. Finally, we give usage suggestions and cautions.  2. Abstract Syntax The syntax for SWRL in this section abstracts from any exchange syntax for OWL and thus facilitates access to and evaluation of the language. This syntax extends the abstract syntax of OWL described in the OWL Semantcs and Abstract Syntax document [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owl-sas#owl-sas" OWL S&AS]. Even this abstract syntax is not particularly readable for rules. Examples will thus often be given in an informal syntax. This informal syntax will neither be given an exact syntax nor a mapping to any of the fully-specified syntaxes for SWRL. The abstract syntax is specified here by means of a version of Extended BNF, very similar to the  HYPERLINK "http://www.w3.org/TR/REC-xml/" \l "sec-notation" EBNF notation used for XML [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "ref-xml#ref-xml" XML]. Terminals are quoted; non-terminals are bold and not quoted. Alternatives are either separated by vertical bars (|) or are given in different productions. Components that can occur at most once are enclosed in square brackets ([]); components that can occur any number of times (including zero) are enclosed in braces ({}). Whitespace is ignored in the productions here. Names in the abstract syntax are  HYPERLINK "http://www.w3.org/TR/2003/WD-rdf-concepts-20030123/" \l "dfn-URI-reference" RDF URI references [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "ref-rdfconcepts#ref-rdfconcepts" RDF Concepts]. These names may be abbreviated into qualified names, using one of the following namespace names: Namespace nameNamespacerdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#rdfshttp://www.w3.org/2000/01/rdf-schema#xsdhttp://www.w3.org/2001/XMLSchema#owlhttp://www.w3.org/2002/07/owl#The meaning of each construct in the abstract syntax is informally described when it is introduced. The formal meaning of these constructs is given in  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "3#3" Section 3 via an extension of the OWL DL model-theoretic semantics [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owl-sas#owl-sas" OWL S&AS]. 2.1. Rules An OWL ontology in the abstract syntax contains a sequence of axioms and facts. Axioms may be of various kinds, e.g., subClass axioms and equivalentClass axioms. It is proposed to extend this with rule axioms. axiom ::= rule A rule axiom consists of an antecedent (body) and a consequent (head), each of which consists of a (posibly empty) set of atoms. A rule axiom can also be assigned a URI reference, which could serve to identify the rule. rule ::= 'Implies(' [ URIreference ] { annotation } antecedent consequent ')' antecedent ::= 'Antecedent(' { atom } ')' consequent ::= 'Consequent(' { atom } ')' Informally, a rule may be read as meaning that if the antecedent holds (is "true"), then the consequent must also hold. An empty antecedent is treated as trivially holding (true), and an empty consequent is treated as trivially not holding (false). Rules with an empty antecedent can thus be used to provide unconditional facts; however such unconditional facts are better stated in OWL itself, i.e., without the use of the rule construct. Non-empty antecedents and consequents hold iff all of their constituent atoms hold, i.e., they are treated as conjunctions of their atoms. As mentioned above, rules with conjunctive consequents could easily transformed (via the Lloyd-Topor transformations [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "Lloyd87#Lloyd87" Lloyd87]) into multiple rules each with an atomic consequent. atom ::= description '(' i-object ')' | dataRange '(' d-object ')' | individualvaluedPropertyID '(' i-object i-object ')' | datavaluedPropertyID '(' i-object d-object ')' | sameAs '(' i-object i-object ')' | differentFrom '(' i-object i-object ')' | builtIn '(' builtinID { d-object } ')' builtinID ::= URIreference Atoms can be of the form C(x), P(x,y), sameAs(x,y) differentFrom(x,y), or builtIn(r,x,...) where C is an OWL description or data range, P is an OWL property, r is a built-in relation, x and y are either variables, OWL individuals or OWL data values, as appropriate. In the context of OWL Lite, descriptions in atoms of the form C(x) may be restricted to class names. Informally, an atom C(x) holds if x is an instance of the class description or data range C, an atom P(x,y) holds if x is related to y by property P, an atom sameAs(x,y) holds if x is interpreted as the same object as y, an atom differentFrom(x,y) holds if x and y are interpreted as different objects, and builtIn(r,x,...) holds if the built-in relation r (see Sections  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "3#3" 3 and  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8#8" 8) holds on the interpretations of the arguments. Note that the sameAs and differentFrom two forms can be seen as "syntactic sugar": they are convenient, but do not increase the expressive power of the language (i.e., such (in)equalities can already be expressed using the combined power of OWL and rules without explicit (in)equality atoms). i-object ::= i-variable | individualID d-object ::= d-variable | dataLiteral Atoms may refer to individuals, data literals, individual variables or data variables. Variables are treated as universally quantified, with their scope limited to a given rule. As usual, only variables that occur in the antecedent of a rule may occur in the consequent (a condition usually referred to as "safety"). This safety condition does not, in fact, restrict the expressive power of the language (because existentials can already be captured using OWL someValuesFrom restrictions). i-variable ::= 'I-variable(' URIreference ')' d-variable ::= 'D-variable(' URIreference ')' 2.2. Human Readable Syntax While the abstract EBNF syntax is consistent with the OWL specification, and is useful for defining XML and RDF serialisations, it is rather verbose and not particularly easy to read. In the following we will, therefore, often use a relatively informal "human readable" form similar to that used in many published works on rules. In this syntax, a rule has the form: antecedent ! consequent where both antecedent and consequent are conjunctions of atoms written a1 '" ... '" an. Variables are indicated using the standard convention of prefixing them with a question mark (e.g., ?x). Using this syntax, a rule asserting that the composition of parent and brother properties implies the uncle property would be written: parent(?x,?y) '" brother(?y,?z) ! uncle(?x,?z) In this syntax, built-in relations that are functional can be written in functional notation, i.e., op:numeric-add(?x,3,?z) can be written instead as ?x = op:numeric-add(3,?z)  3. Direct Model-Theoretic Semantics The model-theoretic semantics for SWRL is a straightforward extension of the semantics for OWL given in the OWL Semantics and Abstract Syntax document [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owl-sas#owl-sas" OWL S&AS]. The basic idea is that we define bindings, extensions of OWL interpretations that also map variables to elements of the domain. A rule is satisfied by an interpretation iff every binding that satisfies the antecedent also satisfies the consequent. The semantic conditions relating to axioms and ontologies are unchanged, e.g., an interpretation satisfies an ontology iff it satisfies every axiom (including rules) and fact in the ontology. 3.1. Interpreting Rules From the OWL Semantics and Abstract Syntax document we recall that, given a datatype map D, an abstract OWL interpretation is a tuple of the form I = where R is a set of resources, LV " R is a set of literal values, EC is a mapping from classes and datatypes to subsets of R and LV respectively, ER is a mapping from properties to binary relations on R, L is a mapping from typed literals to elements of LV, and S is a mapping from individual names to elements of EC(owl:Thing). To handle the built-in relations, we augment the datatype map to map the built-in relations to tuples over the appropriate sets. That is, op:numeric-add is mapped into the triples of numeric values that correctly interpret numeric addition. Note that allowing the datatype map to vary allows different implementations of SWRL to implement different built-in relations. It is suggested that if a SWRL implementation implements a particular datatype, then it implement the built-ins for that datatype from  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8#8" Section 8. Given an abstract OWL interpretation , a binding B() is an abstract OWL interpretation that extends  such that S maps i-variables to elements of EC(owl:Thing) and L maps d-variables to elements of LV respectively. An atom is satisfied by an interpretation  under the conditions given in the  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "interpretation-conditions-table#interpretation-conditions-table" Interpretation Conditions Table, where C is an OWL DL description, D is an OWL DL data range, P is an OWL DL individualvalued property, Q is an OWL DL datavalued property, f is a built-in relation, x,y are variables or OWL individuals, and z is a variable or an OWL data value. Interpretation Conditions TableAtomCondition on InterpretationC(x) S(x) " EC(C)D(z) S(z) " EC(D)P(x,y) <S(x),S(y)> " ER(P)Q(x,z) <S(x),L(z)> " ER(Q)sameAs(x,y) S(x) = S(y)differentFrom(x,y) S(x) `" S(y)builtIn(r,z1,...,zn) <S(z1),...,S(zn)> " D(f)Note that this interpretation of the built-in relations is very permissive. It is not necessary for a built-in relation to have a fixed arity, nor is it an error to use a built-in relation with a fixed arity with the wrong number of arguments. For example builtIn(op:numeric-add ?x 5) is simply unsatisfiable, and not a syntax error. A binding B() satisfies an antecedent A iff A is empty or B() satisfies every atom in A. A binding B() satisfies a consequent C iff C is not empty and B() satisfies every atom in C. A rule is satisfied by an interpretation  iff for every binding B such that B() satisfies the antecedent, B() also satisfies the consequent. Note that rule annotations have no semantic consequences and neither do the URI references associated with rules. This is different from the situation for OWL itself, where annotations do not have semantic consequences. The semantic conditions relating to axioms and ontologies are unchanged. In particular, an interpretation satisfies an ontology iff it satisfies every axiom (including rules) and fact in the ontology; an ontology is consistent iff it is satisfied by at least one interpretation; an ontology O2 is entailed by an ontology O1 iff every interpretation that satisfies O1 also satisfies O2.  4. Example Rules Example 4.1-1 A simple use of these rules would be to assert that the combination of the hasParent and hasBrother properties implies the hasUncle property. Informally, this rule could be written as: hasParent(?x1,?x2) '" hasBrother(?x2,?x3) ! hasUncle(?x1,?x3) In the abstract syntax the rule would be written like: Implies(Antecedent(hasParent(I-variable(x1) I-variable(x2)) hasBrother(I-variable(x2) I-variable(x3))) Consequent(hasUncle(I-variable(x1) I-variable(x3)))) From this rule, if John has Mary as a parent and Mary has Bill as a brother then John has Bill as an uncle. Example 4.1-2 An even simpler rule would be to assert that Students are Persons, as in Student(?x1) ! Person(?x1). Implies(Antecedent(Student(I-variable(x1))) Consequent(Person(I-variable(x1)))) However, this kind of use for rules in OWL just duplicates the OWL subclass facility. It is logically equivalent to write instead Class(Student partial Person) or SubClassOf(Student Person) which would make the information directly available to an OWL reasoner. Example 4.1-3 A very common use for rules is to move property values from one individual to a related individual, as in the following example that expresses the fact that the style of an art object is the same as the style of the creator. Artist(?x) & artistStyle(?x,?y) & Style(?y) & creator(?z,?x) ! style/period(?z,?y) Implies(Antecedent(Artist(I-variable(x)) artistStyle(I-variable(x) I-variable(y)) Style(I-variable(y)) creator(I-variable(z) I-variable(x))) Consequent(style/period(I-variable(z) I-variable(y)))) Example 4.1-4 It is useful to include OWL descriptions in rules, instead of using named classes. The above rule could be augmented with a separate rule to provide information about exclusivity of style (assuming that style is not always exclusive). Artist(?x) & (d"1 artistStyle)(?x) & creator(?z,?x) ! (d"1 style/period)(?z) Implies(Antecedent(Artist(I-variable(x)) (restriction(artistStyle maxCardinality(1)))(I-variable(x)) Style(I-variable(y)) creator(I-variable(z) I-variable(x))) Consequent((restriction(style/period maxCardinality(1)))(I-variable(z))))  5. XML Concrete Syntax The XML Concrete Syntax is a combination of the OWL Web Ontology Language XML Presentation Syntax [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owl-xml#owl-xml" OWL XML] with the RuleML XML syntax [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "RuleML#RuleML" RuleML]. This has several advantages: arbitrary OWL classes (e.g., descriptions) can be used as predicates in rules; rules and ontology axioms can be freely mixed; the existing XSLT stylesheet ( HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/owlxml2rdf.xsl" owlxml2rdf.xsl) can easily be extended to provide a mapping to RDF graphs that extends the OWL RDF/XML exchange syntax (see  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "6#6" Section 6); interoperability between OWL and RuleML is simplified, existing RuleML tools can be adapted to SWRL, and an evolutionary extension path to additional rule expressive features cf. RuleML (e.g., n-ary, function-term, etc.) is prepared. An XML Schema for the SWRL XML Concrete Syntax is  HYPERLINK "http://www.w3.org/Submission/SWRL/swrlx.xsd" swrlx.xsd.  HYPERLINK "http://www.w3.org/Submission/SWRL/swrlx.xsd" swrlx.xsd currently references a local copy of the XML Schema for the OWL XML Presentation Syntax modified to allow external references to several of its elements and attributes and to define owlx:datarange, which appears to be a missing piece of the OWL XML Presentation Syntax. The SWRL XML Concrete Syntax uses the namespaces  HYPERLINK "http://www.w3.org/2003/11/swrlx" http://www.w3.org/2003/11/swrlx,  HYPERLINK "http://www.w3.org/2003/11/ruleml" http://www.w3.org/2003/11/ruleml,  HYPERLINK "http://www.w3.org/2003/05/owl-xml" http://www.w3.org/2003/05/owl-xml (owlx), and  HYPERLINK "http://www.w3.org/2001/XMLSchema" http://www.w3.org/2001/XMLSchema (xsd). The Ontology root element of the OWL XML Presentation Syntax is extended to include "imp" (implication rule) and "var" (variable declaration) axioms as found under the rulebase root of RuleML. element Ontology Content: ( HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_VersionInfo" owlx:VersionInfo |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_PriorVersion" owlx:PriorVersion |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_BackwardCompatibleWith" owlx:BackwardCompatibleWith |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_IncompatibleWith" owlx:IncompatibleWith |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_Imports" owlx:Imports |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_Annotation" owlx:Annotation |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_ClassAxiom" owlx:Class[axiom] |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_EnumeratedClass" owlx:EnumeratedClass(D,F) |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_SubClassOf" owlx:SubClassOf(D,F) |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_EquivalentClasses" owlx:EquivalentClasses |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_DisjointClasses" owlx:DisjointClasses(D,F) |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_DatatypeProperty" owlx:DatatypeProperty |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_ObjectProperty" owlx:ObjectProperty |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_SubPropertyOf" owlx:SubPropertyOf |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_EquivalentProperties" owlx:EquivalentProperties |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_Individual" owlx:Individual[axiom] |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_SameIndividual" owlx:SameIndividual |  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_DifferentIndividuals" owlx:DifferentIndividuals |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Rule#owls_Rule" ruleml:imp[axiom] |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Variable#owls_Variable" ruleml:var[axiom])* Attribute: swrlx:name - refers to a name of this ontology, which is the base URI of this element. Note: This is the root element of OWL documents in the XML presentation syntax, while rdf:RDF is used as the document root for OWL in RDF/XML. We then simply need to add the relevant syntax for variables and rules. Variable (var) axioms are statements about variables, indicating that the given string is to be used as a variable. element ruleml:var[axiom]  HYPERLINK "http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.html" \l "string" xsd:string Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Ontology#owls_Ontology" swrlx:OntologyA var axiom simply defines the existence of a variable. This is taken from the RuleML namespace. For example: Example 5-1 x1 Rule axioms (imp elements) are similar to  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_SubClassOf" SubClassOf axioms. They are taken from the RuleML namespace. A rule axiom can be read as a logical implication between the antecedent (_body) and consequent (_head). Like SubClassOf axioms, rules may include annotations. A rule axiom may optionally be named. element ruleml:imp[axiom] Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_rlab#owls_rlab" _rlab?,  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_Annotation" owlx:Annotation*,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_antecedent#owls_antecedent" _body,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_consequent#owls_consequent" _head ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Ontology#owls_Ontology" swrlx:OntologyNote: This element allows one to say that every binding that satisfies the _body of the rule must also satisfy the _head of the rule.A rule axiom may optionally be named using a URI. element ruleml:_rlab Content: ( ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Rule#owls_Rule" ruleml:impBoth _body and _head are lists of atoms and are read as the conjunction of the component atoms. element ruleml:_body Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atom* ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Rule#owls_Rule" ruleml:impelement ruleml:_head Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atom* ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Rule#owls_Rule" ruleml:impAtoms can be formed from unary predicates (classes), binary predicates (properties), equalities or inequalities. Model group swrlx:atom Content: ( HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_classAtom#owls_classAtom" swrlx:classAtom |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_datarangeAtom#owls_datarangeAtom" swrlx:datarangeAtom |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_individualPropertyAtom#owls_individualPropertyAtom" swrlx:individualPropertyAtom |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_datavaluedPropertyAtom#owls_datavaluedPropertyAtom" swrlx:datavaluedPropertyAtom |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_sameIndividualAtom#owls_sameIndividualAtom" swrlx:sameIndividualAtom |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_differentIndividualsAtom#owls_differentIndividualsAtom" swrlx:differentIndividualsAtom |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_builtinAtom#owls_builtinAtom" swrlx:builtinAtom) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_antecedent#owls_antecedent" ruleml:_body,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_consequent#owls_consequent" ruleml:_head Class atoms consist of a description and either an individual name or a variable name. element swrlx:classAtom Content: (  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_description" owlx:description,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomThe description in a class atom may be a class name, or may be a complex description using boolean combinations, restrictions, etc. For example: Example 5-2 x1 x2 Datarange atoms consist of a data range and either a literal or a variable name. element swrlx:datarangeAtom Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_datarange#owls_datarange" owlx:datarange,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_dObject#owls_dObject" swrlx:dObject ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomThe description in a datarange atom may be a datatype ID, or may be a set of literals. For example: Example 5-3 x1 5 10 x2 Property atoms consist of a property name and two elements that can be individual names, variable names or data values. element swrlx:individualPropertyAtom Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject ) Attribute: swrlx:property - a reference to an individual property nameParents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomelement swrlx:datavaluedPropertyAtom Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_dObject#owls_dObject" swrlx:dObject ) Attribute: swrlx:property - a reference to an datavalued property nameParents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomAs OWL does not support complex property descriptions, a property atom takes only a property name. For example: Example 5-4 x1 x1 4 Same (different) individual atoms assert equality (inequality) between sets of individual and variable names. element swrlx:sameIndividualAtom Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject* ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomelement swrlx:differentIndividualsAtom Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject* ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomNote that (in)equalities can be asserted between arbitrary combinations of variable names and individual names. For example: Example 5-5 x1 x2 Builtin atoms provide an interface to the built-ins. element swrlx:builtinAtom Content: (  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_dObject#owls_dObject" swrlx:dObject* ) Attribute: swrlx:builtin - a reference to a built-in defined in Section  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "8#8" 8Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_atom#owls_atom" swrlx:atomModel group swrlx:iObject Content: (  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_IndividualID" owlx:Individual[ID] |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_VariableID#owls_VariableID" ruleml:var[ID] ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_classAtom#owls_classAtom" swrlx:classAtom,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_individualPropertyAtom#owls_individualPropertyAtom" swrlx:individualPropertyAtom,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_sameIndividualAtom#owls_sameIndividualAtom" swrlx:sameIndividualAtom,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_differentIndividualsAtom#owls_differentIndividualsAtom" swrlx:differentIndividualsAtom Model group swrlx:dObject Content: (  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" \l "owls_DataValue" owlx:DataValue |  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_VariableID#owls_VariableID" ruleml:var[ID] ) Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_datavaluedPropertyAtom#owls_datavaluedPropertyAtom" swrlx:datavaluedPropertyAtom element ruleml:var[ID]  HYPERLINK "http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.html" \l "string" xsd:string Parents:  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_iObject#owls_iObject" swrlx:iObject,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_dObject#owls_dObject" swrlx:dObjectNote: This element is used for solely referring to a variable ID, and does not actually define any variable, unlike a  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_Variable#owls_Variable" var axiom. 5.1. Rule Examples We can use SWRL to assert that the combination of the hasParent and hasBrother properties implies the hasUncle property: Example 5.1-1 x1 x2 x2 x3 x1 x3 An alternative formulation for the hasUncle rule given in  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "eg5_1-1#eg5_1-1" Example 5.1-1 would be to assert that if x1 hasParent x2, x2 hasSibling x3, and x3 hasSex male, then x1 hasUncle x3: Example 5.1-2 x1 x2 x2 x3 x3 x1 x3 The following example is due to  HYPERLINK "http://www.cs.vu.nl/~guus/" Guus Schreiber, and is based on ontologies used in an  HYPERLINK "http://www.cs.vu.nl/~guus/papers/Hollink03b.pdf" image annotation demo. The rule expresses the fact that, given knowledge about the AAT style of certain ULAN artists (e.g., van Gogh is an Impressionist painter), we can derive the style of an art object (represented with the VRA element "style/period") from the value of the creator of the art object (represented by the VRA element "creator", a subproperty of dc:creator): Example 5.1-3 x y x y x z z y The following is taken from  HYPERLINK "http://www.daml.org/2003/06/ruletests/translation-3.n3" an extended example due to Mike Dean. It expresses the fact that for every Airport there is a map Point that has the same location (latitude and longitude) as the Airport and that is an object of "layer" (a map DrawingLayer). Moreover, this map point has the Airport as an underlyingObject and has the Airport name as its Label Note how the expressive power of SWRL allows "existentials" to be expressed in the head of a rule--it is asserted that, for every airport, there must exist such a map point. Example 5.1-4 Spokane Intl 47.6197 -117.5336 Airports maploc loc maploc loc lat loc lon maploc lat maploc lon airport airport loc loc lat loc lon loc airport airport loc loc maploc point maploc airport name point airport point name The following ontology translation example shows the use of built-ins to convert units of measure: Example 5.1-5 ex2:lengthInInches = ex1:lengthInFeet * 12 instance feet inches feet 12 instance inches The following example shows the use of built-ins to perform comparisons necessary to compute a discount: Example 5.1-6 Gold customers get a 10% discount on purchases of $500 or more customer customer total total 500 customer 10 These examples are also provided as  HYPERLINK "http://www.w3.org/Submission/SWRL/example5.1-1.swrlx" example5.1-1.swrlx,  HYPERLINK "http://www.w3.org/Submission/SWRL/example5.1-2.swrlx" example5.1-2.swrlx,  HYPERLINK "http://www.w3.org/Submission/SWRL/example5.1-3.swrlx" example5.1-3.swrlx,  HYPERLINK "http://www.w3.org/Submission/SWRL/example5.1-4.swrlx" example5.1-4.swrlx,  HYPERLINK "http://www.w3.org/Submission/SWRL/example5.1-5.swrlx" example5.1-5.swrlx, and  HYPERLINK "http://www.w3.org/Submission/SWRL/example5.1-6.swrlx" example5.1-6.swrlx.  6. RDF Concrete Syntax In this section we present an RDF concrete syntax for the rules. It is straightforward to provide such an RDF concrete syntax for rules, but the presence of variables in rules goes beyond the  HYPERLINK "http://www.w3.org/TR/rdf-mt/" RDF Semantics. We do not yet know if the intended semantics of the resultant RDF graphs can be described as a semantic extension of RDF. An RDF Schema for SWRL is  HYPERLINK "http://www.w3.org/Submission/SWRL/swrl.rdf" swrl.rdf. An OWL ontology for SWRL is  HYPERLINK "http://www.w3.org/Submission/SWRL/swrl.owl" swrl.owl. Each of these provides only a partial description of the syntax for SWRL; the OWL ontology is more complete than the RDF Schema. Translation from the XML Concrete Syntax to RDF/XML could be easily accomplished by extending the  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/owlxml2rdf.xsl" XSLT transformation for the OWL XML Presentation syntax [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owl-xml#owl-xml" OWL XML]. 6.1. Rule Examples in RDF Concrete Syntax These examples illustrate a suitable rules extension of the OWL RDF/XML syntax. The first example is a repetition of  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "eg5_1-2#eg5_1-2" Example 5.1-2 using RDF/XML syntax: Example 6.1-1 This example is a repetition of  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "eg5_1-3#eg5_1-3" Example 5.1-3 using RDF/XML syntax: Example 6.1-2 This example is a repetition of the complex rule from  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "eg5_1-4#eg5_1-4" Example 5.1-4 using RDF/XML syntax: Example 6.1-3 These examples are also provided as  HYPERLINK "http://www.w3.org/Submission/SWRL/example6.1-1.owl" example6.1-1.owl,  HYPERLINK "http://www.w3.org/Submission/SWRL/example6.1-2.owl" example6.1-2.owl, and  HYPERLINK "http://www.w3.org/Submission/SWRL/example6.1-3.owl" example6.1-3.owl.  7. Usage Suggestions The general intent of this proposal is to extend OWL DL, and thus to use OWL constructs wherever possible. 7.1. Extensibility and Interoperability Cautions If users are making extensive use of rules, they may want to restrict the form or expressiveness of the rules they employ, in order to increase interoperability, reusability, extensibility, computational scaleability, or ease of implementation. A useful restriction in the form of the rules is to limit antecedent and consequent classAtoms to be named classes, where the classes are defined purely in OWL (in the same document or in external OWL documents). Adhering to this format makes it easier to translate rules to or from existing (or future) rule systems, including: Prolog; production rules (descended from OPS5); event-condition-action rules; and SQL (where views, queries, and facts are all rules). Adhering to this form also maximises reuse and interoperability of the ontology knowledge in the rules with other OWL-speaking systems that do not necessarily support SWRL. Users also may want to restrict the expressiveness of the OWL classes and descriptions appearing in rules. One useful restriction on expressivity is Description Logic Programs [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "Grosof_et_al_2003#Grosof_et_al_2003" Grosof et al 2003] which, e.g., prohibits existentially-quantified knowledge in consequents. Suitably-restricted SWRL rules can be straightforwardly extended to enable procedural attachments and/or nonmonotonic reasoning (negation-as-failure and/or prioritised conflict handling) of the kinds supported in CCI rule systems and in RuleML [ HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "RuleML#RuleML" RuleML] which facilitates interoperability between those CCI rule systems. Such adherence may thus facilitate combining SWRL knowledge with knowledge from those other rules languages. Suitable restrictions can also improve the empirical tractability of reasoning with rules. A longer, more detailed version of the above usage suggestions and cautions is available at  HYPERLINK "http://www.daml.org/listarchive/joint-committee/1491.html" http://www.daml.org/listarchive/joint-committee/1491.html.  8. Built-Ins The set of built-ins for SWRL is motivated by a modular approach that will allow further extensions in future releases within a (hierarchical) taxonomy. At the same time, it will provide the flexibility for various implementations to select the modules to be supported with each version of SWRL. SWRL's built-ins approach is also based on the reuse of existing built-ins in  HYPERLINK "http://www.w3.org/TR/xquery/" XQuery and  HYPERLINK "http://www.w3.org/TR/xpath" XPath, which are themselves based on  HYPERLINK "http://www.w3.org/TR/xmlschema-2/" XML Schema Part 2: Datatypes. This system of built-ins should also help in the interoperation of SWRL with other Web formalisms by providing an extensible, modular built-ins infrastructure for Semantic Web Languages, Web Services, and Web applications. SWRL built-ins are used in builtin atoms. For example,  HYPERLINK "http://www.w3.org/Submission/SWRL/" \l "owls_builtinAtom#owls_builtinAtom" swrlx:builtinAtom identifies a built-in using the swrlx:builtin attribute and lists its arguments as subelements. Swrl built-ins are identified using the  HYPERLINK "http://www.w3.org/2003/11/swrlb" http://www.w3.org/2003/11/swrlb namespace. 8.1. Built-Ins for Comparisons swrlb:equal (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-equal" op:numeric-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-compare" op:compare,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-boolean-equal" op:boolean-equal  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-yearMonthDuration-equal" op:yearMonthDuration-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-dayTimeDuration-equal" op:dayTimeDuration-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-dateTime-equal" op:dateTime-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-date-equal" op:date-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-time-equal" op:time-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-gYearMonth-equal" op:gYearMonth-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-gYear-equal" op:gYear-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-gMonthDay-equal" op:gMonthDay-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-gMonth-equal" op:gMonth-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-gDay-equal" op:gDay-equal,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-anyURI-equal" op:anyURI-equal) Satisfied iff the first argument and the second argument are the same. swrlb:notEqual (from swrlb:equal) The negation of swrlb:equal. swrlb:lessThan (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-less-than" op:numeric-less-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-compare" op:compare,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-yearMonthDuration-less-than" op:yearMonthDuration-less-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-dayTimeDuration-less-than" op:dayTimeDuration-less-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-dateTime-less-than" op:dateTime-less-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-date-less-than" op:date-less-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-time-less-than" op:time-less-than) Satisfied iff the first argument and the second argument are both in some implemented type and the first argument is less than the second argument according to a type-specific ordering (partial or total), if there is one defined for the type. The ordering function for the type of untyped literals is the partial order defined as string ordering when the language tags are the same (or both missing) and incomparable otherwise. swrlb:lessThanOrEqual (from swrlb:lessThan, swrlb:equal) Either less than, as above, or equal, as above. swrlb:greaterThan (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-greater-than" op:numeric-greater-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-compare" op:compare,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-yearMonthDuration-greater-than" op:yearMonthDuration-greater-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-dayTimeDuration-greater-than" op:dayTimeDuration-greater-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-dateTime-greater-than" op:dateTime-greater-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-date-greater-than" op:date-greater-than,  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-time-greater-than" op:time-greater-than) Similarly to swrlb:lessThan. swrlb:greaterThanOrEqual (from swrlb:greaterThan, swrlb:equal) Similarly to swrlb:lessThanOrEqual. 8.2. Math Built-Ins The following built-ins are defined for various numeric types. For the relation to be satisfied the arguments all have to belong to some numeric type for which the relation is defined. swrlb:add (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-add" op:numeric-add) Satisfied iff the first argument is equal to the arithmetic sum of the second argument through the last argument. swrlb:subtract (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-subtract" op:numeric-subtract) Satisfied iff the first argument is equal to the arithmetic difference of the second argument minus the third argument. swrlb:multiply (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-multiply" op:numeric-multiply) Satisfied iff the first argument is equal to the arithmetic product of the second argument through the last argument. swrlb:divide (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-divide" op:numeric-divide) Satisfied iff the first argument is equal to the arithmetic quotient of the second argument divided by the third argument. swrlb:integerDivide (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-integer-divide" op:numeric-integer-divide) Satisfied if the first argument is the arithmetic quotient of the second argument idiv the third argument. If the numerator is not evenly divided by the divisor, then the quotient is the xsd:integer value obtained, ignoring any remainder that results from the division (that is, no rounding is performed). swrlb:mod (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-mod" op:numeric-mod) Satisfied if the first argument represents the remainder resulting from dividing the second argument, the dividend, by the third argument, the divisor. The operation a mod b for operands that are xsd:integer or xsd:decimal, or types derived from them, produces a result such that (a idiv b)*b+(a mod b) is equal to a and the magnitude of the result is always less than the magnitude of b. This identity holds even in the special case that the dividend is the negative integer of largest possible magnitude for its type and the divisor is -1 (the remainder is 0). It follows from this rule that the sign of the result is the sign of the dividend swrlb:pow Satisfied iff the first argument is equal to the result of the second argument raised to the third argument power. swrlb:unaryPlus (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-unary-plus" op:numeric-unary-plus) Satisfied iff the first argument is equal to the second argument with its sign unchanged. swrlb:unaryMinus (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-numeric-unary-minus" op:numeric-unary-minus) Satisfied iff the first argument is equal to the second argument with its sign reversed. swrlb:abs (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-abs" fn:abs) Satisfied iff the first argument is the absolute value of the second argument. swrlb:ceiling (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-ceiling" fn:ceiling) Satisfied iff the first argument is the smallest number with no fractional part that is greater than or equal to the second argument. swrlb:floor (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-floor" fn:floor) Satisfied iff the first argument is the largest number with no fractional part that is less than or equal to the second argument. swrlb:round (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-round" fn:round) Satisfied iff the first argument is equal to the nearest number to the second argument with no fractional part. swrlb:roundHalfToEven (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-round-half-to-even" fn:round-half-to-even) Satisfied iff the first argument is equal to the second argument rounded to the given precision. If the fractional part is exactly half, the result is the number whose least significant digit is even. swrlb:sin Satisfied iff the first argument is equal to the sine of the radian value the second argument. swrlb:cos Satisfied iff the first argument is equal to the cosine of the radian value the second argument. swrlb:tan Satisfied iff the first argument is equal to the tangent of the radian value the second argument. 8.3. Built-Ins for Boolean Values swrlb:booleanNot (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-not" fn:not) Satisfied iff the first argument is true and the second argument is false, or vice versa. 8.4. Built-Ins for Strings The following built-ins are defined for strings (only), i.e., not untyped literals with language tags. swrlb:stringEqualIgnoreCase Satisfied iff the first argument is the same as the second argument (upper/lower case ignored) swrlb:stringConcat (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-concat" fn:concat) Satisfied iff the first argument is equal to the string resulting from the concatenation of the strings the second argument through the last argument. swrlb:substring (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-substring" fn:substring) Satisfied iff the first argument is equal to the substring of optional length the fourth argument starting at character offset the third argument in the string the second argument. swrlb:stringLength (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-string-length" fn:string-length) Satisfied iff the first argument is equal to the length of the second argument. swrlb:normalizeSpace (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-normalize-space" fn:normalize-space) Satisfied iff the first argument is equal to the whitespace-normalized value of the second argument. swrlb:upperCase (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-upper-case" fn:upper-case) Satisfied iff the first argument is equal to the upper-cased value of the second argument. swrlb:lowerCase (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-lower-case" fn:lower-case) Satisfied iff the first argument is equal to the lower-cased value of the second argument. swrlb:translate (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-translate" fn:translate) Satisfied iff the first argument is equal to the second argument with occurrences of characters contained in the third argument replaced by the character at the corresponding position in the string the fourth argument. swrlb:contains (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-contains" fn:contains) Satisfied iff the first argument contains the second argument (case sensitive). swrlb:containsIgnoreCase Satisfied iff the first argument contains the second argument (case ignored). swrlb:startsWith (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-starts-with" fn:starts-with) Satisfied iff the first argument starts with the second argument. swrlb:endsWith (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-ends-with" fn:ends-with) Satisfied iff the first argument ends with the second argument. swrlb:substringBefore (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-substring-before" fn:substring-before) Satisfied iff the first argument is the characters of the second argument that precede the characters of the third argument. swrlb:substringAfter (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-substring-after" fn:substring-after) Satisfied iff the first argument is the characters of the second argument that follow the characters of the third argument. swrlb:matches (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-matches" fn:matches) Satisfied iff the first argument matches the  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "regex-syntax" regular expression the second argument. swrlb:replace (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-replace" fn:replace) Satisfied iff the first argument is equal to the value of the second argument with every substring matched by the  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "regex-syntax" regular expression the third argument replaced by the replacement string the fourth argument. swrlb:tokenize (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-tokenize" fn:tokenize) Satisfied iff the first argument is a sequence of one or more strings whose values are substrings of the second argument separated by substrings that match the  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "regex-syntax" regular expression the third argument. 8.5. Built-Ins for Date, Time and Duration The following built-ins are defined for  HYPERLINK "http://www.w3.org/TR/xmlschema-2/" the XML Schema date, time, and duration datatypes, only, as appropriate. swrlb:yearMonthDuration (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "dt-yearMonthDuration" xdt:yearMonthDuration) Satisfied iff the first argument is the xsd:duration representation consisting of the year the second argument and month the third argument. swrlb:dayTimeDuration (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "dt-dayTimeDuration" xdt:dayTimeDuration) Satisfied iff the first argument is the xsd:duration representation consisting of the days the second argument, hours the third argument, minutes the fourth argument, and seconds the fifth argument. swrlb:dateTime Satisfied iff the first argument is the xsd:dateTime representation consisting of the year the second argument, month the third argument, day the fourth argument, hours the fifth argument, minutes the sixth argument, seconds the seventh argument, and timezone the eighth argument. swrlb:date Satisfied iff the first argument is the xsd:date representation consisting of the year the second argument, month the third argument, day the fourth argument, and timezone the fifth argument. swrlb:time Satisfied iff the first argument is the xsd:time representation consisting of the hours the second argument, minutes the third argument, seconds the fourth argument, and timezone the fifth argument. swrlb:addYearMonthDurations (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-yearMonthDurations" op:add-yearMonthDurations) Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic sum of the yearMonthDuration the second argument through the yearMonthDuration the last argument. swrlb:subtractYearMonthDurations (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-yearMonthDurations" op:subtract-yearMonthDurations) Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic difference of the yearMonthDuration the second argument minus the yearMonthDuration the third argument. swrlb:multiplyYearMonthDuration (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-multiply-yearMonthDuration" op:multiply-yearMonthDuration) Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic product of the yearMonthDuration the second argument multiplied by the third argument. swrlb:divideYearMonthDurations (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-divide-yearMonthDuration" op:divide-yearMonthDuration) Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic remainder of the yearMonthDuration the second argument divided by the third argument. swrlb:addDayTimeDurations (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-dayTimeDurations" op:add-dayTimeDurations) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic sum of the dayTimeDuration the second argument through the dayTimeDuration the last argument. swrlb:subtractDayTimeDurations (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dayTimeDurations" op:subtract-dayTimeDurations) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the dayTimeDuration the second argument minus the dayTimeDuration the third argument. swrlb:multiplyDayTimeDurations (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-multiply-dayTimeDuration" op:multiply-dayTimeDuration) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic product of the dayTimeDuration the second argument multiplied by the third argument. swrlb:divideDayTimeDuration (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-divide-dayTimeDuration" op:divide-dayTimeDuration) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic remainder of the dayTimeDuration the second argument divided by the third argument. swrlb:subtractDates (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dates" op:subtract-dates) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the xsd:date the second argument minus the xsd:date the third argument. swrlb:subtractTimes (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-times" op:subtract-times) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the xsd:time the second argument minus the xsd:time the third argument. swrlb:addYearMonthDurationToDateTime (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-yearMonthDuration-to-dateTime" op:add-yearMonthDuration-to-dateTime) Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic sum of the xsd:dateTime the second argument plus the yearMonthDuration the third argument. swrlb:addDayTimeDurationToDateTime (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-dayTimeDuration-to-dateTime" op:add-dayTimeDuration-to-dateTime) Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic sum of the xsd:dateTime the second argument plus the dayTimeDuration the third argument. swrlb:subtractYearMonthDurationFromDateTime (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-yearMonthDuration-from-dateTime" op:subtract-yearMonthDuration-from-dateTime) Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the yearMonthDuration the third argument. swrlb:subtractDayTimeDurationFromDateTime (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dayTimeDuration-from-dateTime" op:subtract-dayTimeDuration-from-dateTime) Satisfied iff the xsd:dateTime the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the dayTimeDuration the third argument. swrlb:addYearMonthDurationToDate (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-yearMonthDuration-to-date" op:add-yearMonthDuration-to-date) Satisfied iff the xsd:date the first argument is equal to the arithmetic sum of the xsd:date the second argument plus the yearMonthDuration the third argument. swrlb:addDayTimeDurationToDate (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-dayTimeDuration-to-date" op:add-dayTimeDuration-to-date) Satisfied iff the xsd:date the first argument is equal to the arithmetic sum of the xsd:date the second argument plus the dayTimeDuration the third argument. swrlb:subtractYearMonthDurationFromDate (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-yearMonthDuration-from-date" op:subtract-yearMonthDuration-from-date) Satisfied iff the xsd:date the first argument is equal to the arithmetic difference of the xsd:date the second argument minus the yearMonthDuration the third argument. swrlb:subtractDayTimeDurationFromDate (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dayTimeDuration-from-date" op:subtract-dayTimeDuration-from-date) Satisfied iff the xsd:date the first argument is equal to the arithmetic difference of the xsd:date the second argument minus the yearMonthDuration the third argument. swrlb:addDayTimeDurationToTime (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-add-dayTimeDuration-to-time" op:add-dayTimeDuration-to-time) Satisfied iff the xsd:time the first argument is equal to the arithmetic sum of the xsd:time the second argument plus the dayTimeDuration the third argument. swrlb:subtractDayTimeDurationFromTime (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dayTimeDuration-from-time" op:subtract-dayTimeDuration-from-time) Satisfied iff the xsd:time the first argument is equal to the arithmetic difference of the xsd:time the second argument minus the dayTimeDuration the third argument. swrlb:subtractDateTimesYieldingYearMonthDuration (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dateTimes-yielding-yearMonthDuration" fn:subtract-dateTimes-yielding-yearMonthDuration) Satisfied iff the yearMonthDuration the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the xsd:dateTime the third argument. swrlb:subtractDateTimesYieldingDayTimeDuration (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-subtract-dateTimes-yielding-dayTimeDuration" fn:subtract-dateTimes-yielding-dayTimeDuration) Satisfied iff the dayTimeDuration the first argument is equal to the arithmetic difference of the xsd:dateTime the second argument minus the xsd:dateTime the third argument. 8.6. Built-Ins for URIs The following built-ins are defined for the XML Schema datatypes related to URIs. swrlb:resolveURI (from XQuery  HYPERLINK "http://www.w3.org/TR/xpath-functions/" \l "func-resolve-uri" op:resolve-uri) Satisfied iff the URI reference the first argument is equal to the value of the URI reference the second argument resolved relative to the base URI the third argument. swrlb:anyURI Satisfied iff the first argument is a URI reference consisting of the scheme the second argument, host the third argument, port the fourth argument, path the fifth argument, query the sixth argument, and fragment the seventh argument. 8.7. Built-Ins for Lists The following built-ins are defined for RDF-style lists. (Note that these built-ins are not usable in OWL DL or OWL Lite as RDF-style lists can only be used as OWL data in OWL Full.) swrlb:listConcat (from  HYPERLINK "http://www-2.cs.cmu.edu/Groups/AI/html/cltl/clm/node149.html" Common Lisp append) Satisfied iff the first argument is a list representing the concatenation of the lists the second argument through the last argument. swrlb:listIntersection Satisfied iff the first argument is a list containing elements found in both the list the second argument and the list the third argument. swrlb:listSubtraction Satisfied iff the first argument is a list containing the elements of the list the second argument that are not members of the list the third argument. swrlb:member Satisfied iff the first argument is a member of the list the second argument. swrlb:length (from  HYPERLINK "http://www-2.cs.cmu.edu/Groups/AI/html/cltl/clm/node149.html" Common Lisp list-length!"#iln& H W X 淢淢nT</hlhl5B*CJKHOJQJ\^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph3hlhl5B*CJ)KH$OJQJ\^JaJ)ph2j7 hlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph& H W < F {  {} $1$^a$gdl $1$a$gdl$dd-D1$@&M [$\$a$gdl$d-D1$@&M \$a$gdl$dd1$[$\$a$gdl   9 : < F G y z   H I U V | } , - \ ] f g   \ ] q r | } ϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺ/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph; STde   !#$dest78ST\]56Dѷѷѝѝѝѝѝѝѝѝѝѝѝѝѝѝѝѝ,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph4DE !LMxy{|}ѠцnQnQ8jhlhl5B*CJKHOJQJU\^Jph/hlhl5B*CJKHOJQJ\^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph2j$hlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)*,01notu{|01378uvɱɱɱkkɱɱkɱ,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph8jhlhl5B*CJKHOJQJU\^Jph2hlhl5>*B*CJKHOJQJ\^Jph*,w3-Ubw=W $ & Fdd1$[$\$a$gdl$ & Fdd1$[$\$^a$gdl$ & Fdd1$[$\$a$gdl*+-12op-.RSUXYʰ盁jʰ盁jʰ盁j,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2hlhl5>*B*CJKHOJQJ\^Jph8jhlhl5B*CJKHOJQJU\^Jph/hlhl5B*CJKHOJQJ\^Jph)UV_`bfgWXtu{|:;ABҵҵjjjjj,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph2hlhl5>*B*CJKHOJQJ\^Jph8jhlhl5B*CJKHOJQJU\^Jph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph)D E T U W X 溝kkQ2jhlhlB*CJKHOJQJU^Jph2hlhl5>*B*CJKHOJQJ\^Jph/hlhl5B*CJKHOJQJ\^Jph8jhlhl5B*CJKHOJQJU\^Jph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^JphW &$/%')***&-/111 $$1$Ifa$gdl$dd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl $1$a$gdl$ & Fdd1$[$\$a$gdl T!U!!!!!!!!!""2#3#x#y###['\'''''0)1)))))жжжжЂjPЂjPЂjP2hlhl6>*B*CJKHOJQJ]^Jph/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph)****++#,$,,,-,--------).*.ꙁgMM6Mꙁ,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph2hlhl6>*B*CJKHOJQJ]^Jph/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph2j\hlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph*.-...//!0"0405070800000111J1K1v1w11111Y2Z2ɴkɴSFFFFFhlhlCJKHaJ/hlhl5B*CJKHOJQJ\^Jph/hlhl6B*CJKHOJQJ]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph8jhlhl6B*CJKHOJQJU]^Jph2hlhl6>*B*CJKHOJQJ]^Jph111J1yy $$1$Ifa$gdlxkd$$If0 0634abJ1K1P1v1yy $$1$Ifa$gdlxkd$$If0 0634abv1w1{11yy $$1$Ifa$gdlxkdL$$If0 0634ab1111yy $$1$Ifa$gdlxkd$$If0 0634ab11-393 444w]w5w'$ 2( Px 4 #\'*.25@91$^a$gdl$dd-D1$@&M [$\$a$gdl$dd1$[$\$a$gdlxkd$$If0 0634abZ22222223 3(3)3-393 44й꜄jP55hlhl56B*CJKHOJQJ\]^Jph3hlhl5B*CJKHOJQJ\^JaJph2hlhl6>*B*CJKHOJQJ]^Jph/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph4444445 555 5*5-57585B5D5E5G5Q5W5b5f5j5n5o5q5{55555555T8U8888888꺅k2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph5hlhl56B*CJKHOJQJ\]^Jph)hlhlB*CJKHOJQJ^Jph*4G5q5589 9Y9999:#:;>?)?ABApAA$dd-D1$@&M [$\$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl88888888899999999$9>9@9A9C9K9L9T9V9W9]9q9s9t9v9~99999999999999999999999999999999::::::":#:/hlhl6B*CJKHOJQJ]^Jph5hlhl56B*CJKHOJQJ\]^Jph)hlhlB*CJKHOJQJ^JphG#:==@=A=B=C=H=I=====>>>>>?? ????(?)?AA$A/A1A=A?A@ABALARA]A_AkAmAnApAйй꞉꞉qqqq/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph5hlhl56B*CJKHOJQJ\]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph*pAABCDDDDD0DDDNDbDDDDDDDDDDDFFFFиuиии[DDи[УDu,hlhlB*CJKHOJQJ^Jo(ph2hlhl6B*CJH*KHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph0hlhlB*CJKHOJPJQJ^Jo(ph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph3hlhl5B*CJKHOJQJ\^JaJphABBDFGH3H5HZHJKKKOPU$dd-D1$@&M [$\$a$gdl$dd-D1$@&M [$\$a$gdl $1$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl$dd1$[$\$a$gdlFFGGGGH3H4H5HZHHH8I9IҽtW?W/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph2jJhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph0hlhlB*CJKHOJPJQJ^Jo(ph9IAIBIfInIJKLLNN@PBPPPɴiQ772jhlhlB*CJKHOJQJU^Jph/hlhl6B*CJKHOJQJ]^Jph0hlhlB*CJKHOJPJQJ^Jo(ph3hlhl5B*CJKHOJQJ\^JaJph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph8jhlhl6B*CJKHOJQJU]^Jph2hlhl6>*B*CJKHOJQJ]^JphPPPS STT%T&TU>U?U`UaUcUdUeUVVVVVVV(V*V8V:V>VDVϺϺϺzbbKbbKb,hlhlB*CJKHOJQJ^Jo(ph/hlhl6B*CJKHOJQJ]^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ5hlhl56B*CJKHOJQJ\]^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^JphU>U?UDU`Uakd$$If40634a $$1$Ifa$gdl`UaUgUVww $$1$Ifa$gdlykd$$If400634abVVV8Vyy $$1$Ifa$gdlxkd2$$If00634ab8V:VJVrVyy $$1$Ifa$gdlxkd$$If00634abDVFVbVdVrVtVxV~VVVVVVVVVVVVWW"W$W4WJWLWtWvWWWXXL_M_j_k________һҮһҮҮҮһҮҗҗҗҗ}2j hlhlB*CJKHOJQJU^Jph,hlhlB*CJH*KHOJQJ^JphhlhlCJKHaJ,hlhlB*CJKHOJQJ^Jo(ph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jph*rVtVVVyy $$1$Ifa$gdlxkd$$If00634abVVVVyy $$1$Ifa$gdlxkd0$$If00634abVV W"Wyy $$1$Ifa$gdlxkd$$If00634ab"W$WPWWyy $$1$Ifa$gdlxkd$$If00634abWWY\(^____awwwwnTnw$dd-D1$@&M [$\$a$gdl $1$a$gdl$dd1$[$\$a$gdlxkd. $$If00634ab ___0`B`L`````a4a6a`abaaaab ccHcOcUc[cdcddd d͸wbIb͸Iw0hlhlB*CJKHOJPJQJ^Jo(ph)hlhlB*CJKHOJQJ^Jph,hlhlB*CJKHOJQJ^Jo(ph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"phaaa9bibb cc dxddeff!fjfyf[g,hhhifi $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl ddeff!fjfwf[ghh*hiik2l4l`l,n-n.nEnnnսꤏꤏu[>8jhlhl6B*CJKHOJQJU]^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph2jt!hlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph0hlhlB*CJKHOJPJQJ^Jo(ph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jphfiiikbll8mlmm,n.nEnoop'qr$ & Fdd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl$dd1$[$\$a$gdl $1$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdlnnnnnooYoZo`oao p!p`papopppppqq"q#qDrEr~rrrrrrrrrrsʰʛʰʛjjjj,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph#sstt?t@t_t`tbtctttttttttuuuuDuEueufuuuuu9vAvCvbvcvvvջջջջջջջջՌw]w]2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph$rsou1vCvSvvv x.yzB{||6~ ) $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlvvvvvvv"w#w3w4w7w8wwwwwwwwwxxxxcxdxyxzx}x~xxxxxxxyy)y*y:y;yyyyyyyyyyyzzUzVzezfznzozzzzzϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺ/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph@zzz#{${8{9{N{O{{{{{{{||||%|&|o|p|||||||||}}I}J}Y}Z}d}e}}}}}}}~~2~3~B~C~~~~~~~~~~)йййййййййй)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph>)3ـTU_`nxyʁˁҰ҄jjSj992jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph,hlhlB*CJH*KHOJQJ^Jph)hlhlB*CJKHOJQJ^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph]рYII@ $1$a$gdl$dd1$[$\$a$gdlKkdy"$$If0 634a $$1$Ifa$gdlKkd"$$If0 634anxہ܁JWt}mdmd $1$a$gdl$dd1$[$\$a$gdlKkd"$$If0w 634a $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl ˁفځہ܁JUWtϺffOf8,hlhlB*CJH*KHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph ijopstʄ˄΄τ$%*+-.ҸҸҸҸҸҸҸҸҌr]r)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jph }KkdK#$$If0 634a $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl ˆ׆نST^_owϺffOf7/hlhl6B*CJKHOJQJ]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^JphÆنkm|rrrrrdd $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd#$$If0 634a Vbdu}ʈˈйФjRj5R58jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^JphNdsڈKrrrdd $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd$$$If0634aˈՈֈ>?IJKLT`bsɴpYL4/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph8jhlhl6B*CJKHOJQJU]^Jph2hlhl6>*B*CJKHOJQJ]^JphKLbq؉Itt $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdlKkd$$$If0634as{~ȉɉӉԉ<=GHIJNJҵ絛҆lWl@l3hlhlCJKHaJ,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^JphIJӊ Zrrrrdd $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd$$$If0634a NJъӊՊ݊ߊ34CDGHȋɋ67STWXŌƌYZrsvwopϺqqqqqq,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph5hlhl56B*CJKHOJQJ\]^Jph,pJKWXZ[ɏˏߏϺv_v_R:/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^JphZ[ˏݏŐrrrdd $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkdX%$$If0634aߏ23CDFGŐƐҵ絛ҵ絛҆lWl=l2hlhl6>*B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^JphΑ$%8Pvrrrrrrrrrr'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd%$$If0634a Mӓۓޓߓ23ABDEǔȔޱޱ||b|||b|H2jhlhlB*CJKHOJQJU^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^JphhlhlCJKHaJ9Mѓǔ $$1$Ifa$gdl $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl Ȕt×ė *+<жС|g|gMgM6Mg,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^JphЕ-mrrrrrrrrrr'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd*&$$If0634a ܖl8: *6r $$1$Ifa$gdl $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl <DGH*6Drs}~ҵ絛ҵ絛҆naG2jhlhlB*CJKHOJQJU^JphhlhlCJKHaJ/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jphrs}ԙՙYP $1$a$gdlKkd&$$If0634a $$1$Ifa$gdlKkd&$$If0634a~Ǚșҙәԙՙݙ,-жС|gMgM6Mg,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jphsۛܛ=}Kkde'$$If0634a $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl abopۛܛҵ絛ҵ絛҆naG2jhlhlB*CJKHOJQJU^JphhlhlCJKHaJ/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jph01;<=>Ȟ˞̞жС|g|gOg2O28jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph=><]^rrrrrrrrr'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd'$$If0634a .JTԟetKkd7($$If0634a $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl )*JTUҟԟɴpVI1/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ2hlhl6>*B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph8jhlhl6B*CJKHOJQJU]^Jph2hlhl6>*B*CJKHOJQJ]^JphRS`a۠ܠfҵ絛҆lWl=l0hlhlCJKHaJ2hlhl6>*B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jphfsˡ$Av+rrrrrrrr'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdlKkd($$If0634a fqsA~/7:;ˣҽҽtWtW=W2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph+-9:D}Kkd )$$If0634a $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdlˣ56789:DEй}cH5hlhl56B*CJKHOJQJ\]^Jph2hlhl6>*B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^JphhlhlCJKHaJ,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jphtt $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdlKkdr)$$If0634aĤŤ %&{|mn긡긡r]rFrr]rFr,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph ɧ̧лФлФ|gOg/hlhl6B*CJKHOJQJ]^Jph)hlhlB*CJKHOJQJ^Jph5hlhl56B*CJKHOJQJ\]^JphhlhlCJKHaJ,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph&tt $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdlKkd)$$If0 634a̧ͧ!"%&{|#$&'/9ѥv_R:/hlhl5B*CJKHOJQJ\^JphhlhlCJKHaJ,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph&'?˩tt $$1$Ifa$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdlKkdD*$$If0634a9=?KL˩̩)*,-|}ԿqYq?qqYq?q2hlhl6>*B*CJKHOJQJ]^Jph/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph,hlhlB*CJH*KHOJQJ^JphdexY?$dd-D1$@&M [$\$a$gdlKkd+$$If0 634a $$1$Ifa$gdlKkd*$$If0 634aVW`adexƫޫǮȮ 8:;ĭ~~~fQ~ĭ~)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph3hlhl5B*CJKHOJQJ\^JaJph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^JphhlhlCJKHaJx9KϬ5Wyí$Fk~'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdl;DEGIKLVWY_abhimtvwв()QR  սըՎՎwՎՎwսըՎՎw,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph.̯ޯ@bȰ 1nEgв'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdlв '9P~ε3~(Ij'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdl>cv0ߺ!%&Tͻܻ $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl 3:JObjltyǹ */ߺzO 12tu&'ѼѼѼѼѼѼѼѼѼѤяѤяѤяxx,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph/=wμ'BSghŽPl"B{Ͽ'$ 2( Px 4 #\'*.25@91$^a$gdl=lIeBFGZh'$ 2( Px 4 #\'*.25@91$^a$gdl Ed6q&ARfgl'$ 2( Px 4 #\'*.25@91$^a$gdlKq:y$GjAf'$ 2( Px 4 #\'*.25@91$^a$gdl,;<A| e$KcP'$ 2( Px 4 #\'*.25@91$^a$gdlPsAfyRhDp'$ 2( Px 4 #\'*.25@91$^a$gdlp"Cf~)KOP^p;b'$ 2( Px 4 #\'*.25@91$^a$gdlb6[W~8]3Xk'$ 2( Px 4 #\'*.25@91$^a$gdlkz(<)Mq[t $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl /AOFk(l $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdlZ LNeN$dd-D1$@&M [$\$a$gdl $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl'9:<=56HILMNe%&PQ^_/089WXϺϺϺϺϺϺϺϺϺϺϺϺϺϺϺ3hlhl5B*CJ"KHOJQJ\^JaJ"ph2j+hlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph1ABIJNx34ABZgi㜂hhQh9/hlhl5B*CJKHOJQJ\^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph3hlhl5B*CJKHOJQJ\^JaJph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^JphNxZiZ7c'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl<j*VSb~? $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdli,-:;S`b;<XYijlmջջՌջջՌջջջջջջr2j,hlhlB*CJKHOJQJU^Jph/hlhl5B*CJKHOJQJ\^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph*?j2wP{)k'$ 2( Px 4 #\'*.25@91$^a$gdl4R`*M+e'$ 2( Px 4 #\'*.25@91$^a$gdl $1$a$gdl$dd1$[$\$a$gdl@m,F+M['$ 2( Px 4 #\'*.25@91$^a$gdl'l2]2Rm $1$a$gdl$dd1$[$\$a$gdl'$ 2( Px 4 #\'*.25@91$^a$gdl2AdHA ! %  $1$a$gdl$ & Fdd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl$dd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl2STef\]жОЁgЁgMM2jhlhlB*CJKHOJQJU^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph3hlhl5B*CJKHOJQJ\^JaJph)hlhlB*CJKHOJQJ^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"phhi ! = > X Y     M N { |      ϺϺϺϺϺϺϺϺϺϺϺl3hlhl5B*CJKHOJQJ\^JaJph3hlhl5B*CJ"KHOJQJ\^JaJ"ph2j,hlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph'%   s\l:   #H$*%&&$ & Fd1$[$a$gdl$ & Fd1$[$a$gdl$dd-D1$@&M [$\$a$gdl$dd1$[$\$a$gdl   - . > ? A B             J K e f h i       %&78:;=>QRTU_`o̵̵̵̵̵̵̵̵̵̵̵̵,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph-hlhlB*CJKHOJQJ^JaJphGoprs'(r !5689~ `a}~78IJLM[r͡͡͡͡)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph6jhlhlB*CJKHOJQJU^JaJph?9:QRTU'(*+hi}~ klDQR̵̵̵̵̵̵̵蠆3hlhl5B*CJKHOJQJ\^JaJph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph-hlhlB*CJKHOJQJ^JaJph4/<=*78!./{|  -.    3!4!B!C!##G$X$e$f$$$$$)%;%H%I%%%%% &&%&ͶͶͶͶͶͶͶͶͶͶͶͶͶͶͶ)hlhlB*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph6jhlhlB*CJKHOJQJU^JaJph,hlhl>*B*CJKHOJQJ^Jph?%&&&g&h&n&o&&&&&"'#'-'.'''''(((((((()) ) )|))))))****<+G+++,,6,G,T,U,,,,,͡͡͡͡͡͡͡͡3hlhl5B*CJKHOJQJ\^JaJph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph6jhlhlB*CJKHOJQJU^JaJph5&'(})*=++,6,,-~--/.00123$ & Fd1$[$a$gdl$dd1$[$\$a$gdl$ & Fdd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl$ & Fd1$[$a$gdl,,,--- ...^._.h.i.// /!/h/i/u/v/-0A0N0O0000001!1"1o1p111112 2Q2R2_2`22222$3%32333ӹ蝆蝆蝆蝆蝆蝆,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph3hlhl5B*CJKHOJQJ\^JaJph)hlhlB*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph433333333444444E5F5Q5R555 66*6+6t6u6666666-7.7:7;7}777777888888889 999999999%:&:k:l:~:跠跠跠跠跠跠跠跠,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph)hlhlB*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph?345 66~789:<==n>?@ABCDTFG$ & F d1$[$a$gdl$dd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl$ & Fd1$[$a$gdl~::::::::;;w;x;;;;;<,<9<:<<<<<0=1=v=w========">#>͸͸͸mm2jhlhlB*CJKHOJQJU^Jph3hlhl5B*CJKHOJQJ\^JaJph,hlhl>*B*CJKHOJQJ^Jph)hlhlB*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph6jhlhlB*CJKHOJQJU^JaJph$#>T>U>>>>>>>>?????? @ @@@A BBBCCCCDD6D7DDEEEvEwEEESFtFFFFϺpppp,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph-hlhlB*CJKHOJQJ^JaJph)hlhlB*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph,FFFFGGGG)H*HEHFHH IIIlImIII6JVJcJdJJJJJKKKKLL0L1LLLMMXMYMrMsMN/N*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph?GH7JKLNFOqPQ1ST+V{WX0Z[\D^_\ataa$dd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl$ & F d1$[$a$gdlPQQ(Q)QQQRRcRdRRR0S]SjSkSSSSSTTTTNUOUxUyU*VLVYVZVVVVVzWWWWXX X!XXXXX[Y\YYY/ZVZcZdZZZZZ[[[̵̵̵̵̵̵̵̵)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph-hlhlB*CJKHOJQJ^JaJph?[[\\<\=\\]]]s]t]]]C^u^^^^^_ __```z`{```[a\ataaaa/b0b>b?bbbcccdddee)e*eee͡͡͡͡͡͡͡3hlhl5B*CJKHOJQJ\^JaJph)hlhlB*CJKHOJQJ^Jph,hlhl>*B*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph6jhlhlB*CJKHOJQJU^JaJph5abccdeUfg^gs8*02Bˍ$dd-D1$@&M [$\$a$gdl $1$a$gdl$ & F d1$[$a$gdl$dd1$[$\$a$gdl$dd-D1$@&M [$\$a$gdl$ & F d1$[$a$gdleTfkfgg]gjgqgrgggggr~ԈՈވ߈7BIJ)8/012跠跠跠跠ӄ2jS-hlhlB*CJKHOJQJU^JphU,hlhl>*B*CJKHOJQJ^Jph6jhlhlB*CJKHOJQJU^JaJph)hlhlB*CJKHOJQJ^Jph-hlhlB*CJKHOJQJ^JaJph+) Satisfied iff the first argument is the length of the list the second argument (number of members of the list). swrlb:first (from  HYPERLINK "http://www.w3.org/TR/2004/REC-rdf-schema-20040210/" \l "ch_first" rdf:first) Satisfied iff the first argument is the first member of the list the second argument. swrlb:rest (from  HYPERLINK "http://www.w3.org/TR/2004/REC-rdf-schema-20040210/" \l "ch_rest" rdf:rest) Satisfied iff the first argument is a list containing all members of the list the second argument except the first member (the head). swrlb:sublist Satisfied iff the list the first argument contains the list the second argument. swrlb:empty (from  HYPERLINK "http://www.w3.org/TR/2004/REC-rdf-schema-20040210/" \l "ch_nil" rdf:nil) Satisfied iff the list the first argument is an empty list.  Acknowledgments This document was produced as part of the  HYPERLINK "http://www.daml.org/" DARPA DAML Program, and has benefited from extensive discussion in the  HYPERLINK "http://www.daml.org/committee/" Joint US/EU ad hoc Agent Markup Language Committee, with contributions from  HYPERLINK "http://www.w3.org/People/Sandro/" Sandro Hawke and  HYPERLINK "http://www.coginst.uwf.edu/~phayes/" Pat Hayes being worthy of particular mention. It has also benefited from the close cooperation of the  HYPERLINK "http://www.ruleml.org/" RuleML initiative, and input from the  HYPERLINK "http://www.swsi.org/" Semantic Web Services Initiative (SWSI).  References [Grosof et al 2003] Description Logic Programs: Combining Logic Programs with Description Logic. Benjamin Grosof, Ian Horrocks, Raphael Volz, Stefan Decker. Proc. WWW2003, Budapest, May 2003.  HYPERLINK "http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html" http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html (also  HYPERLINK "http://ebusiness.mit.edu/bgrosof/" \l "DLP" http://ebusiness.mit.edu/bgrosof/#DLP). [Lloyd87] Foundations of logic programming (second, extended edition). J. W. Lloyd. Springer series in symbolic computation. Springer-Verlag, New York, 1987. [OWL Reference]  HYPERLINK "http://www.w3.org/TR/2004/REC-owl-ref-20040210/" OWL Web Ontology Language Reference. Mike Dean, Guus Schreiber, Sean Bechhofer, Frank van Harmelen, James Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. W3C Recommendation 10 February 2004. Latest version is available at  HYPERLINK "http://www.w3.org/TR/owl-ref/" http://www.w3.org/TR/owl-ref/. [OWL S&AS]  HYPERLINK "http://www.w3.org/TR/2004/REC-owl-semantics-20040210/" OWL Web Ontology Language Semantics and Abstract Syntax. Peter F. Patel-Schneider, Pat Hayes and Ian Horrocks, eds. W3C Recommendation 10 February 2004. Latest version is available at  HYPERLINK "http://www.w3.org/TR/owl-semantics/" http://www.w3.org/TR/owl-semantics/. [OWL XML]  HYPERLINK "http://www.w3.org/TR/owl-xmlsyntax/" OWL Web Ontology Language XML Presentation Syntax. Masahiro Hori, Jrme Euzenat, Peter F. Patel-Schneider. W3C Note 11 June 2003 [RDF Concepts]  HYPERLINK "http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/" Resource Description Framework (RDF) Concepts and Abstract Syntax. Graham Klyne, Jeremy J. Carroll, and Brian McBride, eds. W3C Recommendation 10 February 2004. Latest version is available at  HYPERLINK "http://www.w3.org/TR/rdf-concepts/" http://www.w3.org/TR/rdf-concepts/. [RuleML]  HYPERLINK "http://www.ruleml.org" Rule Markup Language Initiative. [Schmidt-Schau89] Subsumption in KL-ONE is Undecidable. M. Schmidt-Schau. Proc. of KR'89, pages 421-431, Morgan Kaufmann. [XML]  HYPERLINK "http://www.w3.org/TR/2000/REC-xml-20001006" Extensible Markup Language (XML) 1.0 (Second Edition). Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, and Eve Maler, eds. W3C Recommendation 6 October 2000. Latest version is available at  HYPERLINK "http://www.w3.org/TR/REC-xml/" http://www.w3.org/TR/REC-xml/.  2Blm؋ً89STnjȌьҌ/0TUfg|}Ǎȍˍ͍̍؍жжжжжжжжжжжжЅm/hlhl5B*CJKHOJQJ\^Jph2j-hlhlB*CJKHOJQJU^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph3hlhl5B*CJ"KHOJQJ\^JaJ"ph*ˍ͍؍1BݑALpzՕ?F $1$^a$gdl$dd-D1$@&M [$\$a$gdl $1$a$gdl8%&-.fg׏1BCّڑݑҸҸҸҸ҉҉llRlҸҸ҉l2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl5B*CJKHOJQJ\^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph/hlhl6B*CJKHOJQJ]^Jph -.ef=>ALM~VWIJlmpzʰʛjRʰʛRʰʛjR/hlhl5B*CJKHOJQJ\^Jph,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph/hlhl6B*CJKHOJQJ]^Jph z{Օ?FG<=hi㜄˜jjSj,hlhl>*B*CJKHOJQJ^Jph2jhlhlB*CJKHOJQJU^Jph/hlhl5B*CJKHOJQJ\^Jph)hlhlB*CJKHOJQJ^Jph2hlhl6>*B*CJKHOJQJ]^Jph/hlhl6B*CJKHOJQJ]^Jph8jhlhl6B*CJKHOJQJU]^Jph h8wo()hlhlB*CJKHOJQJ^Jph2j.hlhlB*CJKHOJQJU^Jph0182P. A!"#$%S 7 Dd8  s ARw3c_homeW3CyK yK &http://www.w3.org/b)̝eXbJDn̝eXbJPNG  IHDRH0=gAMA aIDATxZ}lSU?1{t3b(n "a4iXj8 1Jg8Q3tQ(h CK ^RBM&nCnohGX_ǹsWG=h&?h& ,',"a``d2LGc,˚L&$oذ8`GmmX~~~(GG!l643po!pN"m*u`[<4O:} !93Ceq\NN VeYfiZ؍`x5Σn| [w6?o oq\uuuKK 0EEEv]ѠS< .8s qW<ڵN(i3Su>8[2~쑱޾=VB8ܖD"r:l]]˗ ˲,644TVV*X履—HNMrTMޣg+RfmW_9loof͊D"FQT-̪R(. qcB1p~^@cÊ,x83=uY$0\.NwPiSdƴS#0%u|qGɶ"yOy8$v)].@mX0œh4^%LOfĔAZyq1w]BȻ ĨL~CQja R%r 4hhhd]ek3J;db0d^WnaQVOtI\tq:8.|QO`eEhRFZB#㇌4XU髤'_WZq&4v7-\3&c|AFF,x3M/7B|=8M/TiˆR `+я\Ql/bw1erl^I g.EРWV~Zw"gitdĝU{b=FlhFi\EGF C%zzij.G4}&NLL#xꧦLk.i dINRfxHn&܍7`/LRKӻYjb5.v<;AaLH:sI~HF WW8\QbK.%L6p$s!lN! iP'yy%ܢxh4VWW˘p8|>R!qIN&vL~&7NMRTpNzSEYYYjZtq\MM  zK}I""7zBcG(5jX,1*qdq3K:!Xh4\ɻ fXtIfuq0@ ij%8`F2`eP䂒@@F`\EPpg n0TSG !S3nL#Ut6^锃ԀԢׂ 13}HL~\ u@O}ӠAƳDC 05,֟y! \~ ]V<}2!S3:ϚRv`9P) )т:  ʐfL-Զ"gMIX kF'P`;=V\A֏H@[AL hB+ 7m5\}6N:l%"ȏ55 ԟ [`zՈ+/~P@9A4R485(Gv0 ~iAnxS@ Q(@e V`:eGbf#'Y<)yT&(Ğ &h @f8M!(o-r Dӓ $aWzdHDz?Jvߦ zǥQUv8%nTY~ŀ&ʍvDR0z=3^Fh^ VJk)y;2+֭؄O%7dB@w}p2>QG vRqUYzcTWSytI`@W$eg^lN)(,#H^m$Uq*>v2onT5_9{lH1""ڵRqG\Ns۟Pc.70 9a֡OLJGPL@!ռ Z}})LJ{6>ǿ5eO=o%Xd`iIV ]<%'%~&|MAr; }?5Uք~k'TbZ:X*u 4\! OF 45+"&HT>hԉ[l`XlaAM6P @r?$Cj~tytk2$P7@C23 @bj$"RrM.i}P3#{q؇P@5T5˨i`ܬ6@M[XT =Z 45%x>N3J!#܀6Lz&P)`,5 H&(:mT?,#2L* *`M u꜂GMrXj9C726O Ԋ&*EA~@MXT{arhd6(Æa T@>} 'l6?W<4îj/8YFH`MlX؃lU#r@  , i^Jh}!{P6Hi%*phq <V`< l]vc>*phfq Bb`B lHTML NxCJOJPJQJ^JaJo(e`" l HTML *5AoKU^^_ IS    Q 5a4;%'XKJ !{"#$+%g&'()&HW<F{  {},w3-Ubw=W&/!"""&%')))))J)K)P)v)w){))))))-+9+ ,,,G-q--01 1Y11112#2367)79B9p99::;\<<!=;===b=@@@@CUD G+G,G1GMGNGTGaGbGhGuGvG~GGGGGGGGGGGGHHHjIJKMM(M7MM/NgNNN OvOOOPwPwx.x8xxx!y.yAyeyyyyyyy!zVzuzzzz{.{D{|0|:||||}}C}a}y}z}}}}!~1~O~g~~#}GHnNOY!.jЄф 'e1džGh؇[\و >h%1* 2 4>גؒet Bgʔ$6uޕ?Q՗;]/Tgyڙ!4C}Ü*Am3Xݞ'o֟RafǢ @O_y A{Ƥڤۤ8tåߥ+c"BYwߧ<qب8Vijoͩ۩'A}תMl@zŬ٬ڬ߬SWXfx?b2Wݯ'kٰDg,d~ز)*8Jaֳ<_ô .nٵRpŶ 1W۷(h /Uvٹ]ºúѺ0Woջ`μ7]ʽ:M_о]˿޿P_l-t@f0X~+:Hv b*RwIbt9^qO3Al%Hk%H=`*9 )7bx Al@c<My 4Wix*LjV+X{2Ux 0Am)g,LCr!LuEh/EWfB8 sUWd;':zE>    4*Gnlvr^1U< "#%=%%&I(r)>*+a,-/e013M4567H9:%<=>6@A CRDEGGHH:I]JVKoK'L&MMvNNOPrQQxRzRRUU U5UVVyWW%Y1YZZK[[[\\ ]]]]^^^r : r 9r Tr r r r r r e#r r r x r r Tr !r r l#r r x r r r r r r r r r r r r r r r r r r r r r nr r nr r x r r !r r r r r x r r r : r r Tr : r r ~r r r r #r r r r r r r r r r r r r [r r r x r r nr r r r x r r r x r r Tr Tr nr r !r f f f f f f f f r r r : r r r x r r ~r  r rr r r r x r r x r r r x r r rr r rr r ~r  r r r r r r r r  r r r r r r r x r : r r r  r !r r !r : r r r r r r r r r r r r r u  u  r rr Tr r ~r x r r r r r r r ~~  r rr r r r r r ~r x r r r r ~r r r r ~r x r r r r r ~ r x r r r r ~r x r r r r r r r r r r r r r r r r x r r r r ~r x r r r r r r r r r r r r r r x r r r r r r r r r r r r r x r r r r r r r r r r r x r r r r ~r r r r ~r x r r r r r r r r rr r r r r r qqr r ~  r r ~ r r ~~  r x r Tr r r r r r r r r r r r r r r r r r r r r ~r r r r r r r r r r r r r r r r r r r r r r r r r x r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r : r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r x r r r r r r r r r r r r r r r r r r r r r r r r r x r r r r r r r r r r r r r r r r r r r r r r r r r r r r ~r r x r r : r : r Tr : r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r rr r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r x r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r x r r x r Tr Tr : r r r r r nr : r l#r Tr r x r !r : r !r : r Tr Tr pr _r gr _r jr _r % r : r e r e r e r e r pr gr e r e r _r _r e r e r e r jr e r e r e r % r Tr Tr Tr e r e r jr _r e r e r e r jr _r _r _r _r e r e r _r jr jr % r Tr e r jr pr jr jr jr pr e r jr jr jr e r jr e r e r jr jr pr pr jr jr jr jr jr jr pr pr % r Tr e r jr % r : r e r e r e r _r e r _r e r _r _r r x r r r x r r r r  r r r r  r r  r r  r r r r r r  r r &HW<F{  {},w3-Ubw=W&/!"""&%')))))J)K)P)v)w){))))))-+9+ ,,,G-q--01 1Y11112#2367)79B9p99::;\<<!=;===b=@@@@CUD G+G,G1GMGNGTGaGbGhGuGvG~GGGGGGGGGGGGHHHjIJKMM(M7MM/NgNNN OvOOOPwPwx.x8xxx!y.yAyeyyyyyyy!zVzuzzzz{.{D{|0|:||||}}C}a}y}z}}}}!~1~O~g~~#}GHnNOY!.jЄф 'e1džGh؇[\و >h%1* 2 4>גؒet Bgʔ$6uޕ?Q՗;]/Tgyڙ!4C}Ü*Am3Xݞ'o֟RafǢ @O_y A{Ƥڤۤ8tåߥ+c"BYwߧ<qب8Vijoͩ۩'A}תMl@zŬ٬ڬ߬SWXfx?b2Wݯ'kٰDg,d~ز)*8Jaֳ<_ô .nٵRpŶ 1W۷(h /Uvٹ]ºúѺ0Woջ`μ7]ʽ:M_о]˿޿P_l-t@f0X~+:Hv b*RwIbt9^qO3Al%Hk%H=`*9 )7bx Al@c<My 4Wix*LjV+X{2Ux 0Am)g,LCr!LuEh/EWfB8 sUWd;':zE>    4*Gnlvr^1U< "#%=%%&I(r)>*+a,-/e013M4567H9:%<=>6@A CRDEGGHH:I]JVKoK'L&MMvNNOPrQQxRzRRUU U5UVVyWW%Y1YZZK[[[\\ ]]]]^^^0000&0&0&0&0&0&0&0&00000000 0} 0} 0} 0} 0} 0} 0} 0} 0} 0} 0} 0} 0U} 0} 0} 0} 0} 0} 0} 0} 0} 0} 0}0}000000000"0"0"0"0"0" 0"0"0" 0"0"0" 0"0"0" 0"0"0" 0"(0"0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+0-+(0"0p90p90p90p90p90p90p90p900==(0==0@0@0@0@0@0@0@0@0@0@ 0@0@0@ 0@0@0@ 0@0@0@ 0@0@0@ 0@0@0@ 0@0@0@ 0@0@0@ 0@0@0@0@0@00M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M0M00U 0U 0U 0U 0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U 0U0U0U 0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U0U0U0U 0U0U0U 0U0U0U0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U 0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U 0U0U0U 0U0U0U0U0U0U0U0U0U 0U0U0U 0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U 0U0U0U0U0U0U0U 0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U0U 0U0U0U 0U0U0U0U0U 0U0U0U0U0U 0U0U0U0U0U 0U0U0U (0U0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0ؒ0000(00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000(000 0 0 0 0I071I071I071I07I071I071I071I071I071I071I071@0I00I00I00I00I00I0>1I0>1@0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0P1I0P1I0P1I0P1@0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0b1I0b1@0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0~1I0~1@0I00I01I01@0I00I00I00I00I00I00I00I00I0I01I01I0I01I0I01I0I01I0I01I0I01I0I01I0I01I0I01I0I01I0I01I00&HW<F{  {},w3-Ubw=W&/!"""&%')))))J)K)P)v)w){))))))-+9+ ,,,G-q--01 1Y11112#2367)79B9p99::;\<<!=;===b=@@@@CUD G+G,G1GMGNGTGaGbGhGuGvG~GGGGGGGGGGGGHHHjIJKMM(M7MM/NgNNN OvOOOPwPwx.x8xxx!y.yAyeyyyyyyy!zVzuzzzz{.{D{|0|:||||}}C}a}y}z}}}}!~1~O~g~~#}GHnNOY!.jЄф 'e1džGh؇[\و >h%1* 2 4>גؒet Bgʔ$6uޕ?Q՗;]/Tgyڙ!4C}Ü*Am3Xݞ'o֟RafǢ @O_y A{Ƥڤۤ8tåߥ+c"BYwߧ<qب8Vijoͩ۩'A}תMl@zŬ٬ڬ߬SWXfx?b2Wݯ'kٰDg,d~ز)*8Jaֳ<_ô .nٵRpŶ 1W۷(h /Uvٹ]ºúѺ0Woջ`μ7]ʽ:M_о]˿޿P_l-t@f0X~+:Hv b*RwIbt9^qO3Al%Hk%H=`*9 )7bx Al@c<My 4Wix*LjV+X{2Ux 0Am)g,LCr!LuEh/EWfB8 sUWd;':zE>    4*Gnlvr^1U< "#%=%%&I(r)>*+a,-/e013M4567H9:%<=>6@A CRDEGGHH:I]JVKoK'L&MMvNNOPrQQxRzRRUU U5UVVyWW%Y1YZZK[[[\\ ]]]]^^^I00@0hI00I0I00I0I00I0I00I00I0I00I0 0I0 0I0 0I0 0I0 0I0 I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 0I0 I0 0I0 0I0 0I0 0I0 0I0 0I0 I0 0I0 0I0 0I0 0I0 I0 @I0I0@I0I0@I0I0@LI0I0@LI00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I0I0I0I0@I0I0@I0I0@I0I0@I0 I0 @I0"I0"@I0$I0$@xFOII0&I0&@!9SKI0(0I0(0I0(0I0(0I0(I0(0I0(I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(0I0(I0(@KI0*I0*@KI0,0I0,0I0,I0,0I0,I0,@I0.0I0.I0.0I0.0I0.I0.0I0.0I0.0I0.I0.@I00I00@I020I02I020I020I020I020I020I02I02@I040I04I040I040I040I04I04@I06I060I060I060I06I06@I080I08I080I080I080I080I08I08@I0:0I0:I0:0I0:0I0:0I0:I0:@I0<0I0<I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<0I0<I0<0I0<0I0<0I0<I0<@I0>0I0>I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>0I0>I0>0I0>0I0>0I0>0I0>0I0>I0>@I0@I0@@I0BI0B0I0B0I0B0I0B0I0B0I0BI0B@I0DI0D@I0F0I0FI0F0I0F0I0F0I0F0I0F0I0F0I0F0I0F0I0F0I0F0I0FI0F0I0F0I0F0I0FI0F@I0HI0H0I0H0I0H0I0HI0H@I0J0I0JI0J0I0J0I0J0I0J0I0J0I0J0I0J0I0JI0J0I0J0I0J0I0J0I0J0I0JI0J@I0LI0L@I0NI0N0I0NI0N@I0PI0P0I0PI0P@I0RI0R0I0RI0R@I0TI0T@I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I00I0I00I00I0I00I0I00I0I00I0I00I0I00I0I00I0I00I0I00I0I00I0I00I00^ D )*.Z248#:pAF9IPDV_ dnsvz)ˁˈsNJpߏȔ<~fˣ̧9; 'i o%&,33~:#>FP[e2z   %&)/02345689;<=?@BLNOPQW 1J1v1114AU`UV8VrVVV"WWafirKIZr=+&xвPpbkN?% &3Gaˍ   !"#$'(*+,-.17:>AM!"iklmW9FyHU| ,\f\q|    S d # d s 7 S \5D Lx)0nt{07u*1o-RXU_fWt{:ADTWT2x[0!!!##$,$%%%%)&-&'!(4(7(((Y****+(+T0005@5B5H555=@>I> DGDQD|EEFVaViVVVVWWWQXXXYYYY8ZBZ[[[[\%\(\X\z\\\\]1^<^M^^^^^_ _\_x_____4`A`E`````` aVakaaaaa/bFbJbbbbc$c(csccccccJdddudddd"e6e:eeeee ffgfrfkhhhh=iLijXjcjkkkk-l=lAllllllmjmymjnnn oSo^oo=pHpgpppp;qFqeqqqRrrrrs*s;ssss8tUtftttt[uzuuuuvWvdvgvvv]wwww xx8xxxQ{{{{||:|||6 ky:E#sԂY>džuŇӇNY) n 7 _orf? y%>wɒӒ:cĚY~@SVK^ei 3Gn`Y 18yl^eQ <Bc#5TTeg/HKP^a #q.<?CYx{DZ] Y xoCX \ ) ?   $    OC/s|dz  {N!ivqXcw h { !\!g!!!!#"i"t""0#C####$$$e%%%&T&j&'j'~':+++,,--M.k.E///0001.2K20333v4445566'7978v88x999:D;p;\<<<=(>I>?t??k@@@A7B]B6CCCDD EEaFFGGHXIII>LLLN/OGOOP&PPPPQ0R8RRRR SMSSSSSSTTwTTTTTUU.VmVuVVVWWWXY!Y1YuYY/ZaZZZZZ[[[[`\\\\\]]]]^^^^XCXCXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX8@0(  B S  ?&STSWabstractstatuscontents12standard-namespaces2.12.233.1interpretation-conditions-tabledescription_atom_semanticsdata_range_atom_semantics"individual_property_atom_semantics"datavalued_property_atom_semanticssameas_atom_semanticsdifferentfrom_atom_semanticsbuiltIn_atom_semantics45owls_datarange5.166.177.188.18.28.38.48.58.68.7acknowledgments references&}")-+p9==@ GNGbGvGGGGGMUZؒWn%HVKzRU^  !"#$%G")-+p9==@,GSGgG}GGGGHMU[ؒWn%HVKzRU^ ~! ~9" ~q ~I"~r ~r ~tt ~;w ~,8"~<"~["~|["~r ~tr ~ "~ "!~}{ "~p{ #~ y $~ly %~|y &~1C1D1L1M1]1q1v1w11111111111111111222"2D2G2J2P2Q2T2V2c2d2g2m2t2u2x2C3G333147484;4x4444444455556666677(788899919=9_9k99 :; ;_;`;e;f;d<h<j<k<u<y<{<|<<<<<&=0=>>t?~???j@r@@@@@.A7ABBEBMBsByBBBC%CCCCDDDDDaFqFFFFFYGZGmGnGxG{GGGGGGGGGGGGGGGGGGGHHHHHHHHI"I#I-IBIOIIIIIOJRJKKLLuLxLLLMMMMMMMMNNNNNNN$NzNNNNNNOOPP:QBQCRNRPRTRmRqRsRtRRRRRjTuTTTTTTTTTzUUU^^{!!9+?+ ,,,,G-S-q-}-0011$1>1]1q111111122f6q6667 79 9D9N9;;<<(=0=BBDDFFI#ItIvIIIqJsJgNoNNNNNOOOOP#PPPPPPPPQRRRRRRSS'S2STTTTUU.U6UUU`UXX9ZBZ]]]]]]^^__``aaccccddffffffOgSgDhKhfhjhii]kdkykkkkm m6n=nSnUn\ncnnnooooooUpWpppppppSqUq?rDrrrssttuu%w,w?wEw[w]w"x,xxx/y5yHyNynyryyyyyyyyyyz,z;z`zrz}zzzzzz{{/{5{O{Q{ |.|} }!}*}L}P}h}v}{}}}}}}}})~/~:~>~V~d~~~ "%+HOt!#4Ksẅ́ׄ.8l<>&HNsu߇it )-EPoz # (57(0=?u|ȓߓ -1Mdqה۔'-@Wĕە BH[rėHLjnŘ:Q^`jpřə+-<@ΜԜ'/5LRz~ǝ#>Ubyɞ͞ 1H|ӟ9>̢ݢ !'HLRWdiˣ$N\ä̤פ ?Q}˥ݥ6HpzҦ.@LWau}"CUzĨ֨ߨ#@T\gt}Щթ,1L\ĪԪ .YiwūM[¬ˬ֬Y`io}˭ϭLPosή =Taxǯ˯ 1Hx|ְ+/QUr,.dhݲ+2;AOUlrɳӳ"&IMjдԴ+8O{ֵ 2[`{ֶ!BGnt!EPϸ-ASetùǹ  &]`ĺ˺ԺںNNOOPPrQxQQQV W.WVWWWWXvYYZZ[[]]^::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::}-U=))K)P)w){))) GHVV~ffffhOimmnao]pquvxx||}O\%1* 4;zRRU5U^ F nqZF[ pdn$A}TAH I8 ( K 2=p9s-QBvFU@DfY>Qu^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`.^`.pp^p`.@ @ ^@ `.^`.^`.^`.^`.PP^P`.^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo( 2=s-QI8 K F TA$AQufYvFUZF[ \H9*/6 0w Q7-!9S6Q!9Sm~H527DkeB-Z!R~*!9S0w !9S -<^ 2n>=x !9S=8 !9SJ !9S?` i/$B-k|;|;~!9Sy(!9SWYL!9SIR~BMqG/B-5&br=P`t!7K# t 5,7K#!9ScN%=x [ )'!9SP?'!9Sp*&b $(,!9S5,!9SB-!9S-!9S*/!9S~i/!9S'/APJgja6=x 9qG|;!9SHR-2n>!9S>!9SUf?@!9SA527D527D!9SFGDAPJgCE0w qG!9S%G2n>=vG-J0w `8[K i0SM5,jXM527DxFO*|d^=P`t=_!9S b!9S&b!9Sb=_eycR~[c7K#&d iAPJg!9S i!9Sj=x q7K#}q&bjpq!9S`lr|;<s*/=P`t!9Sw uqGM15v=_Yv*/fy!9Slt~=_R~!9S59R5,zyYdc @s Bz(TYp&` [ I6!%%16% a%B6(Z+4.s.k@01>4k5{$6.73 8H@#AKCDDx]E?HMH)LMNANOuT]&UTUVUW Y[Q]5^,s_#bGckfTLhYzhfitjnnpnbovq |q,3vjv8wCExaygB}=~UFbax5CkBd/UmXl-v|@j J#2CnUU5tE V}{}=V\+Xkpp,u-(3*_6k4FLbXg])))))J)K)P)v)w){)))))) G+G,G1GMGNGTGaGbGhGuGvG~GGGGGGGGGGGGHHHfffffgghhNiOimm{m|mmnnn o`oao]pgppp[qeqqquvvv.x8xxx0|:|||GHNOYdž[\%1  4>גؒ^@^^.=^^;<=@ACEYGYHjIjKjMjNOPsRsSsUHO^@@@D@F@@@L@@@P@@@V@@@Z@@@`@@@d@@@h@j@@@@UnknownGz Times New Roman5Symbol3& z Arial?5 z Courier New;[SOSimSunG5  hMS Mincho-3 fgK5   hMS Gothic-3 0000;Wingdings 1h-l.l\4y**|\4y**|!-!),.:;?]}    & 6"0000 0 0 00000 =@\]^([{  0 0 00000;[d"^"^3HX ?l2 FtpDownFtpDown8         Oh+'0l  ( 4 @LT\d FtpDown Normal.dotFtpDown1Microsoft Office Word@F#@N^@E^*\4y*՜.+,D՜.+, X`x www.ftpdown.com|"^G ( 8@ _PID_HLINKSAXihttp://www.w3.org/TR/REC-xml/6~f+http://www.w3.org/TR/2000/REC-xml-20001006$+chttp://www.ruleml.org/vz`#http://www.w3.org/TR/rdf-concepts/R]5http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/{?Z$http://www.w3.org/TR/owl-xmlsyntax/y4W$http://www.w3.org/TR/owl-semantics/OZT6http://www.w3.org/TR/2004/REC-owl-semantics-20040210/JQhttp://www.w3.org/TR/owl-ref/1,N0http://www.w3.org/TR/2004/REC-owl-ref-20040210/$$K"http://ebusiness.mit.edu/bgrosof/DLPx9H?http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.htmlFXEhttp://www.swsi.org/$+Bhttp://www.ruleml.org/m*?$http://www.coginst.uwf.edu/~phayes/]<!http://www.w3.org/People/Sandro/#m9http://www.daml.org/committee/UQ6http://www.daml.org/9P33http://www.w3.org/TR/2004/REC-rdf-schema-20040210/ch_nil5S03http://www.w3.org/TR/2004/REC-rdf-schema-20040210/ch_restJ2-3http://www.w3.org/TR/2004/REC-rdf-schema-20040210/ ch_first *=http://www-2.cs.cmu.edu/Groups/AI/html/cltl/clm/node149.html '=http://www-2.cs.cmu.edu/Groups/AI/html/cltl/clm/node149.htmlN$&http://www.w3.org/TR/xpath-functions/func-resolve-uri [!&http://www.w3.org/TR/xpath-functions/1func-subtract-dateTimes-yielding-dayTimeDurationy9&http://www.w3.org/TR/xpath-functions/3func-subtract-dateTimes-yielding-yearMonthDurationv)&http://www.w3.org/TR/xpath-functions/(func-subtract-dayTimeDuration-from-timeJ&http://www.w3.org/TR/xpath-functions/!func-add-dayTimeDuration-to-time~ &http://www.w3.org/TR/xpath-functions/(func-subtract-dayTimeDuration-from-dateT&http://www.w3.org/TR/xpath-functions/*func-subtract-yearMonthDuration-from-dateC&http://www.w3.org/TR/xpath-functions/!func-add-dayTimeDuration-to-date7b &http://www.w3.org/TR/xpath-functions/#func-add-yearMonthDuration-to-dater9 &http://www.w3.org/TR/xpath-functions/,func-subtract-dayTimeDuration-from-dateTimeM&http://www.w3.org/TR/xpath-functions/.func-subtract-yearMonthDuration-from-dateTimeZ &http://www.w3.org/TR/xpath-functions/%func-add-dayTimeDuration-to-dateTime.n&http://www.w3.org/TR/xpath-functions/'func-add-yearMonthDuration-to-dateTime {&http://www.w3.org/TR/xpath-functions/func-subtract-times)s&http://www.w3.org/TR/xpath-functions/func-subtract-dates$t&http://www.w3.org/TR/xpath-functions/func-divide-dayTimeDurationI&http://www.w3.org/TR/xpath-functions/func-multiply-dayTimeDuration;q&http://www.w3.org/TR/xpath-functions/func-subtract-dayTimeDurations]&http://www.w3.org/TR/xpath-functions/func-add-dayTimeDurationsF&http://www.w3.org/TR/xpath-functions/func-divide-yearMonthDuration+r&http://www.w3.org/TR/xpath-functions/ func-multiply-yearMonthDurationY&http://www.w3.org/TR/xpath-functions/!func-subtract-yearMonthDurationse?&http://www.w3.org/TR/xpath-functions/func-add-yearMonthDurations4:&http://www.w3.org/TR/xpath-functions/dt-dayTimeDuration@X&http://www.w3.org/TR/xpath-functions/dt-yearMonthDuration"http://www.w3.org/TR/xmlschema-2/&http://www.w3.org/TR/xpath-functions/ regex-syntaxNQ&http://www.w3.org/TR/xpath-functions/func-tokenize&http://www.w3.org/TR/xpath-functions/ regex-syntaxG\&http://www.w3.org/TR/xpath-functions/ func-replace&http://www.w3.org/TR/xpath-functions/ regex-syntaxJX&http://www.w3.org/TR/xpath-functions/ func-matchesV&http://www.w3.org/TR/xpath-functions/func-substring-afterG&http://www.w3.org/TR/xpath-functions/func-substring-before3w&http://www.w3.org/TR/xpath-functions/func-ends-with[&http://www.w3.org/TR/xpath-functions/func-starts-with_X&http://www.w3.org/TR/xpath-functions/func-contains)8&http://www.w3.org/TR/xpath-functions/func-translatek#&http://www.w3.org/TR/xpath-functions/func-lower-caset=&http://www.w3.org/TR/xpath-functions/func-upper-case\&http://www.w3.org/TR/xpath-functions/func-normalize-space!r&http://www.w3.org/TR/xpath-functions/func-string-length71&http://www.w3.org/TR/xpath-functions/func-substring!6&http://www.w3.org/TR/xpath-functions/ func-concatB@&http://www.w3.org/TR/xpath-functions/ func-not)&http://www.w3.org/TR/xpath-functions/func-round-half-to-even,9&http://www.w3.org/TR/xpath-functions/ func-round.!&http://www.w3.org/TR/xpath-functions/ func-floorJ^&http://www.w3.org/TR/xpath-functions/ func-ceilingOH&http://www.w3.org/TR/xpath-functions/ func-absTU&http://www.w3.org/TR/xpath-functions/func-numeric-unary-minus$ &http://www.w3.org/TR/xpath-functions/func-numeric-unary-plusA&http://www.w3.org/TR/xpath-functions/func-numeric-mod:6&http://www.w3.org/TR/xpath-functions/func-numeric-integer-dividey>&http://www.w3.org/TR/xpath-functions/func-numeric-divideL&http://www.w3.org/TR/xpath-functions/func-numeric-multiplyH|&http://www.w3.org/TR/xpath-functions/func-numeric-subtractMy&http://www.w3.org/TR/xpath-functions/func-numeric-add03v&http://www.w3.org/TR/xpath-functions/func-time-greater-than8:s&http://www.w3.org/TR/xpath-functions/func-date-greater-than4#p&http://www.w3.org/TR/xpath-functions/func-dateTime-greater-thanFIm&http://www.w3.org/TR/xpath-functions/"func-dayTimeDuration-greater-than2+j&http://www.w3.org/TR/xpath-functions/$func-yearMonthDuration-greater-than@Pg&http://www.w3.org/TR/xpath-functions/ func-compareJYd&http://www.w3.org/TR/xpath-functions/func-numeric-greater-than{ma&http://www.w3.org/TR/xpath-functions/func-time-less-thansd^&http://www.w3.org/TR/xpath-functions/func-date-less-than}[&http://www.w3.org/TR/xpath-functions/func-dateTime-less-thanvlX&http://www.w3.org/TR/xpath-functions/func-dayTimeDuration-less-thanU&http://www.w3.org/TR/xpath-functions/!func-yearMonthDuration-less-than@PR&http://www.w3.org/TR/xpath-functions/ func-comparez|O&http://www.w3.org/TR/xpath-functions/func-numeric-less-thanO L&http://www.w3.org/TR/xpath-functions/func-anyURI-equal aI&http://www.w3.org/TR/xpath-functions/func-gDay-equalVF&http://www.w3.org/TR/xpath-functions/func-gMonth-equalGC&http://www.w3.org/TR/xpath-functions/func-gMonthDay-equalV@&http://www.w3.org/TR/xpath-functions/func-gYear-equalN =&http://www.w3.org/TR/xpath-functions/func-gYearMonth-equal1~:&http://www.w3.org/TR/xpath-functions/func-time-equal9w7&http://www.w3.org/TR/xpath-functions/func-date-equal5n4&http://www.w3.org/TR/xpath-functions/func-dateTime-equale$1&http://www.w3.org/TR/xpath-functions/func-dayTimeDuration-equalF.&http://www.w3.org/TR/xpath-functions/func-yearMonthDuration-equalr +&http://www.w3.org/TR/xpath-functions/func-boolean-equal@P(&http://www.w3.org/TR/xpath-functions/ func-comparei4%&http://www.w3.org/TR/xpath-functions/func-numeric-equalv)" http://www.w3.org/2003/11/swrlb[C#http://www.w3.org/Submission/SWRL/"owls_builtinAtom#owls_builtinAtom"http://www.w3.org/TR/xmlschema-2/4,http://www.w3.org/TR/xpath] http://www.w3.org/TR/xquery/:http://www.daml.org/listarchive/joint-committee/1491.html{b#http://www.w3.org/Submission/SWRL/RuleML#RuleMLN #http://www.w3.org/Submission/SWRL/$Grosof_et_al_2003#Grosof_et_al_2003p# 3http://www.w3.org/Submission/SWRL/example6.1-3.owlp"3http://www.w3.org/Submission/SWRL/example6.1-2.owlp!3http://www.w3.org/Submission/SWRL/example6.1-1.owlN#http://www.w3.org/Submission/SWRL/eg5_1-4#eg5_1-4N#http://www.w3.org/Submission/SWRL/eg5_1-3#eg5_1-3 N#http://www.w3.org/Submission/SWRL/eg5_1-2#eg5_1-2WN#http://www.w3.org/Submission/SWRL/owl-xml#owl-xml[Z2http://www.w3.org/TR/owl-xmlsyntax/owlxml2rdf.xslcu+http://www.w3.org/Submission/SWRL/swrl.owlpb+http://www.w3.org/Submission/SWRL/swrl.rdf http://www.w3.org/TR/rdf-mt/_5http://www.w3.org/Submission/SWRL/example5.1-6.swrlx\5http://www.w3.org/Submission/SWRL/example5.1-5.swrlx]5http://www.w3.org/Submission/SWRL/example5.1-4.swrlxZ5http://www.w3.org/Submission/SWRL/example5.1-3.swrlx[5http://www.w3.org/Submission/SWRL/example5.1-2.swrlxX5http://www.w3.org/Submission/SWRL/example5.1-1.swrlxy87http://www.daml.org/2003/06/ruletests/translation-3.n3}g0http://www.cs.vu.nl/~guus/papers/Hollink03b.pdfoohttp://www.cs.vu.nl/~guus/ N#http://www.w3.org/Submission/SWRL/eg5_1-1#eg5_1-1^N#http://www.w3.org/Submission/SWRL/owls_Variable#owls_VariableED#http://www.w3.org/Submission/SWRL/owls_dObject#owls_dObjectHI#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObjecte=Bhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlstringVN#http://www.w3.org/Submission/SWRL/8owls_datavaluedPropertyAtom#owls_datavaluedPropertyAtom_N#http://www.w3.org/Submission/SWRL/ owls_VariableID#owls_VariableID3T$http://www.w3.org/TR/owl-xmlsyntax/owls_DataValueVN#http://www.w3.org/Submission/SWRL/<owls_differentIndividualsAtom#owls_differentIndividualsAtomVN#http://www.w3.org/Submission/SWRL/0owls_sameIndividualAtom#owls_sameIndividualAtomVN#http://www.w3.org/Submission/SWRL/8owls_individualPropertyAtom#owls_individualPropertyAtomTL#http://www.w3.org/Submission/SWRL/owls_classAtom#owls_classAtom_N#http://www.w3.org/Submission/SWRL/ owls_VariableID#owls_VariableIDP,$http://www.w3.org/TR/owl-xmlsyntax/owls_IndividualIDVN#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomN#http://www.w3.org/Submission/SWRL/8#8ED#http://www.w3.org/Submission/SWRL/owls_dObject#owls_dObject`5Bhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlanyURIVN#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomHI#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObjectVN#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomHI#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObjectVN#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomED#http://www.w3.org/Submission/SWRL/owls_dObject#owls_dObjectHI#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObject`5Bhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlanyURIVN#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomHI}#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObjectHIz#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObject`5wBhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlanyURIVNt#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomEDq#http://www.w3.org/Submission/SWRL/owls_dObject#owls_dObjectJZn#http://www.w3.org/Submission/SWRL/owls_datarange#owls_datarangeVNk#http://www.w3.org/Submission/SWRL/owls_atom#owls_atomHIh#http://www.w3.org/Submission/SWRL/owls_iObject#owls_iObjectS)e$http://www.w3.org/TR/owl-xmlsyntax/owls_descriptionONb#http://www.w3.org/Submission/SWRL/ owls_consequent#owls_consequentON_#http://www.w3.org/Submission/SWRL/ owls_antecedent#owls_antecedent[C\#http://www.w3.org/Submission/SWRL/"owls_builtinAtom#owls_builtinAtomVNY#http://www.w3.org/Submission/SWRL/<owls_differentIndividualsAtom#owls_differentIndividualsAtomVNV#http://www.w3.org/Submission/SWRL/0owls_sameIndividualAtom#owls_sameIndividualAtomVNS#http://www.w3.org/Submission/SWRL/8owls_datavaluedPropertyAtom#owls_datavaluedPropertyAtomVNP#http://www.w3.org/Submission/SWRL/8owls_individualPropertyAtom#owls_individualPropertyAtomUMM#http://www.w3.org/Submission/SWRL/&owls_datarangeAtom#owls_datarangeAtomTLJ#http://www.w3.org/Submission/SWRL/owls_classAtom#owls_classAtom^NG#http://www.w3.org/Submission/SWRL/owls_Rule#owls_RuleVND#http://www.w3.org/Submission/SWRL/owls_atom#owls_atom^NA#http://www.w3.org/Submission/SWRL/owls_Rule#owls_RuleVN>#http://www.w3.org/Submission/SWRL/owls_atom#owls_atom^N;#http://www.w3.org/Submission/SWRL/owls_Rule#owls_Rule`58Bhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlanyURIBN5#http://www.w3.org/Submission/SWRL/owls_Ontology#owls_OntologyON2#http://www.w3.org/Submission/SWRL/ owls_consequent#owls_consequentON/#http://www.w3.org/Submission/SWRL/ owls_antecedent#owls_antecedent.[,$http://www.w3.org/TR/owl-xmlsyntax/owls_AnnotationYN)#http://www.w3.org/Submission/SWRL/owls_rlab#owls_rlab#Z&$http://www.w3.org/TR/owl-xmlsyntax/owls_SubClassOfBN##http://www.w3.org/Submission/SWRL/owls_Ontology#owls_Ontologye= Bhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlstring^N#http://www.w3.org/Submission/SWRL/owls_Variable#owls_Variable^N#http://www.w3.org/Submission/SWRL/owls_Rule#owls_RuleJ:$http://www.w3.org/TR/owl-xmlsyntax/owls_DifferentIndividuals8[$http://www.w3.org/TR/owl-xmlsyntax/owls_SameIndividual<E$http://www.w3.org/TR/owl-xmlsyntax/owls_IndividualV4$http://www.w3.org/TR/owl-xmlsyntax/owls_EquivalentProperties3E $http://www.w3.org/TR/owl-xmlsyntax/owls_SubPropertyOf$S$http://www.w3.org/TR/owl-xmlsyntax/owls_ObjectPropertyK!$http://www.w3.org/TR/owl-xmlsyntax/owls_DatatypePropertyC/$http://www.w3.org/TR/owl-xmlsyntax/owls_DisjointClasses5]$http://www.w3.org/TR/owl-xmlsyntax/owls_EquivalentClasses#Z$http://www.w3.org/TR/owl-xmlsyntax/owls_SubClassOfY;$http://www.w3.org/TR/owl-xmlsyntax/owls_EnumeratedClass0]$http://www.w3.org/TR/owl-xmlsyntax/owls_ClassAxiom.[$http://www.w3.org/TR/owl-xmlsyntax/owls_AnnotationQ#$http://www.w3.org/TR/owl-xmlsyntax/ owls_ImportsL;$http://www.w3.org/TR/owl-xmlsyntax/owls_IncompatibleWith-V$http://www.w3.org/TR/owl-xmlsyntax/owls_BackwardCompatibleWithW)$http://www.w3.org/TR/owl-xmlsyntax/owls_PriorVersionQ9$http://www.w3.org/TR/owl-xmlsyntax/owls_VersionInfo`5Bhttp://www.w3.org/TR/2001/REC-xmlschema-2-20010502/datatypes.htmlanyURI]]!http://www.w3.org/2001/XMLSchema"http://www.w3.org/2003/05/owl-xmlN!http://www.w3.org/2003/11/rulemlv) http://www.w3.org/2003/11/swrlx:+,http://www.w3.org/Submission/SWRL/swrlx.xsd:+,http://www.w3.org/Submission/SWRL/swrlx.xsd N#http://www.w3.org/Submission/SWRL/6#6[Z2http://www.w3.org/TR/owl-xmlsyntax/owlxml2rdf.xsl{b#http://www.w3.org/Submission/SWRL/RuleML#RuleMLWN#http://www.w3.org/Submission/SWRL/owl-xml#owl-xml^N#http://www.w3.org/Submission/SWRL/@interpretation-conditions-table#interpretation-conditions-tableN#http://www.w3.org/Submission/SWRL/8#8HN#http://www.w3.org/Submission/SWRL/owl-sas#owl-sasN#http://www.w3.org/Submission/SWRL/8#8N#http://www.w3.org/Submission/SWRL/3#3 N#http://www.w3.org/Submission/SWRL/Lloyd87#Lloyd87HN#http://www.w3.org/Submission/SWRL/owl-sas#owl-sasN#http://www.w3.org/Submission/SWRL/3#3HN#http://www.w3.org/Submission/SWRL/ ref-rdfconcepts#ref-rdfconcepts1"4http://www.w3.org/TR/2003/WD-rdf-concepts-20030123/dfn-URI-referenceWN#http://www.w3.org/Submission/SWRL/ref-xml#ref-xmlhttp://www.w3.org/TR/REC-xml/ sec-notationHN#http://www.w3.org/Submission/SWRL/owl-sas#owl-sasN#http://www.w3.org/Submission/SWRL/$Schmidt-Schauss89#Schmidt-Schauss89 N#http://www.w3.org/Submission/SWRL/Lloyd87#Lloyd87HN#http://www.w3.org/Submission/SWRL/owl-sas#owl-sas$+http://www.ruleml.org/J "http://www.w3.org/2001/sw/WebOnt/su#http://www.w3.org/Submission/SWRL/references#referencesHN#http://www.w3.org/Submission/SWRL/ acknowledgments#acknowledgments N#http://www.w3.org/Submission/SWRL/8.7#8.7 N#http://www.w3.org/Submission/SWRL/8.6#8.6N~#http://www.w3.org/Submission/SWRL/8.5#8.5N{#http://www.w3.org/Submission/SWRL/8.4#8.4Nx#http://www.w3.org/Submission/SWRL/8.3#8.3 Nu#http://www.w3.org/Submission/SWRL/8.2#8.2 Nr#http://www.w3.org/Submission/SWRL/8.1#8.1No#http://www.w3.org/Submission/SWRL/8#8 Nl#http://www.w3.org/Submission/SWRL/7.1#7.1 Ni#http://www.w3.org/Submission/SWRL/7#7 Nf#http://www.w3.org/Submission/SWRL/6.1#6.1 Nc#http://www.w3.org/Submission/SWRL/6#6 N`#http://www.w3.org/Submission/SWRL/5.1#5.1N]#http://www.w3.org/Submission/SWRL/5#5NZ#http://www.w3.org/Submission/SWRL/4#4 NW#http://www.w3.org/Submission/SWRL/3.1#3.1NT#http://www.w3.org/Submission/SWRL/3#3 NQ#http://www.w3.org/Submission/SWRL/2.2#2.2 NN#http://www.w3.org/Submission/SWRL/2.1#2.1 NK#http://www.w3.org/Submission/SWRL/2#2 NH#http://www.w3.org/Submission/SWRL/1#1CEhttp://www.w3.org/Submission/\YB,http://www.w3.org/Consortium/Patent-Policy/sec-submissions.|?0http://www.w3.org/Consortium/Prospectus/JoiningEL<%http://www.w3.org/Consortium/Process92http://www.w3.org/Submission/SWRL/issuesList.htmlTJ6http://www.daml.org/swrl/#$33http://lists.w3.org/Archives/Public/www-rdf-rules/U00mailto:www-rdf-rules@w3.orgx0-(http://www.w3.org/Submission/03/Comment#m*http://www.daml.org/committee/QW'.http://www.w3.org/Consortium/Legal/ipr-notice Copyright='$7http://www.w3.org/Consortium/Legal/copyright-documents G!"http://www.daml.org/people/mdean/@H"http://ebusiness.mit.edu/bgrosof/C!http://home.comcast.net/~stabet/http://www.cs.unb.ca/~boley/tn0http://www-db.research.bell-labs.com/user/pfps/I%http://www.cs.man.ac.uk/%7Ehorrocks/;m#http://www.w3.org/Submission/SWRL/Z 6http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/Chttp://www.w3.org/Submission/k/http://www.w3.org/k/jhttp://www.w3.org/Chttp://www.w3.org/Submission/  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRTUVWXYZ[\]^_`abcdefghijlmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGIJKLMNOQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Root Entry F0H^Data S'/1TablekWordDocument2SummaryInformation(HDocumentSummaryInformation8P$CompObjm  FMicrosoft Office Word ĵ MSWordDocWord.Document.89q