@keywords is, of, a.
@prefix : <argument#>.

@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .

<tbl.n3> a PositionStatement.
<dc.n3> a PositionStatement.
<markb.n3> a PositionStatement.

{ ?X a PositionStatement; log:semantics ?F.
  ?Y a PositionStatement; log:semantics ?G.
  <owlAx.n3> log:semantics ?OWLSEM.
  (?F ?G ?OWLSEM) log:conjunction [
    log:supports { _:x owl:differentFrom _:x }
  ].
} => { ?X inconsistentWith ?Y }.