17th T
24 abril 2019, 11:00 • Helena Sofia Andrade Nunes Pereira Pinto
Sum up of the KL-ONE T-Box Representation primitives. Sum up of the KL-ONE A-Box Representation primitives. The concrete syntax of KL-ONE.
The Semantics of KL-ONE: Extension and the Semantics of the several T-Box Primitives.
AL+. Syntax, Semantics, Computing Entailments and Subsumption: KB simplification and Normalization.