Ontology = Ontology(OntologyID(OntologyIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/>) VersionIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/20141101/Agreements/Contracts/>))) [Axioms: 188 Logical Axioms: 62]
Comparing to OWL File = file:/C:/Users/ekendall/VOM/import/http/www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts.rdf
Oct 26, 2014 3:07:22 PM

Number of differences between imported and exported: 45
    1 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MultilateralContract> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/Contract>)

    2 : RemoveAxiom
ObjectPropertyDomain(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/supersedes> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/WrittenContract>)

    3 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MultilateralContract> ObjectMinCardinality(2 <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/hasContractParty> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractParty>))

    4 : RemoveAxiom
AnnotationAssertion(<http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/definitionOrigin> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractualRelationship> " http://www.businessdictionary.com/definition/contract.html"^^xsd:anyURI)

    5 : RemoveAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractualRelationship> "contractual relationship")

    6 : RemoveAxiom
AnnotationAssertion(<http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/explanatoryNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/hasGoverningJurisdiction> "As modeled, this relationship combines two slightly different senses in which a Jurisdiction may be named in some Contract: the jurisdiction under whose laws the contract is deemed to be in force, and the jurisdiction under which the parties agree to submit in the event of any dispute resolution. Scope Note: One thing to tease out is whether \"Dispute Resolution\" and other forms of \"Governing Law\" are one and the same thing or not. Dispute Resolution is uncontroversial, the question is whether there are other implications to Governing Law or if it's the same thing. For instance I may undertake to behave as though I were responsible to a particular authority i.e. a particular set of statutes."^^xsd:string)

    7 : RemoveAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MultilateralContract> "multilateral contract")

    8 : RemoveAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/supersedes> "The or any earlier contract which this written contract supersedes, whether that earlier contract is written or verbal or implied."^^xsd:string)

    9 : RemoveAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MultilateralContract> "A contract between two or more specific named parties. The rights and obligations pertaining to either party cannot be transferred to another party without prior written permission or a change to the contract itself."^^xsd:string)

    10 : RemoveAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractualRelationship> "a relationship which is evidenced by (1) an offer, (2) acceptance of the offer, and a (3) valid (legal and valuable) consideration"^^xsd:string)

    11 : RemoveAxiom
AnnotationAssertion(<http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/explanatoryNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractualRelationship> "Each party to a contract acquires rights and duties relative to the rights and duties of the other parties. However, while all parties may expect a fair benefit from the contract (otherwise courts may set it aside as inequitable) it does not follow that each party will benefit to an equal extent. Existence of contractual-relationship does not necessarily mean the contract is enforceable, or that it is not void (see void contract) or voidable (see voidable Contract)."^^xsd:string)

    12 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> ObjectMinCardinality(2 <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/hasContractParty> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractParty>))

    13 : AddAxiom
InverseObjectProperties(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidenceFor> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidencedBy>)

    14 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/TransferableContract> ObjectSomeValuesFrom(<http://www.omg.org/spec/EDMC-FIBO/FND/Relations/Relations/confers> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/CommitmentAtLarge>))

    15 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#editorialNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/hasGoverningJurisdiction> "As modeled, this relationship combines two slightly different senses in which a Jurisdiction may be named in some Contract: the jurisdiction under whose laws the contract is deemed to be in force, and the jurisdiction under which the parties agree to submit in the event of any dispute resolution. Scope Note: One thing to tease out is whether &quot;Dispute Resolution&quot; and other forms of &quot;Governing Law&quot; are one and the same thing or not. Dispute Resolution is uncontroversial, the question is whether there are other implications to Governing Law or if it's the same thing. For instance I may undertake to behave as though I were responsible to a particular authority i.e. a particular set of statutes."^^xsd:string)

    16 : AddAxiom
AnnotationAssertion(<http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/definitionOrigin> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract> "http://legal-dictionary.thefreedictionary.com/Unilateral+contract"^^xsd:anyURI)

    17 : AddAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> "mutual contractual agreement")

    18 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/Contract>)

    19 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidencedBy> "the written contract has some formal written document, whether in physical or electronic form, which evidences and formalizes the terms and conditions of that contract"^^xsd:string)

    20 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/Contract>)

    21 : AddAxiom
ObjectPropertyDomain(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidencedBy> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/WrittenContract>)

    22 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MutualAgreement>)

    23 : AddAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract> "unilateral contract")

    24 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidenceFor> "the contract document provides formal documentary evidence for and sets out the details of some written contract"^^xsd:string)

    25 : AddAxiom
ObjectPropertyRange(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidencedBy> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractDocument>)

    26 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract> ObjectAllValuesFrom(<http://www.omg.org/spec/EDMC-FIBO/FND/Relations/Relations/confers> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/UnilateralCommitment>))

    27 : AddAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractDocument> "contract document")

    28 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/PromissoryNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract>)

    29 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractDocument> "a written document, whether physical or electronic, which sets out the formal terms and conditions of some written contract"^^xsd:string)

    30 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/supersedes> "the or any earlier contract which this contract supersedes"^^xsd:string)

    31 : AddAxiom
AnnotationAssertion(<http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/synonym> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> "bilateral contract"^^xsd:string)

    32 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractDocument> <http://www.omg.org/spec/EDMC-FIBO/FND/Arrangements/Documents/LegalDocument>)

    33 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract> "a contract in which only one party makes an express promise, or undertakes a performance without first securing a reciprocal agreement from the other party"^^xsd:string)

    34 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/Contract> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement>)

    35 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> "A contract between two or more specific named parties. The rights and obligations pertaining to either party cannot be transferred to another party without prior written permission or a change to the contract itself."^^xsd:string)

    36 : AddAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidencedBy> "is evidenced by")

    37 : AddAxiom
AnnotationAssertion(<http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/explanatoryNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract> "In a unilateral, or one-sided, contract, one party, known as the offeror, makes a promise in exchange for an act (or abstention from acting) by another party, known as the offeree. If the offeree acts on the offeror's promise, the offeror is legally obligated to fulfill the contract, but an offeree cannot be forced to act (or not act), because no return promise has been made to the offeror. After an offeree has performed, only one enforceable promise exists, that of the offeror.

A unilateral contract differs from a Bilateral Contract, in which the parties exchange mutual promises. Bilateral contracts are commonly used in business transactions; a sale of goods is a type of bilateral contract."^^xsd:string)

    38 : AddAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidenceFor> "is evidence for")

    39 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#scopeNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractDocument> "Written here does not necessarily mean a paper document but includes situations in which the contract is expressed electronically, whether as an electronic representation of a formal document such as in PDF form or as an electronic message, provided in the latter case that the message is expressly given formal contractual standing, for example as indicated in a separate covering agreement between the parties. "^^xsd:string)

    40 : AddAxiom
ObjectPropertyDomain(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/supersedes> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/Contract>)

    41 : AddAxiom
ObjectPropertyDomain(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidenceFor> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/ContractDocument>)

    42 : AddAxiom
DisjointClasses(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/MutualContractualAgreement> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/UnilateralContract>)

    43 : AddAxiom
ObjectPropertyRange(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/isEvidenceFor> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/WrittenContract>)

    44 : AddImport
Import(<http://www.omg.org/spec/EDMC-FIBO/FND/Arrangements/Documents/>)

    45 : SetOntologyID
OntologyID(OntologyIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/>) VersionIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/20140801/Agreements/Contracts/>)) change to: OntologyID(OntologyIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Contracts/>) VersionIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/20141101/Agreements/Contracts/>))