oml
oml copied to clipboard
opencaesar
Ontological Modeling Language (OML)
## Description The OML spec uses some notation that is not clearly identified up front or at all. For example, * the `:>` symbol is not described the first time...
## Description The definition presented in 3.2.2.3. Relation Entity appears to be malformed. Note there is no closing parenthesis after the last square bracket. See lines 385-400 in language-reference.md
I suggest the following: When definning an ontology, we usually want to share the vocabulary (not only provide a tool) So, if we can have an option to generate the...
## Description A clear and concise description of what the bug is. https://www.w3.org/Submission/SWRL/ SWRL supports using a data valued property as an atom: ``` atom ::= description '(' i-object ')'...
OWL2-DL allows axioms to have zero or more annotations, see: https://www.w3.org/TR/owl2-syntax/#Annotations_of_Ontologies.2C_Axioms.2C_and_other_Annotations There is no such support in OML. In particular, this prevents using annotations for modeling quantities and units. currently,...
In OWL2-DL, key axioms can involve a combination of object and data properties. OML 1.0.6 is currently limited to OML scalar properties. https://github.com/opencaesar/oml/blob/master/io.opencaesar.oml.dsl/src/io/opencaesar/oml/dsl/Oml.xtext#L421 ``` KeyAxiom: 'key' properties+=[ScalarProperty|Ref] (',' properties+=[ScalarProperty|Ref])*; ```...
## Key axiom support for 'oml:hasSource' or 'oml:hasTarget' or both. Given: ``` concept A concept B relation entity R [ from A to B forward r ] ``` There could...
## User Story As an **ontology author**, I would like **oml syntactic support for referring to an inverse of a relation entity or of a property that does not have...
## Description Serializer for omlxmi files will fail to write file if imports are not complete. However, validation does not report this as an error prior to actually trying to...
## Description A clear and concise description of what the bug is. The OML 0.9.0 validation on save is useful; however, it lacks enough context to trace the error to...