Examples for purely non-reified and reified Situation Calculus
Corrected content model of Interval
Reified Situation Calculus Example
Situation Calculus and Event Calculus examples demonstrating the use of Semantic Profiles for the axiomantized semantics of these logical calculi.
Merge branch 'master' of https://github.com/RuleML/reaction-ruleml into RuleML-master

Conflicts Resolved:
	exa/dr/DistributedDerivationRuleImplementation.rrml
	exa/dr/SemanticProfileDerivationRule.rrml

Signed-off-by: greenTara <taraathan@gmail.com>
Merge branch 'RuleML-master'
updating example with modified Profile content model

Signed-off-by: greenTara <taraathan@gmail.com>