; This document is released into the public domain with the caveat ; that users of this work must give proper credit in any publication ; about the work to the author - Adam Pease (apease@xxxxxxxxxxxxxxxxxx) ; ; This document is an attempt to fomalize the content of the example ; JoineryInvoice.JoineryInvoiceInstance1.html from the UBL effort ; domain ontology content (subclass Invoice Statement) (documentation Invoice "A document which states that a buyer owes, or does not owe, money for goods or services purchased from a seller.") (=> (instance ?I Invoice) (exists (?EV) (and (instance ?EV Selling) (refers ?I ?EV)))) (instance quantityInEvent TernaryRelation) (documentation quantityInEvent "(quantityInEvent ?PROC ?QUANT ?OBJ) means that the number of &%Objects that are instances of ?OBJ that participate in an event ?PROC in the role of &%patient is ?QUANT.") (domain quantityInEvent 1 Process) (domain quantityInEvent 2 Integer) (domainSubclass quantityInEvent Object) (=> (quantityInEvent ?P ?Q ?OBJ) (exists (?INST) (equal ?Q (CardinalityFn (KappaFn ?INST (and (instance ?INST ?OBJ) (patient ?P ?INST))))))) (subclass Softwood Wood) (documentation Softwood "Wood obtained from trees classified in the family of Softwoods or gymnosperms. Examples include scrub pine, spruce and cedar.") (disjoint Hardwood Softwood) (subclass Hardwood Wood) (documentation Hardwood "Wood obtained from trees classified in the family of Hardwoods, or angiosperms. Examples include oak, birch and maple.") (=> (and (instance ?H Hardwood) (instance ?S Softwood) (measure ?H (DensityFn ?MASSH ?VOLUME)) (measure ?S (DensityFn ?MASSS ?VOLUME))) (greaterThan ?MASSH ?MASSS)) ;------------------------------------------------------ ; Instance level content (instance JoineryInvoice-2003-00645 Invoice) (name "IN 2003/00645" JoineryInvoice-2003-00645) (date JoineryInvoice-2003-00645 (DayFn 25 (MonthFn 2 (YearFn 2003)))) (instance JoineryPurchase-2003-00645 FinancialTransaction) (subprocess Buying-2003-00645 JoineryPurchase-2003-00645) (subprocess Selling-2003-00645 JoineryPurchase-2003-00645) (refers JoineryInvoice-2003-00645 JoineryPurchase-2003-00645) (agent Buying-2003-00645 JerryBuilderPLC) (name "Jerry Builder plc" JerryBuilderPLC) (address JerryBuilderPLC "Marsh Lane") (instance MarshLane Address) (name "Marsh Lane" MarshLane) (instance NowhereNorfolk City) (located MarshLane NowhereNorfolk) (instance NorfolkUK StateOrProvince) (located NowhereNorfolk NorfolkUK) (located NorfolkUK UnitedKingdom) (postalCode MarshLane "NR18 4XX") (agent Selling-2003-00645 SpecialistWindowsPLC) (name "Specialist Windows plc" SpecialistWindowsPLC) (address SpecialistWindowsPLC "Snowhill Works") (instance SnowhillWorks Address) (name "Snowhill Works" SnowhillWorks) (instance LittleSnoringWhereshire City) (located SnowhillWorks LittleSnoringWhereshire) (instance WhereshireUK StateOrProvince) (located LittleSnoringWhereshire WhereshireUK) (located WhereshireUK UnitedKingdom) (postalCode SnowhillWorks "SM2 3NW") ; not yet formalized: Delivery Doc: DEL-03/55-712 ; not yet formalized: Your Order No: S03-034257 ; not yet formalized: Contact: Eva Brick (subclass JoineryObject-236WV ManufacturedProduct) (subclass JoineryObject-236WV Softwood) (quantityInEvent JoineryPurchase-2003-00645 2 JoineryObject-236WV) (=> (instance ?X JoineryObject-236WV) (monetaryValue ?X (MeasureFn 102.50 BritishPound))) (date JoineryPurchase-2003-00645 (DayFn 3 (MonthFn 2 (YearFn 2003)))) ; UBL term related SUMO or domain ontology term (preliminary mapping) ; Party information ; Seller agent, Selling ; name name ; address address ; Street ; CityName City ; CountrySub-EntityCode StateOrProvince ; Country Nation ; Invoice number SymbolicString ; Invoice date date, DayFn, MonthFn, YearFn ; Seller's reference ; Buyer's reference ; Other reference ; quote Contract ; contract Contract ; Consignee ; Buyer agent, Buying ; name name ; address address ; ... ; Buyer's bank ; PaymentMeans Payment ; PayerFinancialAccount accountHolder ; FiBranch ; FinancialInstitutionName name, FinancialOrganization ; Country of origin origin ; Country of destination destination ; Delivery and transport ; Mode of transport Transportation, agent, Vehicle ; Date of despatch [sic] date, DayFn, MonthFn, YearFn ; Means of transport Transportation, agent, Vehicle ; Place of despatch origin ; Place of loading origin ; Place of discharge destination ; Place of delivery destination ; Terms of delivery ; Location located ; Time of delivery time ; Transport Charges monetaryValue ; Terms of payment Contract ; Currency of payment ; currencyCode CurrencyMeasure ; amount monetaryValue ; Line item information ; Shipping marks documentation ; Container Nr. SymbolicString ; Number and kind of packages; ; description of goods SymbolicString ; Total gross weight (Kg) measure, Kilogram, Pound etc. ; Cube m3 measure, VolumeMeasure ; Item Object subclasses ; Description documentation ; Quantity U/M ; Unit price monetaryValue ; Amount monetaryValue ; Summary information ; Invoice clauses ; PaymentTerms ; ID SymbolicString ; Note documentation ; FromEventCode ; SettlementDiscountRateNumeric ; PenaltySurchargeRateNumeric ; SettlementPeriod ; StartDateTimeDate BeginFn ; EndDateTimeDate EndFn ; DurationMeasure duration ; DescriptionCode SymbolicString ; PenaltyPeriod ; StartDateTimeDate BeginFn ; EndDateTimeDate EndFn ; DurationMeasure duration ; DescriptionCode SymbolicString ; Total amount ; currencyCode CurrencyMeasure ; amount monetaryValue ; Name of signatory name ; Place of issue location ; Signature