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/Received on Saturday, 8 March 2014 11:41:40 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:41:41 UTC