OWL-MeT examples

  1. A subclassOf (future 5 (B) )
  2. A equivalentClass (future 5 ( B) )
  3. A equivalentClass (allfuture B)
  4. A equivalentClass (C intersection(future 5(B) ) )
  5. A equivalentClass (C union (past 3(B) ) )
  6. A equivalentClass ( (future 1(C) ) intersection(future 5(B) ) )
  7. A equivalentClass (C at t_1)
  8. A equivalentClass ( (future 5(B) ) at t_1)
  9. A equivalentClass ( (C intersection (future 5(B) ) ) at t_1)
  10. A equivalentClass ( ( (C intersection (future 5(B) ) ) at t_1) union (D at t_2) )