If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL. Jeremy J. Carroll EXTRACREDIT