Skip to content
GitLab
Explore
Sign in
Commits on Source
5
delete disjointWith axioms
· 1d9ed1db
Maxime Lefrançois
authored
May 31, 2024
1d9ed1db
closes
#9
, delete definitions of entities not in saref4envi
· cc6d61e5
Maxime Lefrançois
authored
May 31, 2024
cc6d61e5
closes
#18
: delete :contains
· 4f5429e0
Maxime Lefrançois
authored
May 31, 2024
4f5429e0
closes
#16
: Delete entities related to physical objects
· dd28fb07
Maxime Lefrançois
authored
May 31, 2024
dd28fb07
closes
#8
: do not redefine SAREF Core classes
· 0341bf02
Maxime Lefrançois
authored
May 31, 2024
0341bf02
Loading
