AI RESEARCH
A New Tractable Description Logic under Categorical Semantics
arXiv CS.AI
•
ArXi:2505.08916v2 Announce Type: replace-cross Biomedical ontologies contain numerous concept or role names involving negative knowledge such as lacks_part, absence_of. Such a representation with labels rather than logical constructors would not allow a reasoner to interpret lacks_part as a kind of negation of has_part.