Ontology = Ontology(OntologyID(OntologyIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/>) VersionIRI(<http://www.omg.org/spec/EDMC-FIBO/FND/20141101/Agreements/Agreements/>))) [Axioms: 32 Logical Axioms: 7]
Comparing to OWL File = file:/C:/Users/ekendall/VOM/import/http/www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements.rdf
Oct 26, 2014 2:51:58 PM

Number of differences between imported and exported: 22
    1 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/BilateralAgreement> ObjectExactCardinality(2 <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/hasPartyInRole> <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/PartyInRole>))

    2 : RemoveAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/BilateralAgreement> "An agreement between two parties"^^xsd:string)

    3 : RemoveAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MultilateralAgreement> "multilateral agreement")

    4 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement> ObjectMinCardinality(2 <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/hasPartyInRole> <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/PartyInRole>))

    5 : RemoveAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MultilateralAgreement> "An agreement between three or more parties"^^xsd:string)

    6 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/BilateralAgreement> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement>)

    7 : RemoveAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/BilateralAgreement> "bilateral agreement")

    8 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MultilateralAgreement> ObjectMinCardinality(3 <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/hasPartyInRole> <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/PartyInRole>))

    9 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MultilateralAgreement> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement>)

    10 : RemoveAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement> ObjectMinCardinality(0 <http://www.omg.org/spec/EDMC-FIBO/FND/Relations/Relations/confers> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MutualCommitment>))

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

    12 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/CommitmentAtLarge> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Commitment>)

    13 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#scopeNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/CommitmentAtLarge> "Forms the basis for negotiable securities including transferable contracts and potentially other types of agreement such as software licenses."^^xsd:string)

    14 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MutualAgreement> "an agreement between two or more specific named parties. The rights and obligations pertaining to either party cannot be transferred to another party without prior agreement"^^xsd:string)

    15 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement> ObjectMinCardinality(1 <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/hasPartyInRole> <http://www.omg.org/spec/EDMC-FIBO/FND/Parties/Parties/PartyInRole>))

    16 : AddAxiom
AnnotationAssertion(rdfs:label <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/CommitmentAtLarge> "commitment at large")

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

    18 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#definition> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/CommitmentAtLarge> "a commitment made by some party without direct involvement from the potential beneficiaries of that commitment"^^xsd:string)

    19 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Agreement> ObjectSomeValuesFrom(<http://www.omg.org/spec/EDMC-FIBO/FND/Relations/Relations/confers> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/Commitment>))

    20 : AddAxiom
SubClassOf(<http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MutualAgreement> ObjectSomeValuesFrom(<http://www.omg.org/spec/EDMC-FIBO/FND/Relations/Relations/confers> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MutualCommitment>))

    21 : AddAxiom
AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#scopeNote> <http://www.omg.org/spec/EDMC-FIBO/FND/Agreements/Agreements/MutualAgreement> "This may or may not be a contractual agreement - it also forms the basis of REA transaction models which may or may not refer to contractual agreements, since REA is also used to frame transactions internal to an individual organization.  "^^xsd:string)

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