単一の inf を持つことは可能ですか。変数に複数の制約があるルール。たとえば、次のルールを拡張することは可能ですか
a b c [Constraint b != <rdf:type>]
b <rdfs:domain> d
------------------------------------
a <rdf:type> d
そのように（試してみましたが、ルールはアクティブになりません）
a b c [Constraint b != <rdf:type>, b != <rdfs:label>]
b <rdfs:domain> d
------------------------------------
a <rdf:type> d
ありがとう