SWRL is Monotonic: counting not supported Publication( p)  hasAuthor( p, a)  → SingleAuthorPublication( p) Not expressible - open world applies Potential invalidation - what if author is added later.
{}