OWL-MeT examples
A subclassOf (future 5 (B) )
A equivalentClass (future 5 ( B) )
A equivalentClass (allfuture B)
A equivalentClass (C intersection(future 5(B) ) )
A equivalentClass (C union (past 3(B) ) )
A equivalentClass ( (future 1(C) ) intersection(future 5(B) ) )
A equivalentClass (C at t_1)
A equivalentClass ( (future 5(B) ) at t_1)
A equivalentClass ( (C intersection (future 5(B) ) ) at t_1)
A equivalentClass ( ( (C intersection (future 5(B) ) ) at t_1) union (D at t_2) )