ontolog-admin
[Top] [All Lists]

[ontolog-admin] Formalization Tutorial-2 Material [was - Re: Fwd: Re: [

To: Adam Pease <adampease@xxxxxxxxxxxxx>
Cc: Bo Newman <Bo.Newman@xxxxxxxxxxxx>
Cc: Kurt Conrad <conrad@xxxxxxxxxxxxxxxxxx>
Cc: Bob Smith <robsmith5@xxxxxxxxxxxxxx>
Cc: ontolog-admin@xxxxxxxxxxxxxxxx
Cc: "William E. McCarthy" <mccarth4@xxxxxxx>
From: Peter Yim <peter.yim@xxxxxxxx>
Date: Tue, 06 Jan 2004 20:20:38 -0800
Message-id: <3FFB8916.3040600@xxxxxxxx>
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)
<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-admin] Formalization Tutorial-2 Material [was - Re: Fwd: Re: [ontolog-forum] Invoice formalization], Peter Yim <=