Skip to main content

Table 1 MIBEL Ontology object properties DL syntax

From: Iberian electricity market ontology to enable smart grid market simulation

Object Properties

hasComplexCondition \(\sqsubseteq \)R

incorporatedByPlayer \(\sqsubseteq \)R

\(\top \sqsubseteq \leq \)1 incorporatedByPlayer

incorporatesComplexCondition ≡ incorporatedByPlayer-

\(\top \sqsubseteq \leq \)1 incorporatesComplexCondition-