Help:SemanticQueryPlus
From Tetherless World Wiki
An extension of the SMW modeling and query language to support additional expressivity such as negation, transitive properties, integrity constraints and cardinality counting. It connects SMW to a logic program solver for query answering.
