${taskforce.name} Avatar
  1. OMG Task Force

DOL 1.0 FTF — All Issues

  • Key: DOL
  • Issues Count: 52
Open Closed All
All Issues

Issues Summary

Key Issue Reported Fixed Disposition Status
DOL-90 minimize can be used to express reachability models DOL 1.0b1 DOL 1.0 Resolved closed
DOL-98 update the copyright to 2017 DOL 1.0b1 DOL 1.0 Resolved closed
DOL-96 Don't include version number of cited standard unless it is required. DOL 1.0b1 DOL 1.0 Resolved closed
DOL-94 BasicOMS may need to be included in delimiters DOL 1.0b1 DOL 1.0 Resolved closed
DOL-92 missing parenthesis in the concrete grammar DOL 1.0b1 DOL 1.0 Resolved closed
DOL-82 change terminology from "model" to "realisation" DOL 1.0b1 DOL 1.0 Resolved closed
DOL-39 Annex references to metaclasses DOL 1.0b1 DOL 1.0 Resolved closed
DOL-37 Simple typos and grammatical errors DOL 1.0b1 DOL 1.0 Resolved closed
DOL-36 transformation tool conformance insufficient DOL 1.0b1 DOL 1.0 Resolved closed
DOL-102 Improvement of definitions and comments in the ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-101 Cleanup of encoding and markups DOL 1.0b1 DOL 1.0 Resolved closed
DOL-68 The label for supportsLogic in the ontology is duplicated. DOL 1.0b1 DOL 1.0 Resolved closed
DOL-81 Minor bugs in the translation from OWL to FOL DOL 1.0b1 DOL 1.0 Resolved closed
DOL-40 Inaccurate footnote 35 DOL 1.0b1 DOL 1.0 Resolved closed
DOL-38 Colon inconsistency DOL 1.0b1 DOL 1.0 Resolved closed
DOL-43 typo DOL 1.0b1 DOL 1.0 Resolved closed
DOL-41 Replace "view" by "refinement" DOL 1.0b1 DOL 1.0 Resolved closed
DOL-35 The definition of union is misleading DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-31 Definitions in the ontology do not match those in the document DOL 1.0b1 DOL 1.0 Resolved closed
DOL-30 The definition of simple theoroidal mapping is misleading DOL 1.0b1 DOL 1.0 Resolved closed
DOL-28 The concepts Reduction and Translation are lacking in the ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-27 The DOL ontology definition of logical theory needs work DOL 1.0b1 DOL 1.0 Resolved closed
DOL-26 The definition for Logic in the DOL ontology is limited to monotonic logic only and should be broader DOL 1.0b1 DOL 1.0 Resolved closed
DOL-19 Definition of dol:Language needs clarification DOL 1.0b1 DOL 1.0 Resolved closed
DOL-18 Revise/clarify the definition and related notes for dol:LogicReduction in the ontology DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-17 Clarify the definition of dol:LogicMapping in the ontology DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-15 Clarify the definition of dol:OMSLanguageTranslation DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-34 The concept "sequence of correspondences" is defined but not used DOL 1.0b1 DOL 1.0 Resolved closed
DOL-33 The definition of DOLLibrary does not match its specification in the ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-32 Basic definitions are missing from the DOL ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-29 There is a need for the concept of a mapping that is not a logic mapping DOL 1.0b1 DOL 1.0 Resolved closed
DOL-25 The text definition for Institution is incomplete DOL 1.0b1 DOL 1.0 Resolved closed
DOL-24 Documentation is missing in the DOL ontology for the meaning of HeterogeneousEnvironment DOL 1.0b1 DOL 1.0 Resolved closed
DOL-23 Nodes and edges are not well defined DOL 1.0b1 DOL 1.0 Resolved closed
DOL-22 Language graphs should not be limited to translations DOL 1.0b1 DOL 1.0 Resolved closed
DOL-21 IRIs in the "global environment" are overly constrained DOL 1.0b1 DOL 1.0 Resolved closed
DOL-7 Missing concept for Symbol in the DOL ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-6 Need for intermediate class to disambiguate OWL 2 profiles DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-4 Elements described as "logical theories" are not defined as such DOL 1.0b1 DOL 1.0 Resolved closed
DOL-3 Typo in the definition of the dol:Ontology class DOL 1.0b1 DOL 1.0 Resolved closed
DOL-2 The definition of dol:AbstractSyntax implies that it should be a subclass of dol:Language DOL 1.0b1 DOL 1.0 Resolved closed
DOL-1 The name of the OMS language graph class in the ontology does not match its label DOL 1.0b1 DOL 1.0 Resolved closed
DOL-12 There are multiple definitions for dol:OMSLanguageTranslation in the ontology which should be clarified and distilled to a single definition DOL 1.0b1 DOL 1.0 Resolved closed
DOL-11 Need to clarify the use of "text" in the ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-10 Need to clarify the role of logical symbols in the ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-9 Need to clarify what is meant by a "construct" in the ontology DOL 1.0b1 DOL 1.0 Resolved closed
DOL-8 The text definition of dol:Mapping does not agree with the way the class is specified. DOL 1.0b1 DOL 1.0 Resolved closed
DOL-16 Missing definition for dol:OMSLanguageReduction DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-14 There are redundant axioms for LogicTranslation and LogicReduction DOL 1.0b1 DOL 1.0 Resolved closed
DOL-13 Redundant declaration of dol:OMSLanguageTranslation in the ontology DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-5 Potential misclassification of several classes DOL 1.0b1 DOL 1.0 Closed; No Change closed
DOL-20 The DOL ontology should be documented properly in the specification DOL 1.0b1 DOL 1.0 Deferred closed

Issues Descriptions

minimize can be used to express reachability models

  • Key: DOL-90
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    If applied to algebraic signatures (sorts + operation symbols), minimize can be used to express reachability (i.e. term-generatedness) of first-order models. This should be clarified in the standard.

  • Reported: DOL 1.0b1 — Thu, 10 Aug 2017 21:22 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Added footnote to explain use of minimize *

    We added a footnote mentioning the use use minimize for expressing term-generatedness, and provided some datatype example (and corrected some other datatype example).

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

update the copyright to 2017

  • Key: DOL-98
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    change the copyright information on page i (directly after title page) from
    Copyright ©2014-15
    to
    Copyright ©2014-17

  • Reported: DOL 1.0b1 — Sat, 12 Aug 2017 13:41 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    copyright information is updated

    All occurrences of "Copyright ©2014-15" are replaced by "Copyright ©2014-17"

  • Updated: Mon, 2 Apr 2018 18:08 GMT

Don't include version number of cited standard unless it is required.

  • Key: DOL-96
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    Cite the versionless reference and URL of standards. This will always refer to the lastest released version. Only in cases where we definitely rely on a specific version, we should cite that one.

  • Reported: DOL 1.0b1 — Fri, 11 Aug 2017 20:18 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    Citation have been updated

    We have changed several references from "versioned" to "unversioned".
    We left the following normative references versioned because we are referring to a specific section of the standard document: RDF, RDFa, XMLns, OWL2RDF.

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

BasicOMS may need to be included in delimiters

  • Key: DOL-94
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    We have
    OMS = ... | OMS OMSTranslation | ...
    OMSTranslation = ... | ’with’ LanguageTranslation+

    Assuming our OMS language contains an opitonal syntax element 'with' IRI, we could have something like

    ontology foo =
    ...
    with <www.example.com>

    this would be ambiguous, since it would not be clear whether the "with <www.example.com>" would be part of the basic OMS or not.

  • Reported: DOL 1.0b1 — Fri, 11 Aug 2017 19:50 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Curly Braces for Basic OMS within DOL documents *

    We have added the restriction that inside DOL documents, a Basic OMS must not use any DOL keywords, unless it is enclosed in curly braces.

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

missing parenthesis in the concrete grammar

  • Key: DOL-92
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    Because of an error in a Latex declaration, some parentheses aren't visible in the abstract grammar. These omissions change the grammar in unintended ways. This bug affects EBNF grammar expression across chapter 9 and in annex K.

  • Reported: DOL 1.0b1 — Fri, 11 Aug 2017 19:14 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *parenthesis now visible *

    We fixed the bug in the latex that was responsible for hiding some of the parenthesis in EBNF code. While we were making these changes we also harmonized the use of whitespace in the EBNF grammars (this is a purely cosmetic change).

    This affected the EBNF code on page 48, 52, 53, 57, 60, 138, 142.

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

change terminology from "model" to "realisation"

  • Key: DOL-82
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    Across the DOL spec "model" is used both for models in the UML sense and models in the mathematical model theory sense. This can lead to confusion. Better replace "model" in the mathematical sense by "realisation"

  • Reported: DOL 1.0b1 — Thu, 10 Aug 2017 19:56 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *terminological clarification of "model", introduction of "realization" *

    we have changed the term "model" into "realization" and the term "MDE model" into "model", because in the OMG community, the term "model" will be unterstood in the sense of MDE and not in the sense of logical model theory. This makes certain sentences much clearer, e.g. on p. 119, "models (in the sense of the term defined in clause 4) of UML class models" now becomes "realisations of UML class models".

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

Annex references to metaclasses

  • Key: DOL-39
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    C.2 refers to “the metaclass OWL Ontology” and “the metaclass OWL Universe”. Presumably these refer to the classes OWLOntology and OWLUniverse from ODM; if so they should be spelt correctly (no space) and there should be a reference to NR24.

    D.2 refers to the metaclasses Text and Sentence. It is not clear where these come from. Are they from an existing standard? – if so it should be referenced. Or if they are from a hypothetical metamodel inferred from the Common Logic definition, this should be made explicit.

    E.2 refers to the metaclasses Document and Triple. Are these from ODM? If so there should be a reference fo NR24.

    F.2 refers to the metaclasses OWL Model and OWL PackageableElement. Presumably the reference to OWL is an error, and the metaclasses are actually Model and PackageableElement from the UML metamodel – reference NR8. Also it would be more flexible to make Package rather than Model a subclass of NativeDocument: it’s valid for a UML document to contain a top-level Package which is not a Model and it seems a shame to exclude such a thing from the world of DOL.

    G.2 refers to the metaclasses TPTP_file and annotated_formula. It is not clear where these come from. Are they from an existing standard? – if so it should be referenced. Or if they are from a hypothetical metamodel inferred from the TPTP definition, this should be made explicit.

    H.2 refers to the metaclasses LIBRARY and BASIC-SPEC. It is not clear where these come from. Are they from an existing standard? – if so it should be referenced. Or if they are from a hypothetical metamodel inferred from the CASL definition, this should be made explicit.

  • Reported: DOL 1.0b1 — Tue, 23 Aug 2016 09:52 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    all proposals were implemented

    we implemented all proposed changes (see diff document)

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

Simple typos and grammatical errors

  • Key: DOL-37
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    P11: shard -> shared

    P25: “Annex M provides of DOL texts, which provide examples for all DOL constructs,” clumsy. Reword “Annex M provides textual examples for all DOL constructs,”

    P25: The bibliography contains Q references -> delete Q

    P31: “Often is useful” -> “Often it is useful”

    P35: “in this context are ask” -> “in this context ask”

    P62: Table 2 should be positioned in 9.8.1.2, not in the middle of 9.8.1.1.

    P125: “many-sorted first has been formalized” -> “many-sorted first-order logic has been formalized”

  • Reported: DOL 1.0b1 — Tue, 23 Aug 2016 09:48 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    all corrections were made

    all corrections were made

  • Updated: Mon, 2 Apr 2018 18:08 GMT

transformation tool conformance insufficient

  • Key: DOL-36
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    It says “a transformation tool is DOL-conformant if it implements one (or more) language translations, logic translations, language projections and/or logic projections.” There must surely also be some DOL-related requirement here, e.g. that the tool consumes and produces DOL-conforming documents.

  • Reported: DOL 1.0b1 — Tue, 23 Aug 2016 09:45 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    Conformance condition for transformation tools clarified

    We have added that a transformation tool has to operate on the DOL (abstract) syntax.

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

Improvement of definitions and comments in the ontology


Cleanup of encoding and markups

  • Key: DOL-101
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    Because of its original source, many of the definitions and comments contain Latex markup and symbols that are not properly encoded. This needs to be cleaned up.

  • Reported: DOL 1.0b1 — Fri, 3 Nov 2017 15:27 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    Encoding corrected, latex annotations removed

    non-UTF 8 symbols were replaced by UTF 8 symbols (e.g., non-UTF quotation marks).
    Latex markup was replaced by equivalent text. Citations were removed, since they are available in the specification text.

    For example the following text:

    AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#note> <http://www.omg.org/spec/DOL/DOL-terms/LinkedData> " The linked data principles (adapted from
    cite

    {BernersLee:LinkedData2006}

    and its paraphrase at
    cite

    {Wikipedia:LinkedData2011}

    ) are the following:
    begin

    {enumerate}
    item Use IRIs as names for things.
    item Use HTTP IRIs so that these things can be referred to and looked up (``dereferenced'') by people and user agents.
    footnote{I.e., the IRI is treated as a URL (uniform resource locator).}
    item Provide useful machine-processable (plus optionally human-readable) information about the thing when its IRI is dereferenced, using standard formats.
    item Include links to other, related IRIs in the exposed data to improve discovery of other related information on the Web.
    end{enumerate}

    "@en)

    was replaced by

    AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#note> <http://www.omg.org/spec/DOL/DOL-terms/LinkedData> "Linked data principles, as interpreted herein, are as follows: (a) Use IRIs as names for things; (b) Use HTTP IRIs so that these things can be referred to and looked up (dereferenced) by people and user agents; i.e., the IRI is treated as a URL (uniform resource locator); (c) Provide useful machine-processable (plus optionally human-readable) information about the thing when its IRI is dereferenced, using standard formats; (d) Include links to other, related IRIs in the exposed data to improve discovery of other related information on the Web."^^xsd:string)

    Note that change from language tagged strings to xsd:string is the result of the resolution of ticket DOL-102

    The OWL file is attached to the resolution of DOL-102. The resolution does not affect the specification.

  • Updated: Mon, 2 Apr 2018 18:08 GMT

The label for supportsLogic in the ontology is duplicated.

  • Key: DOL-68
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    The label for supportsLogic in the ontology is duplicated.

  • Reported: DOL 1.0b1 — Wed, 9 Aug 2017 18:16 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *The duplication has been deleted. *

    we have deleted the duplication.

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments:

Minor bugs in the translation from OWL to FOL

  • Key: DOL-81
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    I.5.7.2 Translation of sentences: $\top$ and $\bot$ are missing!
    I.5.7.3 Translation of models:

    $M'_\Thing$ does not make sense, because this is unsorted first-order logic.
    $\I$ has not been introduced. Sometimes, $I$ is used.
    Typo: By Induction (should be: by induction).
    As last item, add: The other cases are similar.
    The satisfaction condition holds as well. --> The satisfaction condition now follows easily.

  • Reported: DOL 1.0b1 — Thu, 10 Aug 2017 19:31 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    Minor technical corrections to OWL -> FOL translation

    We have made minor technical corrections in the mathematical definition of the translation of OWL to first-order logic. For details see diff file.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Inaccurate footnote 35

  • Key: DOL-40
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    Footnote 35 says "there does not seem to be default in UML 2.5". This is incorrect. UML 2.5 specifies the defaults in the Classifier description of MultiplicityElement thus:

    isOrdered : Boolean [1..1] = false

    isUnique : Boolean [1..1] = true

  • Reported: DOL 1.0b1 — Thu, 25 Aug 2016 08:31 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *changed footnote *

    We removed the sentence ""there does not seem to be default in UML 2.5"

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Colon inconsistency

  • Key: DOL-38
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    P28. The textual example illustrating section 7.2 contains two inconsistent language lang:CommonLogic terms, one of which is followed by a colon while the other is not.

  • Reported: DOL 1.0b1 — Tue, 23 Aug 2016 09:49 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *change of example *

    there was no inconsistency, because the two lang:CommonLogic terms were used in different syntactic roles (global versus local language qualification). Nevertheless, we have revised the example, such that this is avoided now.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

typo

  • Key: DOL-43
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    typo on page 53
    satifsiable -> satisfiable

  • Reported: DOL 1.0b1 — Wed, 31 May 2017 18:38 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    trivial spelling error corrected

    see summary

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Replace "view" by "refinement"

  • Key: DOL-41
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    Replace "view" by "refinement" in example 7.11 on page 37

  • Reported: DOL 1.0b1 — Wed, 12 Apr 2017 14:08 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    "view" replaced by "refinement"

    Simple replacement of one term by another.

    Original text:
    view cd2stm = cd refined to

    { atm hide along stm2cd}

    end
    view cd2psm = cd refined to

    { psm hide along psm2cd}

    end

  • Updated: Mon, 2 Apr 2018 18:07 GMT

The definition of union is misleading

  • Key: DOL-35
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology, dol:Union is defined in terms of the combination of all ..., and then refers to a sequence of OMS. Is the sequence order actually relevant? If not, would it be better to define this through a set of OMS rather than a sequence?

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:28 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    No change

    Sequence is used here in the sense of syntactic sequence. Since a union is a syntactic entity, we would prefer to stay with sequence here.

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Definitions in the ontology do not match those in the document

  • Key: DOL-31
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    Generally, there seem to be a number of concepts where the definition in the ontology diverges from the one given in the specification document. Some concepts defined in the document do not appear in the ontology, e.g. infrastructure axiom (which is referred to e.g. in the natural language definition of SimpleTheoroidalMapping). Ideally, and especially for use in other OMG specifications such as API4KP, the ontology should be able to stand alone.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:18 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    infrastructureAxiom was added to the ontology

    We have added InfrastructureAxiom to the DOL ontology. Otherwise, we believe that we have taken all concepts from the glossary (section 4) into account when designing the DOL ontology.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The definition of simple theoroidal mapping is misleading

  • Key: DOL-30
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    SimpleTheoroidalMapping: The definition seems to suggest that this is not a LogicMapping (the natural language definition says it maps signatures to logical theories, while a LogicMapping maps logics to logics). The definition in the document of simple theoroidal logic translation is much clearer. There is a disconnect because only simple theoroidal logic translation is defined in the document, while SimpleTheoroidalMapping as defined in the ontology is more general.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:17 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    clarification of definition of LogicMapping and SimpleTheoroidalMapping

    We have clarified that a LogicMapping is "a mapping (translation or reduction) between two logics consisting of mappings for signatures, sentences and models".

    We further clarified that a SimpleTheoridalMapping is a "logic mapping that maps signatures of the source logic to theories of the target logic"

    These changes should make transparent that a SimpleTheoroidalMapping is a LogicMapping.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The concepts Reduction and Translation are lacking in the ontology

  • Key: DOL-28
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the ontology, classes for Reduction and Translation (as subclasses of Mapping) would be useful (and then define logic and language reduction and translation using them).

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:11 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:
    • we have added classes Reduction, Translation and OMSLanguageReduction.*

    we have added classes Reduction, Translation and OMSLanguageReduction. The definition of OMSLanguageTranslation was clarified.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The DOL ontology definition of logical theory needs work

  • Key: DOL-27
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology for LogicalTheory: The natural language definition is kind of awkward: "a signature together with a set of sentences" would be more appropriate.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:09 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    definition of LogicalTheory improved

    We have changed the wording as suggested, but kept the addition "(over that signature)

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The definition for Logic in the DOL ontology is limited to monotonic logic only and should be broader

  • Key: DOL-26
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    Logic: the definition seems to be appropriate for monotonic logic only. That is, the satisfaction relation is defined for sentences, and then it appears to be assumed that satisfaction of a theory is based on satisfaction of all sentences in the theory. This would not be enough for, e.g. defeasible logic. So perhaps the name of this concept should be changed to MonotonicLogic, so if can be reused in external ontologies that also cover nonmonotonic logics.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:07 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    We distinguish between Logic and MonotonicLogic

    The former class Logic has been renamed to MonotonicLogic, and a class
    Logic has been added as a superclass of MonotonicLogic.
    Most object properties still have domain/range Logic. Only the
    formalises object properties has range MonotonicLogic:
    an Institution always formalises a MonotonicLogic.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Definition of dol:Language needs clarification

  • Key: DOL-19
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The definition of dol:Language as "collection of expressions" where dol:Expression is "a finite combination of symbols that are well-formed according to applicable rules (depending on the language)" suggests that this class does not include natural languages, only formal languages. This is supported by its usage in the definition of dol:FormalSemantics? To avoid confusion, could this concept be renamed to dol:FormalLanguage (if that is the intent)?

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:35 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    We now distinguish class Language and class FormalLanguage.

    We now distinguish class Language and class FormalLanguage.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Revise/clarify the definition and related notes for dol:LogicReduction in the ontology

  • Key: DOL-18
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    LogicReduction has a note "mapping between logics forgetting parts of the structure, projection to a smaller logic, in contrast to reduction". Should be "mapping between logics forgetting parts of the structure, projection to a smaller logic, in contrast to translation"

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:34 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    *see http://issues.omg.org/browse/DOL-53*

    This has been covered by the proposal
    http://issues.omg.org/browse/DOL-53

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Clarify the definition of dol:LogicMapping in the ontology

  • Key: DOL-17
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The definition of Logic Mapping suggests that it can be any kind of mapping between logics, but the comment says it should be either a translation or reduction, which seems to be more specific. Should LogicMapping be the disjoint union of LogicTranslation and LogicReduction?

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:33 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    translations or reductions are kinds of LogicMapping, but there could be more

    LogicTranslation and LogicReduction are not disjoint. The extreme case of a LogicMapping that leaves everything unchanged (the identity mapping) is both a LogicTranslation and a LogicReduction.
    Moreover, in the future, there could be LogicMappings that are neither LogicTranslations nor LogicReductions (although it is presently not clear how they would look).
    Hence, we prefer to leave the ontology unchanged here.

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Clarify the definition of dol:OMSLanguageTranslation


The concept "sequence of correspondences" is defined but not used

  • Key: DOL-34
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology, dol:SequenceOfCorrespondences doesn't appear to be used for anything. Consider deleting.

    (Note that any deletions must be done prior to moving into RTF – at that stage in the specification one cannot delete or rename concepts or properties - you would need to deprecate them instead, so that your user community is not negatively impacted.)

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:26 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *added new class Sequence *

    SequenceOfCorrespondences is actually used in Alignment, we have corrected this and also introduced a class Sequence serving as domain/range of object properties hasSequenceMember and isSequenceMemberOf.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The definition of DOLLibrary does not match its specification in the ontology

  • Key: DOL-33
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    DOLLibrary is formalized as "semanticallyDenotes some GlobalEnvironment", but this doesn't seem to arise from the natural language definition.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:24 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *axioms are added to reflect the textual definition *

    A DOLLibrary is now (additionally) formalised as having OMS, OMSMappings and OMSNetworks as parts.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Basic definitions are missing from the DOL ontology

  • Key: DOL-32
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    On page 4 of the specification document, it states that " DOL is capable of assigning identifiers to entities (symbols, axioms, modules, etc.)." Based on this, we expect to find classes for symbol, axiom and module in the ontology. Is AxiomSentence the same as "axiom"? Definitions for some of these concepts appear to be missing from the ontology, in other words.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:22 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Renaming of AxiomSentence into Axiom *

    We have changed AxiomSentence into Axiom (and TheoremSentence into Theorem). Symbol occurs as NonLogicalSymbol in the ontology, in accordance to section 4.2 of the DOL document. On page 4, they are (for conciseness) mentioned as "symbols". Module is a class in the ontology.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

There is a need for the concept of a mapping that is not a logic mapping

  • Key: DOL-29
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    Currently in the DOL ontology, DefaultMapping is defined as a subclass of LogicMapping. There might be a need for DefaultLanguageMappings, so it would be better to rename this class to DefaultLogicMapping and have a superclass named DefaultMapping (especially the fact that the document speaks of default language translations hints to the existence of a default language mapping).

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:15 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Introduction of DefaultLogicMapping and DefaultLanguageMapping *

    We introduced DefaultLogicMapping and DefaultLanguageMapping. DefaultMapping is a superclass of both.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The text definition for Institution is incomplete

  • Key: DOL-25
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology, the natural language (text) definition for the Institution class is incomplete, and should incorporate the definition provided by the defining axioms of the class.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:06 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Definition of institution changed. *

    We have extended the definition of institution in order to incorporate the definition provided by the defining axioms of the class.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Documentation is missing in the DOL ontology for the meaning of HeterogeneousEnvironment

  • Key: DOL-24
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    HeterogeneousEnvironment: the notes from the document should also be added to the ontology class.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:04 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:
    • We have added the notes to the class HeterogeneousEnvironment of the DOL ontology.*

    We have added the notes to the class HeterogeneousEnvironment of the DOL ontology.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Nodes and edges are not well defined

  • Key: DOL-23
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology, LanguageGraph and LogicGraph: Explicitly state what the nodes and what the edges are

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:02 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    we have now explicitly stated what nodes and edges are.

    We have now explicitly stated what nodes and edges are by changing the definitions of LanguageGraph and LogicGraph.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Language graphs should not be limited to translations

  • Key: DOL-22
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology, LanguageGraph: edges seem to be limited to language translations - why not e.g. language reductions?

    The definition of OMSLanguageTranslation suggests that a language mapping can be either a translation or a reduction.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:01 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    We have added language reductions to the definition of LanguageGraph.

    We have added language reductions to the definition of LanguageGraph.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

IRIs in the "global environment" are overly constrained

  • Key: DOL-21
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In the DOL ontology, IRIs seem to be restricted to document identifiers, networks and mappings, and the meaning of global knowledge remains unexplained.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:00 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *definition of global knowledge rephrased *

    We have changed the wording concerning global knowledge. However, we did not change anything concerning IRIs. Note that a GlobalEnvironment uses IRIs in a specific and restricted way. But this does not mean at all that IRIs (which are not defined in the DOL ontology, because there are other places to do so) are restricted.
    This change affects both the glossary in the specification as well as the ontology.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Missing concept for Symbol in the DOL ontology

  • Key: DOL-7
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    There is no concept of Symbol but it is used in the definition of Language, and there is a concept of NonLogicalSymbol.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:19 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    We have added classes Symbol and LogicalSymbol.

    We have added classes Symbol and LogicalSymbol.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Need for intermediate class to disambiguate OWL 2 profiles

  • Key: DOL-6
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    There appears to not be an intermediate concept between dol:OMSLanguage and dol:Profile for a dol:OMSLanguage with a particular logic (e.g. OWL2 with Direct Semantics).
    While this is not an error of the DOL ontology, this is a concept that would be useful for API4KB.

    We are surprised that this concept is not needed in DOL, because e.g. this concept enables the distinction between OWL 2 (in general) and OWL DL or OWL Full, It would also potentially be needed to distinguish between OWL 2 profiles.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:16 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    no intermediate concept between dol:OMSLanguage and dol:Profile needed

    There appears to not be an intermediate concept between dol:OMSLanguage and dol:Profile for a dol:OMSLanguage with a particular logic (e.g. OWL2 with Direct Semantics).
    While this is not an error of the DOL ontology, this is a concept that would be useful for API4KB.

    We are surprised that this concept is not needed in DOL, because e.g. this concept enables the distinction between OWL 2 (in general) and OWL DL or OWL Full, It would also potentially be needed to distinguish between OWL 2 profiles.

    The philosophy of DOL is different here: an OMSLanguage can support (via the object property supportsLogic) different Logics. What you are after is a pair of an OMSLanguage and a Logic (such that the supportsLogic relation holds). We do not have such a thing in DOL as a concept of its own, although implicitly it is there: a user can select an OMSLanguage and a Logic, for example OWL2 EL with RDF logic (i.e. RDF semantics, aka OWL full).

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Elements described as "logical theories" are not defined as such

  • Key: DOL-4
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    Each of "dol:Ontology", "dol:Specification" and "dol:MDEModel" are defined as "logical theories", but they are not subclasses of dol:LogicalTheory. Further, their definition suggests they are roles (i.e. non-rigid properties) of dol:LogicalTheory. If this is the intended meaning, then the definition should say this explicitly.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:12 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *revised definitions of OMS, ontology, MDE model and specification *

    Indeed, the use of "logical theory" for the definitions is misleading here. We improved the definitions of OMS, ontology, MDE model, and specification both in the DOL spec and the ontology.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Typo in the definition of the dol:Ontology class

  • Key: DOL-3
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    There is a typo in definition of ontology "shard" =>"shared".

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:10 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    typo corrected

    typo corrected

  • Updated: Mon, 2 Apr 2018 18:07 GMT

The definition of dol:AbstractSyntax implies that it should be a subclass of dol:Language

  • Key: DOL-2
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The definition of dol:AbstractSyntax says it is a (term) language that ... . Therefore It should be a subclass of dol:Language.

    Also, the definition dol:AbstractSyntax does not capture the common notion of abstract syntax in OMG. Perhaps "platform-independent metamodel for a language"?

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:08 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    definition of AbstractSyntax revised

    AbstractSyntax is now a subclass of Language. The notion of metamodel occurs in a note; we have kept the definition more general.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The name of the OMS language graph class in the ontology does not match its label

  • Key: DOL-1
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The class, dol:LanguageGraph has a label of "OMS language graph", which is more explicit. If that is the intent of the class from a usage perspective, the name should be revised to dol:OMSLanguageGraph.

    (API4KB team input)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:06 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:
    • we have implemented the suggested change.*

    The class, dol:LanguageGraph has a label of "OMS language graph", which is more explicit. If that is the intent of the class from a usage perspective, the name should be revised to dol:OMSLanguageGraph.

    we have implemented the suggested change.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

There are multiple definitions for dol:OMSLanguageTranslation in the ontology which should be clarified and distilled to a single definition

  • Key: DOL-12
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    dol:OMSLanguageTranslation has two definitions with slightly different wording. One says "a mapping (translation or reduction) between two OMS languages", which seems like it would be more appropriate for dol:OMSLanguageMapping, a concept that is not explicitly defined. The second says "mapping from constructs in the source OMS language to their equivalents in the target OMS language". It is not clear in what sense "equivalent" is meant here.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:27 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    Clarification of OMSLanguageTranslation

    dol:OMSLanguageTranslation has two definitions with slightly different wording. One says "a mapping (translation or reduction) between two OMS languages", which seems like it would be more appropriate for dol:OMSLanguageMapping, a concept that is not explicitly defined. The second says "mapping from constructs in the source OMS language to their equivalents in the target OMS language". It is not clear in what sense "equivalent" is meant here.

    The first wording has been adressed already by proposal
    http://issues.omg.org/browse/DOL-53. We have deleted the second wording, because it is imprecise and mostly inherited from Mapping already.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Need to clarify the use of "text" in the ontology

  • Key: DOL-11
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    In dol:OMSLanguageTranslation the use of "text" in the note suggests that a translation is always between texts (presumably, a coarse-grained syntactic category like Common Logic texts?), rather than between the more fine-grained syntactic "constructs". It would be more clear to either define "dol:Text" and "dol:Construct" or re-use terms that are formally defined, such as dol:Term or dol:Expression.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:26 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Clarification of dol:OMSLanguageTranslation *

    The syntactic category of the result of a translation entirely depends on the syntax of the target language. Thus, we have removed the term "text" in order to avoid possible confusion. It is required that the result must be well-formed in the target language, the syntactic nature of the result is not longer mentioned.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Need to clarify the role of logical symbols in the ontology

  • Key: DOL-10
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The natural language definition of Term "syntactic expression either consisting of a single non-logical symbol or recursively composed of other terms (a.k.a. its subterms)" is a little unclear, as it leaves some question as to the role of logical symbols. The intent is made more clear by the existence of the subclass Sentence, which presumably includes sentences with logical connectives, but as a stand-alone definition it is vague. Perhaps an explanatory note could be added, because in some standards the "term" class does not include sentences.

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:24 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    definition of Term is clarified

    We have clarified that logical symbols can be part of terms. Hopefully, this makes it more transparent.
    There is an axiom that states that Sentence is as subclass of Term. We are not sure what the note should say in addition to that.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Need to clarify what is meant by a "construct" in the ontology

  • Key: DOL-9
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The term "construct" is used in several annotations (:isLanguageAspectOf definition, :LanguageAspect, ...). Is this a synonym for dol:Term or dol:Expression or something different? To make this more clear, either a term dol:Construct could be defined, or an existing concept could be used instead.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:23 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    "Construct" added to ontology

    We have now defined construct as "syntactic pattern that is part of a language".

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

The text definition of dol:Mapping does not agree with the way the class is specified.

  • Key: DOL-8
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The natural language definition of dol:Mapping does not agree with the formalization, in that logic mappings are not set-theoretic mappings, but are families of set-theoretic mappings. The natural language definition could be generalized to "set-theoretic mapping or family of set-theoretic mappings" (as suggested by Till), so that it would be correct to say that dol:LogicMapping is a subclass of dol:Mapping. This would still exclude dol:SignatureMorphism.

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:22 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    change of definition of Mapping

    We have generalized the definition of Mapping to "set-theoretic mapping or family of set-theoretic mappings".

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Missing definition for dol:OMSLanguageReduction


There are redundant axioms for LogicTranslation and LogicReduction

  • Key: DOL-14
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    There is a similar group of redundant axioms for subclasses of LogicTranslation and LogicReduction, that explicitly state they are subclasses of LogicMapping. It should be okay to delete these redundant declarations.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:30 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    redundant axioms were removed

    We have removed the redundant axiom for Embedding, which is a subclass of LogicTranslation. There is no subclass of LogicReduction.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments:

Redundant declaration of dol:OMSLanguageTranslation in the ontology

  • Key: DOL-13
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    There is a redundant declaration of dol:OMSLanguageTranslation as a subclass of dol:Mapping, in addition to it being a subclass of dol:LanguageMapping, which could be deleted.

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:28 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    *See proposal http://issues.omg.org/browse/DOL-53*

    The redundant declaration has been taken care of as part of the rewrite in proposal
    http://issues.omg.org/browse/DOL-53.

  • Updated: Mon, 2 Apr 2018 18:07 GMT

Potential misclassification of several classes

  • Key: DOL-5
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The definition of dol:OMS suggests it should be a disjoint union of dol:Ontology, dol:Specification and dol:MDEModel, while formally they are subclasses. It is not clear if dol:OMS should be considered a role, or a subclass of logical theory. Based on the note attached to OMS, which says "an OMS is a collection of expressions, like ...", I would expect that OMS is a subclass of logical theory, not a role. Therefore, dol:Ontology, dol:Specification and dol:MDEModel would not be subclasses of OMS, but roles that an OMS can play.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:13 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    *already covered by http://issues.omg.org/browse/DOL-83*

    This issue is already covered by proposal http://issues.omg.org/browse/DOL-83

  • Updated: Mon, 2 Apr 2018 18:07 GMT

The DOL ontology should be documented properly in the specification

  • Key: DOL-20
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    While aspects of the ontology are incorporated in definitions in the body of the specification, the ontology itself should be documented via ODM-compliant diagrams, and both ODM/UML XMI and ODM XMI forms for the ontology should be included as deliverables with the specification.

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:37 GMT
  • Disposition: Deferred — DOL 1.0
  • Disposition Summary:

    The DOL ontology should be documented properly in the specification

    The resolution to this issue requires (1) production of the ODM UML XMI according to the latest version of the ontology, (2) production of the ODM XMI according to the latest version of the ontology, and (3) documentation of the ontology in an informative annex, including all header metadata describing the ontology as well as its contents in DL notation (see the LCC and FIBO specifications for examples).

    This issue is being deferred to the DOL 1.1 RTF due to the fact that the modifications required to the ontology by other issues documented in this report were completed close to the delivery deadline, and the process of documenting the ontology, which is informative, will take more than the available time remaining.

    Because the ontology is available in RDF/XML serialized OWL, adopters of this specification can use it as is, and leverage tools to automate the transformations to UML XMI or ODM XMI as required for other work. The definitions used in the ontology for the various concepts defined therein are also provided as normative terms and definitions in the body of the specification. The other artifacts should be provided for the sake of completeness by the DOL 1.1 RTF, however, as other emerging specifications at OMG, such as the API4KBs specification, will depend on them.

  • Updated: Mon, 2 Apr 2018 18:07 GMT