Semantics of Predicates Rules Sample Clauses

Semantics of Predicates Rules. The second category of rules allows a user to utilize any domain specific predicates within an SLO by defining how two SLOs with that predicate should be compared. A semantics rule should compare SLOs according to the predicate semantics and assert an isStronger or isEquivalent triple into Snobase. The following ARL rule defines the semantics of the predicate “less”. when: Agreement (A1) and hasGuaranteeTerm(A1, G1) and hasSLObjective(G1, SLO1) and hasExpression (SLO1, E1) and hasPredicate(E1, P1) and hasType(P1, “less”) and hasParameter(E1, p1) and hasValue(E1, V1) and Agreement (A2) where A1 != A2 and hasGuaranteeTerm(A2,G2) and hasSLO(G2, SLO2) and hasExpression (SLO2, E2) and hasPredicate(E2, P2) and hasType(P2, “less”) and hasParameter(E2, p2) and p2 == p1 and hasValue(E2, V2) do: if (V1<V2) assert [E1 isStronger E2] else if (V1>V2) assert [E2 isStronger E2] else assert [E1 isEquivalent E2] The above rule compares the values of SLOs from different agreements with the same predicate and parameter and asserts isEquivalent if the values are the same otherwise it states which expression is stronger based on the semantics of the predicate “less”. This rule can also be further customized by incorporating parameters or checking units to determine whether to do a string or numeric comparison. The benefit of this approach is two-fold. First, it allows for domain predicate flexibility such that we do not restrict which predicates our matcher can compare but rather allow the user to introduce new predicates by defining the semantics with an ARL rule. Second, since rules are fired automatically as the agreements are being loaded into Snobase, the SLOs are compared much before the search process. This simplifies the search algorithm because to find a match for SLO1 we quickly query for all SLOs who have been asserted isStronger than or isEquivalent to SLO1. The semantics of predicate rules have the lowest priority so that the other rules may execute before the final evaluation is performed.
AutoNDA by SimpleDocs

Related to Semantics of Predicates Rules

  • Cleanliness and Safety; Entry Resident agrees to maintain the assigned bedroom space, the apartment and the common areas of the Property in a clean, safe and sanitary condition, to exercise all due care in the use of same, and to cooperate fully with the Property pest control program as requested. Resident will be responsible for the cost of treatment for bedbugs and similar pests to the extent Owner’s pest control vendor reasonably determines that an infestation has originated within Resident’s assigned space and during Resident’s occupancy. Resident will place all trash in provided receptacles and will be responsible for the cost of cleaning the interior or exterior of the apartment if not kept in sanitary condition. When outdoor temperatures are below 40 degrees Fahrenheit, Resident will keep the apartment’s heat turned on to prevent frozen or burst pipes, including during vacations. When outdoor temperatures exceed 85 degrees Fahrenheit, Resident will keep the apartment’s air conditioning turned on and set to a reasonable temperature to prevent mold or mildew growth, including during vacations. Owner and its agents, employees and contractors may enter any apartment and bedroom space to perform routine maintenance, inspections, showings and other ordinary functions, provided that Owner will provide advance notice to residents of an apartment before such entry. Owner reserves the right to enter an apartment and any bedroom space without prior notice (including a passkey and/or disarming the alarm or other means of entry if locks have been changed) for emergency maintenance or repair purposes, or when there is reasonable cause to believe that a situation exists that could cause danger to life, safety, health or property. Owner may confiscate any item deemed to cause a danger and is under no obligation to pay compensation for or to return such items.

  • Accreditation of Public Schools and Adoption and Implementation of School Plans The District will implement a system of accrediting all of its schools, as described in section 22-11- 307, C.R.S., which may include measures specifically for those schools that have been designated as Alternative Education Campuses, in accordance with the provisions of 1 CCR 301-57. The District will ensure that plans are implemented for each school in compliance with the requirements of the State Board pursuant to 1 CCR 301-1.

  • COMPLIANCE WITH HEALTH & SAFETY CODE § 25249 7(f) Xxxxxxxx agrees to comply with the reporting requirements referenced in Health & Safety Code § 25249.7(f).

  • Switching and Tagging Rules Each Party shall provide the other Parties a copy of its switching and tagging rules that are applicable to the other Parties’ activities. Such switching and tagging rules shall be developed on a non-discriminatory basis. The Parties shall comply with applicable switching and tagging rules, as amended from time to time, in obtaining clearances for work or for switching operations on equipment.

  • MAINTENANCE OF STANDARDS The Employer agrees, subject to the following provisions, that all conditions of employment in his/her individual operation relating to wages, hours of work, overtime differentials and general working conditions shall be maintained at not less than the highest standards in effect at the time of the signing of this Agreement, and the conditions of employment shall be improved whenever specific provisions for improvement are made elsewhere in this Agreement.

  • Education and Prevention 6.1 The policy will be discussed and put forward for adoption on site at a meeting of all workers.

  • PERMITTING AND LICENSURE At Grantee's sole expense, Grantee shall procure and maintain for the duration of this Contract any state, county, city, or federal license, authorization, insurance, waiver, permit, qualification or certification required by statute, ordinance, law, or regulation to be held by Grantee to provide the goods or services required by this Contract. Grantee shall be responsible for payment of all taxes, assessments, fees, premiums, permits, and licenses required by law. Grantee shall be responsible for payment of any such government obligations not paid by its Subcontractors during performance of this Contract.

  • Prescription Safety Glasses Prescription safety glasses will be furnished by the employer. The employer retains the authority to establish reasonable rules and procedures regarding frequency of issue, replacement of damaged glasses, limits on reimbursement costs and coordination with the employer's vision plan.

  • Traditional IRA-to-Xxxx XXX Conversions If you convert to a Xxxx XXX, the amount of the conversion from your Traditional IRA to your Xxxx XXX will be treated as a distribution for income tax purposes, and is includible in your gross income (except for any nondeductible contributions). Although the conversion amount generally is included in income, the 10 percent early distribution penalty tax will not apply to conversions from a Traditional IRA to a Xxxx XXX, regardless of whether you qualify for any exceptions to the 10 percent penalty tax. If you are required to take a required minimum distribution for the year, you must remove your required minimum distribution before converting your Traditional IRA.

  • Health and Safety Provisions The Employer shall continue to make and enforce provisions for the occupational health, safety, and security of employees. The Employer will respond to suggestions on the subject from the Union and the parties undertake to consult with a view to adopting and expeditiously carrying out reasonable procedures and techniques designed or intended to prevent or reduce the risk of employment injury and employment-related chronic illness.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!