Thanks, Adam. (01)
Take a look at the following (captured from the ontolog-nov03-f2f);
not much there to look at, but maybe, the audio might help bring back
memories. (02)
http://vnc2.cim3.net:8880/ontolog/resource/ontolog-nov03-f2f/2003UBLF2F3_4.wmv (03)
The date of any file you might have saved would be 2003.11.07 2:00pm
or thereabout (see:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologWorkshop_Nov_2003#nid0129) (04)
Hope you can come up with something. Let me know. (05)
Regards,
PPY
-- (06)
Adam Pease wrote Tue, 06 Jan 2004 16:52:19 -0800: (07)
> Peter,
> Here is my original work on formalizing the information in an
> Invoice. I can't find any notes from our SF meeting unfortunately.
>
> Adam
>
>> Date: Wed, 30 Apr 2003 16:42:07 -0700
>> To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
>> From: Adam Pease <apease@xxxxxxxxxxxxxxxxxx>
>> Subject: Re: [ontolog-forum] Invoice formalization
>>
>> Folks,
>> Here's a little more work on formalizing invoices. I haven't
>> proofed this, or had anyone here review the work, but hopefully this
>> early and imperfect product will give folks a better idea of how this
>> work might proceed. I realized that I shouldn't be formalizing the
>> products in the order but I've left that work in for now.
>>
>> Adam
>>
>> ; 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))))
>>
>> ; more to come...
>
>
> (08)
_________________________________________________________________
To Post: mailto:ontolog-admin@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-admin/
Community Wiki: http://ontolog.cim3.net/wiki/
Shared Files: http://ontolog.cim3.net/file/
Community Portal: http://ontolog.cim3.net/ (09)
|