0.4.4

• Reasoning explanations are now stored and can be retrieve through queries
• On multi-mode, a new parameter root can be set to automatically create a default instance representing the robot. This instance name can be retrieve through a query to initialize other nodes.

0.4.3

This release provides a subscription mechanism with the corresponding API.

0.4.2

This release provides a updated coding style as well as a new CI for ROS2 and a CI with a linter.

Ontologenius also come with a logo upgrade and a new color palette.

0.4.1

This release brings two new reasoners:

• ReasonerAnonymous for anonymous classes
• ReasonerTransitivity

TODO advancements:

• Check the use of same_as in reasoning
• Clone of chains and anonymous classes
• Individuals add distinct
• Manage NOT in anonymous classes
• Check min-max in anonymous classes
• Properties range and domain as intersections instead of unions
• Properties check range and domain disjunctions with inheritance
• Delete individuals clear same_as
• Chain add explanations for same_as and inheritance over properties
• Handle same_as for trace leaving in chains and anonymous
• Handle Branch_t->mothers in trace leaving for Class and Properties inheritance
• Erase traces for new relations stated by the user and previously inferred
• In Feeder, implement the remove method for modifyInheritance
• Check the use of has_induced_inheritance_relations and has_induced_object_relations on all removed
• Inheritance insertion does not trigger reasoning (chain and anonymous)
• Transitivity reasoner
• clean prop updates
• verify double transitivity and inverse
• Consider reasoners' parameters with list

0.4.0

This release brings dual compatibility with ROS1 and ROS2.
Deprecated interfaces have been removed.

0.3.2

This release reduces ROS dependencies to prepare ROS2 compatibility.
At this point only the API and the Interface are still directly dependent on ROS1.

0.3.1

v0.3.1

[Doc] fix style

0.3.0

v0.3.0

release 0.3.0

0.2.12

v0.2.12

0.2.12

0.2.11

v0.2.11

0.2.11