Property has no domain or range in generated OWL

[crapo]

Discussed in #772

^{Originally posted by AbhaMoitra August 20, 2021}
I am using SADL version 3.4.1.202010012108 and here is a snippet of SADL (the entire project is available at https://github.com/ge-high-assurance/RACK (navigate to https://github.com/ge-high-assurance/RACK/blob/master/RACK-Ontology/ontology/AGENTS.sadl)

PERSON (note "Person agents are people - alias for User")
is a type of AGENT.

employedBy (note "Relates people to the company they were acting on behalf of.")
describes PERSON with at most one value of type AGENT.
employedBy is a type of actedOnBehalfOf.

There is no domain or range for employedBy in the generated OWL file. That is still the case when "employedBy is a type of actedOnBehalfOf" is commented out.

But when "with at most one value of type AGENT" is replaced by "with values of type AGENT" then domain and range info is present in the OWL file.

I also tried this out in SADL version 3.5.0.202105101655; and again I did not see domain or range for employedBy.

This translation to OWL seems strange?

[crapo]

This, and a number of possible related errors, are fixed with PR #787 .