History of notes-cog-ai-reasoning-descriptionLogics
2022-02-12
17:33 UTC
Revision 1
. . . .
BayleShanks
–
my summary: for applications in which polytime inference is desired, use https://www.w3.org/TR/owl2-profiles/#OWL_2_EL DL intros: . . .