OWL reflective restriction question

How do I say in owl that:

{ ?subj :bindingRule ?obj . ?obj a SomeType; subject ?otherObj } => { ?subj owl:sameAs ?otherObj }

SomeType owl:equivalentClass [ a owl:Restriction;
                 owl:onProperty [ rdfs:subPropertyOf [ owl:propertyChainAxiom ( :subject :bindingRule )];
                                  a owl:ReflexiveProperty ];
                 owl:minCardinality 1 ] .

I tried that but Pellet does not like it.

I get errors such as 

Mar 08, 2014 12:20:48 PM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader addUnsupportedFeature
WARNING: Unsupported axiom: Ignoring ReflexiveProperty axiom for bnode(-5a724b96:144a16c8524:-7fec) (UntypedProperty)
Mar 08, 2014 12:20:48 PM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader addUnsupportedFeature
WARNING: Unsupported axiom: Invalid value for the owl:minCardinality restriction: "1"^^http://www.w3.org/2001/XMLSchema#integer
Mar 08, 2014 12:20:48 PM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader createRestriction
WARNING: Invalid cardinality 

Henry


Social Web Architect
http://bblfish.net/