. . . "Encoded OS URI"^^ . . . . "OS"^^ . . "os" . . . "http://www.openlinksw.com/ontology/software#OSFamilyAny" .