Ontology Talk: Formalizing a New Concept in SUMO

Ғылым және технология

I try formalizing a new concept of "ransomware" in SUMO and SUO-KIF, using the Sigmakee system to find the right terms to extend. This is just a sketch, with some assumptions, about what is needed and a future video will flesh out the definition.

Пікірлер

    Келесі