History of notes-cog-ai-reasoning-descriptionLogics

2022-02-12
17:33 UTC Revision 1 . . . . BayleShanksmy summary: for applications in which polytime inference is desired, use https://www.w3.org/TR/owl2-profiles/#OWL_2_EL DL intros: . . .