15th T
10 abril 2019, 11:00 • Helena Sofia Andrade Nunes Pereira Pinto
Finding a Semantics for Frame Systems (Pat Hays, 1979) by translation.
Motivation for the Descriptions Logics family, main ideas.
KL-ONE system: Components. The Terminological Box (Concepts, Roles, Structural Conditions).