New templates for ontology relation definitions
Clean these kinds of constructs up:
>-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation
>-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
L0.Entity.methods --> L0.Value ==> "StructuredProperty" <R L0.HasProperty : L0.FunctionalRelation
L0.domainProperties L0.Functions.methodsPropertyDomainProperties
// Anything that has an assertion is not a FunctionalRelation but a TotalFunction
>-- L0.SharedOntology.treatAsSystemOntology --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
@L0.assert L0.SharedOntology.treatAsSystemOntology false
by adding new templates that remove the need to always write <R L0.HasProperty : L0.FunctionalRelation
or <R L0.HasProperty : L0.TotalFunction
. Many different combinations are needed to support -->, ==> etc.
Edited by Tuukka Lehtonen