Ontology(<http://www.semanticweb.org/wmilnor/ontologies/2018/3/ClassNotationAnalysisRow231> Declaration(Class(:A)) Declaration(Class(:B)) ############################ # Classes ############################ # Class: :B (:B) EquivalentClasses(:B ObjectComplementOf(:A)) )