The Ontology Definition Metamodel - Ontolog - CIM3
The Ontology Definition Metamodel - Ontolog - CIM3
The Ontology Definition Metamodel - Ontolog - CIM3
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Boolean Sentences<br />
0..1<br />
+conjunction<br />
Conjunction Disjunction Negation Implication<br />
Conjunction<br />
+conjunct<br />
0..*<br />
0..1<br />
+disjunction<br />
Disjunction<br />
+disjunct<br />
0..*<br />
0..1<br />
+negation<br />
AntecedentForImplication<br />
LvalueForBiconditional<br />
NegatedSentence<br />
ConsequentForImplication<br />
RvalueForBiconditional<br />
+sentence<br />
1<br />
BooleanSentence<br />
0..1<br />
+implication<br />
+antecedent<br />
1<br />
Sentence<br />
0..1<br />
+implication<br />
+consequent<br />
1<br />
<strong>The</strong>re are no explic it 'true' and 'false' elements in the metamodel. <strong>The</strong>se<br />
are empty cases of Conjunction (true) and Disjunction (false). That is<br />
why a Disjunction or Conjunction of zero sentences is allowed.<br />
Copyright ©2007 Sandpiper Software, Inc.<br />
0..1<br />
+biconditional<br />
+lvalue<br />
1<br />
Biconditional<br />
0..1<br />
+biconditional<br />
+rvalue<br />
1<br />
23