// UNDER CONSTRUCTION /* ; INVOICTemplates.wsml ; ; Templates for EDIFACT INVOIC Message ; doug foxvog ; February 2008 ; */ // ontology terms created here should be moved elsewhere. wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-core" namespace {_"http://tripcom.org/ontologies/EDI/EDIFACT/INVOICTemplates#", scp _"http://tripcom.org/ontologies/EDI/SubcomponentPosition#", mt _"http://tripcom.org/ontologies/EDI/EDIFACT/MessageType#", ds _"http://tripcom.org/ontologies/EDI/EDIFACT/DataSegments#", cde _"http://tripcom.org/ontologies/EDI/EDIFACT/ComplexDataElements#", de _"http://tripcom.org/ontologies/EDI/EDIFACT/DataElements#", nf _"http://tripcom.org/ontologies/EDI/NameFormat#", ecs _"http://tripcom.org/ontologies/EDI/EDIFACT/EDIFACTcodeSets#", edi _"http://tripcom.org/ontologies/EDI/EDI_Format#", edis _"http://tripcom.org/ontologies/EDI/EDI_Semantics#", cyc _"http://sw.cyc.com/2006/07/27/cyc/#", dc _"http://purl.org/dc/elements/1.1#" } ontology _"http://tripcom.org/ontologies/EDI/INVOICTemplates" // Templates for INVOICMessage, Invoice message nonFunctionalProperties dc#title hasValue "INVOIC templates" dc#subject hasValue "INVOIC templates" dc#description hasValue "INVOIC templates" dc#contributor hasValue { _"http://foxvog.org/doug/" } dc#date hasValue "2007-12-19" dc#type hasValue _"http://www.wsmo.org/2004/d2/v1.0/#ontologies" dc#format hasValue "text/plain" dc#language hasValue "en-US" dc#rights hasValue _"http://www.deri.org/privacy.html" version hasValue "$Revision: 1.4 $" endNonFunctionalProperties importsOntology _"http://tripcom.org/ontologies/EDI/EDI_Semantics" concept cyc#Individual concept cyc#TemporalThing subConceptOf cyc#Individual concept cyc#SomethingExisting subConceptOf cyc#TemporalThing concept cyc#IntelligentAgent subConceptOf cyc#SomethingExisting concept cyc#SocialBeing subConceptOf cyc#IntelligentAgent concept cyc#LegalAgent subConceptOf cyc#SocialBeing concept cyc#Organization subConceptOf cyc#SocialBeing concept cyc#FinancialOrganization subConceptOf cyc#Organization concept cyc#FinancialExchange subConceptOf cyc#FinancialOrganization concept cyc#Statement subConceptOf cyc#SomethingExisting concept Invoice subConceptOf cyc#Statement // The message represents an invoice ... relationInstance edis#componentOfType (mt#INVOICMessage, Invoice) relationInstance edis#hasSameMeaningAs (mt#INVOICMessage, edis#ThisFAPosition, edis#FirstSubcomponentPosition) // ... which is the same invoice as is represented by its first slot relationInstance edis#hasSameMeaningAs (mt#INVOICMessage, edis#ThisFAPosition, edis#SecondSubcomponentPosition) // ... and its second slot // The first and second components represent the invoice relationInstance edis#subComponentOfType (mt#INVOICMessage, 1, Invoice) relationInstance edis#subComponentOfType (mt#INVOICMessage, 2, Invoice) // ... which are the same as those represented by their data segments relationInstance edis#directlyEncoded (mt#INVOICMessage, 1) relationInstance edis#directlyEncoded (mt#INVOICMessage, 2) // Fillers for the third component represent dates, times, or times of day relationInstance edis#subComponentOfType (mt#INVOICMessage, 3, cyc#Date) relationInstance edis#subComponentOfType (mt#INVOICMessage, 3, cyc#TimeOfDay) // ... which is not the same as that represented by EACH of its (DTM) data segments // NOT: relationInstance edis#directlyEncoded (mt#INVOICMessage, 3) // The Fourth component represents the payment for the items being invoiced relationInstance edis#subComponentOfType (mt#INVOICMessage, 4, cyc#Paying) // ... which is the same as that represented by its (PAI) data segment relationInstance edis#directlyEncoded (mt#INVOICMessage, 4) // The Fifth component represents conditions on the invoice instance INVOICTemplate1 memberOf edis#ComponentTemplate edis#templateForComponent hasValue mt#INVOICMessage edis#templateRelation hasValue invoiceRestriction edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#FifthSubcomponentPosition // !! invoiceRestriction not yet defined relationInstance edis#componentOfType (ds#ALI_DS, RestrictionOnInvoice) // !! RestrictionOnInvoice not yet defined instance ALITemplate1 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelationEncoded hasValue countryOfOriginRestriction edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#FirstSubcomponentPosition // countryOfOriginRestriction not yet defined. instance ALITemplate1 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelationEncoded hasValue dutyTypeApplicable edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#SecondSubcomponentPosition // dutyTypeApplicable not yet defined. instance ALITemplate3 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelation hasValue includedCondition edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#ThirdSubcomponentPosition // includedCondition not yet defined. instance ALITemplate4 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelation hasValue includedCondition edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#FourthSubcomponentPosition instance ALITemplate5 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelation hasValue includedCondition edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#FifthSubcomponentPosition instance ALITemplate6 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelation hasValue includedCondition edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#SixthSubcomponentPosition instance ALITemplate7 memberOf edis#ComponentTemplate edis#templateForComponent hasValue ds#ALI_DS edis#templateRelation hasValue includedCondition edis#templateArg1Encoded hasValue scp#ThisFAPosition edis#templateArg2Encoded hasValue scp#SeventhSubcomponentPosition // The eighth component represents a party to the invoice (a person or company) relationInstance edis#subComponentOfType (mt#INVOICMessage, 8, cyc#LegalAgent) // !! this is 6th position for EDIFICE (based on EDIFACT D.97A), ... // !! but that can be managed by having EDIFICE have components 4 (PAI) and 5 (ALI) // !! forbidden // ... which is the same as those represented by its filler (a Data Segment loop) relationInstance edis#directlyEncoded (mt#INVOICMessage, 8) // The first Segment Group of an INVOICE message represents a party to the invoice (a person or company) relationInstance edis#subComponentOfType (mt#INVOIC_Loop1, 8, cyc#LegalAgent) // !! Currently message loops are defined at the subset level: etis#INVOIC_Loop1, eancom#INVOIC_Loop1, ... relationInstance edis#hasSameMeaningAs (mt#INVOIC_Loop1, ThisFAPosition, FirstSubcomponentPosition) // ... which is the same party as is represented by its first (NAD) data segment