- 22 Apr, 2022 2 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
Updated inferred axioms with ew reasoning results ... one axiom less than before. Default export configuration from Protege was used.
-
- 14 Apr, 2022 1 commit
-
-
Patrick Klein authored
-
- 26 Jan, 2022 7 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
- 25 Jan, 2022 4 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
- 24 Jan, 2022 4 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
- 23 Jan, 2022 10 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
modelled actuates as a subporperty of affects and deleted calibrates since it is similar to the depends on property
-
- 22 Jan, 2022 3 commits
-
-
Patrick Klein authored
Removed assertion that MaintenanceAction is a subclass of MASON:Maintenance in Predm since it is also done in FTOnto.
-
Patrick Klein authored
-
Patrick Klein authored
Removed that Machine Resource is a subclass of Platform and set indirectly addressable and passive things as subclasses of platform
-
- 21 Jan, 2022 6 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-
- 20 Jan, 2022 3 commits
-
-
Patrick Klein authored
-
Patrick Klein authored
-
Patrick Klein authored
-